Inventory rows CH

Classical algebraic topology CH06QWZRQ0

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#Q1ZN, Classical algebraic topology (definition)

History

2026-11-02: add by m2/dev

CH0AEEMPMV CH0AEEMPMV

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#example-5 (example). In E9HS8K3A52, example, section 3.2

History

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

CH0YJ4XNKS CH0YJ4XNKS

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

Mentions

arxiv: arXiv 2609.24845#7SJW (definition)

History

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

Chain-invariant duration minimum CH101P6X4C

URI	`m2://inv/CH101P6X4C`
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.29597#QG9Z, Chain-invariant duration minimum (statement)

History

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

CH1319C5RS CH1319C5RS

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

Mentions

open_logic: open_logic content/computability/recursive-functions/pr-functions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 3.30

History

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

standard score CH13MNMR0K

URI	`m2://inv/CH13MNMR0K`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Standard score 05RZ4YZG4E

Mentions

wikidata: Wikidata Q1050272, standard score (unknown). Also MathWorld z-Score
wikipedia: Wikipedia Standard score, Standard score (definition). Also Wikidata Q1050272

History

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

Michael Heinrich Dütsch CH14ZTBQ51

URI	`m2://inv/CH14ZTBQ51`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q102260914, Michael Heinrich Dütsch (unknown). Also nLab Michael Dütsch

History

2026-10-26: add by m2/dev

Proof of stake CH19VN3ZKM

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

Mentions

wikipedia: Wikipedia Proof of stake, Proof of stake (definition). Also Wikidata Q17083510

History

2026-11-02: add by m2/dev

CH1FX0YJFY CH1FX0YJFY

URI	`m2://inv/CH1FX0YJFY`
Kind	definition
Layer	research
MSC	13-XX, 14-XX, 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 2609.38068#KS8W (definition). In 67GE5M1GGD/e1, definition 3.5

History

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

CH1HE7K10S CH1HE7K10S

URI	`m2://inv/CH1HE7K10S`
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 2111.07409#QYMD (statement). In KWH4QJDPWC/e1, theorem 3.9

History

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

Hilbert--Gelfand spaces and compatible Riesz pairs CH1HWTT9JE

URI	`m2://inv/CH1HWTT9JE`
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.14906#4W7O, Hilbert--Gelfand spaces and compatible Riesz pairs (statement). In 1F8ENX770M/e1, theorem 2.5

History

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

CH1NSRBE65 CH1NSRBE65

URI	`m2://inv/CH1NSRBE65`
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.29784#BMDT (statement)

History

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

CH1WX6Z4BZ CH1WX6Z4BZ

URI	`m2://inv/CH1WX6Z4BZ`
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.12846#MVG0 (statement). In GG9P59PJS2/e1, lemma 4.4

History

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

Definition CH1YAS3J0J

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

Mentions

wikipedia: Wikipedia Sheffer sequence#HUHI, Definition (definition)

History

2026-11-02: add by m2/dev

Landau gauge CH22S28N95

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

Mentions

wikipedia: Wikipedia Gauge fixing#DXRN, Landau gauge (unknown)

History

2026-11-02: add by m2/dev

CH284W79WQ CH284W79WQ

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

Mentions

arxiv: arXiv 2610.13528#0E01 (statement). In TSBJEBS7SP/e1, lemma 2.7

History

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

Yu, Zuo, Zhu, and Zhang CH29G9XVDG

URI	`m2://inv/CH29G9XVDG`
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.23276#IJ57, Yu, Zuo, Zhu, and Zhang (statement)

History

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

CH2W6JGC9T CH2W6JGC9T

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

Mentions

arxiv: arXiv 2610.08697#DB00 (definition). In GJ4ZMDQF3C/e1, definition

History

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

CH2ZFZQHA3 CH2ZFZQHA3

URI	`m2://inv/CH2ZFZQHA3`
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.11834#EZ7I (statement). In SMC03CWP4R/e1, lemma A.1

History

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

Lemniscate of Gerono CH359PQ61D

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#M60Q, Lemniscate of Gerono (definition)

History

2026-11-02: add by m2/dev

CH38D8WSQ6 CH38D8WSQ6

URI	`m2://inv/CH38D8WSQ6`
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.30113#9NN1 (statement)

History

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

gigaelectronvolt CH3BWRVSH2

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

Mentions

wikidata: Wikidata Q12789864, gigaelectronvolt (unknown). Also nLab GeV

History

2026-10-26: add by m2/dev

CH3KHBF4WN CH3KHBF4WN

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

Mentions

arxiv: arXiv 2610.21103#8TLV (statement). In VZCZEDCG8J/e1, theorem 3.1

History

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

CH3QVY6PQM CH3QVY6PQM

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

Mentions

open_logic: open_logic content/second-order-logic/sol-and-set-theory/comparing-sets.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 66.4

History

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

Baire category theorem CH3S4EVRJE

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

Mentions

wikipedia: Wikipedia List of theorems#E4YP, Baire category theorem (statement)

History

2026-11-02: add by m2/dev

Infinite compositions of analytic functions CH3WN3XCF2

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

Mentions

wikipedia: Wikipedia Infinite compositions of analytic functions, Infinite compositions of analytic functions (definition). Also Wikidata Q6029837

History

2026-11-02: add by m2/dev

Transcendental dialectic CH44PBXTRD

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

Mentions

wikipedia: Wikipedia Critique of Pure Reason#BZVX, Transcendental dialectic (unknown)

History

2026-11-02: add by m2/dev

CH48GCMWNA CH48GCMWNA

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

Mentions

arxiv: arXiv 0809.1307#RRKV (statement). In TP09MNWY6B/e1, corollary 2.6

History

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

Propositional function CH4BAJK3XS

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

Mentions

wikipedia: Wikipedia List of first-order theories#KDSF, Propositional function (definition)

History

2026-11-02: add by m2/dev

Symmetry CH4CTFYC5C

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

Mentions

wikipedia: Wikipedia Triangular tiling honeycomb#9YEB, Symmetry (statement)

History

2026-11-02: add by m2/dev

Gradient CH4H6M8KQC

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

Mentions

wikipedia: Wikipedia List of multivariable calculus topics#NAS8, Gradient (definition)

History

2026-11-02: add by m2/dev

substitutional quantifier CH4JTMSE67

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

Mentions

wikipedia: Wikipedia Glossary of logic#VORP, substitutional quantifier (definition)

History

2026-11-02: add by m2/dev

Hamiltonian cycle problem CH4NK2MP58

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#HQBV, Hamiltonian cycle problem (problem)

History

2026-11-02: add by m2/dev

CH4R01Z8DN CH4R01Z8DN

URI	`m2://inv/CH4R01Z8DN`
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.05327#T7Z8 (statement). In ZD7BWDKT84/e1, lemma B.5

History

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

Strophoid CH4WZV4SPB

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#G3O8, Strophoid (definition)
wikipedia: Wikipedia List of curves#Z2DW, Strophoid (definition)

History

2026-11-02: add by m2/dev

One-species formula for balanced models CH53PF8KCK

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

Mentions

arxiv: arXiv 2609.32710#8SU3, One-species formula for balanced models (statement). In KVYG6R7CGJ/e1, corollary 7.3

History

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

Skolem-Lowenheim theorem CH53QVR9TH

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

Mentions

wikipedia: Wikipedia Glossary of logic#F1YS, Skolem-Lowenheim theorem (definition)

History

2026-11-02: add by m2/dev

Properties CH560R39TB

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

Mentions

wikipedia: Wikipedia Artin–Hasse exponential#LZKV, Properties (statement)

History

2026-11-02: add by m2/dev

Bitcoin scalability CH582DCD71

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

Mentions

wikipedia: Wikipedia Bitcoin scalability, Bitcoin scalability (definition). Also Wikidata Q30325190

History

2026-11-02: add by m2/dev

CH5FA11SGD CH5FA11SGD

URI	`m2://inv/CH5FA11SGD`
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 2610.13908#70F0 (statement). In 9C684206F0/e1, corollary 7.1

History

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

Kujūkuri CH5S055ZBG

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

Mentions

wikipedia: Wikipedia List of places with numeric names#QW8I, Kujūkuri (unknown)

History

2026-11-02: add by m2/dev

Definition CH6304XF7C

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

Mentions

wikipedia: Wikipedia Support function#AZ78, Definition (definition)

History

2026-11-02: add by m2/dev

Rudin–Shapiro sequence CH67AQPXGE

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

Mentions

wikipedia: Wikipedia Rudin–Shapiro sequence, Rudin–Shapiro sequence (definition). Also Wikidata Q3503247

History

2026-11-02: add by m2/dev

CH6925K1KA CH6925K1KA

URI	`m2://inv/CH6925K1KA`
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 2609.29489#KABP (statement)

History

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

Balanced socket allocation and shortening CH69AXR0C8

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

Mentions

arxiv: arXiv 2609.24568#J1BH, Balanced socket allocation and shortening (definition)

History

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

Gamma-limit on a curved intrinsic slit CH6AVZD86X

URI	`m2://inv/CH6AVZD86X`
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.20215#QL39, Gamma-limit on a curved intrinsic slit (statement)

History

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

CH6CJC5HMA CH6CJC5HMA

URI	`m2://inv/CH6CJC5HMA`
Kind	statement
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#VZXR (statement). In 29D4TTE3J2/e1, theorem 2.6

History

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

degree CH6H6D5GK0

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#GJIB, degree (definition)

History

2026-11-02: add by m2/dev

Formula CH6HVQ2M4C

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

Mentions

open_logic: open_logic content/intuitionistic-logic/introduction/syntax.tex#defn:formulas, Formula (definition). In PKGMM3P5QY, defn, section 32.2

History

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

Statement of the theorem CH6QP5KBAW

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

Mentions

wikipedia: Wikipedia Kunita–Watanabe inequality#E1GH, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

CH6S9QX3FD CH6S9QX3FD

URI	`m2://inv/CH6S9QX3FD`
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 2610.04673#A09G (statement). In KKC0CT44FJ/e1, lemma 6.1

History

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

Definition CH6VMGASG9

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

Mentions

wikipedia: Wikipedia Fredholm module#IUX5, Definition (definition)

History

2026-11-02: add by m2/dev

CH6XTY3770 CH6XTY3770

URI	`m2://inv/CH6XTY3770`
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.04772#G4GH (statement). In WW08CYN4D4/e1, theorem 2.2

History

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

Hamiltonian path problem CH6ZMMYCPS

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#QQTU, Hamiltonian path problem (problem)

History

2026-11-02: add by m2/dev

Satake diagram CH736NZAC4

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

Mentions

wikipedia: Wikipedia Satake diagram, Satake diagram (definition). Also Wikidata Q7425867

History

2026-11-02: add by m2/dev

Definition CH74EAB8JW

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

Mentions

wikipedia: Wikipedia Moduli stack of vector bundles#WM2Y, Definition (definition)

History

2026-11-02: add by m2/dev

Curvature under adaptive thresholds CH7B0V5H08

URI	`m2://inv/CH7B0V5H08`
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.15202#7Q4C, Curvature under adaptive thresholds (statement). In X1FPG0KYBM/e1, lemma L.3

History

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

excircle CH7F5BKXKT

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

Mentions

wikidata: Wikidata Q557466, excircle (definition). Also MathWorld Excircles, ProofWiki Definition:Excircle_of_Triangle

History

2026-10-26: add by m2/dev

CH7RM787J5 CH7RM787J5

URI	`m2://inv/CH7RM787J5`
Kind	definition
Layer	research
MSC	05-XX, 11-XX, 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 2609.25168#YLOK (definition)

History

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

Matrix-exponential distribution CH7TVWCANF

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

Mentions

wikipedia: Wikipedia Matrix-exponential distribution, Matrix-exponential distribution (definition). Also Wikidata Q15844961

History

2026-11-02: add by m2/dev

Christian Gustav Adolph Mayer CH7WA1J0R2

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

Mentions

wikipedia: Wikipedia Christian Gustav Adolph Mayer, Christian Gustav Adolph Mayer (topic). Also Wikidata Q89023

History

2026-11-02: add by m2/dev

CH7ZD0J1TN CH7ZD0J1TN

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

Mentions

arxiv: arXiv 2610.15454#DD5H (statement). In RGQZVNXWM5/e1, lemma 4.2

History

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

Implementations CH7ZS5QQRV

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

Mentions

wikipedia: Wikipedia Crypto-PAn#0V54, Implementations (definition)

History

2026-11-02: add by m2/dev

CH81G9TXNZ CH81G9TXNZ

URI	`m2://inv/CH81G9TXNZ`
Kind	definition
Layer	research
MSC	16-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 2512.16003#GS48 (definition). In BJGS6ZCQ12/e1, definition 8.7

History

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

Shape of the action quotient CH81NQBN97

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

Mentions

arxiv: arXiv 2610.03865#BPOS, Shape of the action quotient (statement). In G3D1YR20BJ/e1, lemma 3.16

History

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

Full $\Q_p$ factors CH82JD8Q7Y

URI	`m2://inv/CH82JD8Q7Y`
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.22485#BFVP, Full $\Q_p$ factors (statement)

History

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

CH8FN4AX96 CH8FN4AX96

URI	`m2://inv/CH8FN4AX96`
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#UBOX (statement). In WZMHJCQPB2/e1, lemma 3.9

History

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

CH8JJDKYW5 CH8JJDKYW5

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-25 (exercise). In E9HS8K3A52, exercise, section 3.3.3

History

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

hyperbolic cotangent CH8M3CVDX2

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

Mentions

wikidata: Wikidata Q359452, hyperbolic cotangent (definition). Also MathWorld HyperbolicCotangent, ProofWiki Definition:Hyperbolic_Cotangent

History

2026-10-26: add by m2/dev

Tidal acceleration CH8RRVSNW2

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

Mentions

wikipedia: Wikipedia Tidal acceleration, Tidal acceleration (definition). Also Wikidata Q2477230

History

2026-11-02: add by m2/dev

Basic Sage commands CH8S6833TW

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

Mentions

austin_ula: austin_ula src/section1-3.xml#activity-1, Basic Sage commands (exercise). In 649HGZKE96, activity, section 1.3.1

History

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

RLMC radial lower bound on a Gaussian target CH90SAZSM7

URI	`m2://inv/CH90SAZSM7`
Kind	statement
Layer	research
MSC	62-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.06308#EP10, RLMC radial lower bound on a Gaussian target (statement). In HTWSDDAWGS/e1, proposition D.4

History

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

Prosleptic syllogism CH9FMTC1R9

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

Mentions

wikipedia: Wikipedia Prosleptic syllogism, Prosleptic syllogism (definition). Also Wikidata Q7250662

History

2026-11-02: add by m2/dev

Manifolds embed CH9G59F09J

URI	`m2://inv/CH9G59F09J`
Kind	statement
Layer	research
MSC	18-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.26270#34NR, Manifolds embed (statement)

History

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

Euclidean number field CH9K2AHYNR

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

Mentions

wikipedia: Wikipedia Euclidean domain#Y0O2, Euclidean number field (unknown)

History

2026-11-02: add by m2/dev

CH9KRWW3QT CH9KRWW3QT

URI	`m2://inv/CH9KRWW3QT`
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.22345#QKMX (statement). In 7JATJ4VG9G/e1, lemma 9.3

History

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

Properties CH9KWFXEY4

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

Mentions

wikipedia: Wikipedia Equidigital number#0G34, Properties (statement)

History

2026-11-02: add by m2/dev

CH9MBZ1AQ1 CH9MBZ1AQ1

URI	`m2://inv/CH9MBZ1AQ1`
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.14985#X9S0 (statement). In DGXJW3SCBR/e1, theorem 58

History

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

Euler's totient function CH9NWEF1PX

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

Mentions

wikipedia: Wikipedia Glossary of number theory#1SOD, Euler's totient function (definition)

History

2026-11-02: add by m2/dev

Osgood's lemma CH9YM5DXBC

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

Mentions

wikipedia: Wikipedia Osgood's lemma, Osgood's lemma (statement). Also Wikidata Q7106530

History

2026-11-02: add by m2/dev

Unique games conjecture CHA658ZM4G

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#866E, Unique games conjecture (conjecture)

History

2026-11-02: add by m2/dev

Moffat distribution CHA71283CD

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

Mentions

wikipedia: Wikipedia Moffat distribution, Moffat distribution (definition). Also Wikidata Q6890351

History

2026-11-02: add by m2/dev

CHAAMD4PG4 CHAAMD4PG4

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

Mentions

arxiv: arXiv 2609.27775#DKUV (example)

History

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

Convexity of the initial condition CHAMXRYB76

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

Mentions

arxiv: arXiv 2609.32710#UFIR, Convexity of the initial condition (statement). In KVYG6R7CGJ/e1, lemma 2.9

History

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

Cornish–Fisher expansion CHAPCJWPZN

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

Mentions

wikipedia: Wikipedia List of statistics articles#I96O, Cornish–Fisher expansion (definition)

History

2026-11-02: add by m2/dev

Learning a geometrically local Hamiltonian CHATFKKF10

URI	`m2://inv/CHATFKKF10`
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.27181#21CT, Learning a geometrically local Hamiltonian (statement)

History

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

Fano factor CHAY5JA8CN

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

Mentions

wikipedia: Wikipedia Fano factor, Fano factor (definition). Also Wikidata Q638874

History

2026-11-02: add by m2/dev

Nathalie Drach-Temam CHB2RFBNDT

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

Mentions

wikipedia: Wikipedia Nathalie Drach-Temam, Nathalie Drach-Temam (topic). Also Wikidata Q112119622

History

2026-11-02: add by m2/dev

CHB9CSM4A6 CHB9CSM4A6

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

Mentions

arxiv: arXiv 2610.01561#8EOI (statement). In W4G7BCHYEW/e1, lemma 2.2

History

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

CHBFTP0VCM CHBFTP0VCM

URI	`m2://inv/CHBFTP0VCM`
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.06546#W9WE (statement). In G6DK297DQN/e1, lemma 5

History

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

Rotation identity CHBHKP2TP8

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

Mentions

wikipedia: Wikipedia Quaternions and spatial rotation#CSD5, Rotation identity (statement)

History

2026-11-02: add by m2/dev

CHBNAAW5JB CHBNAAW5JB

URI	`m2://inv/CHBNAAW5JB`
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 2609.33805#TE6O (statement). In XM98BX97RT/e1, theorem 1.1

History

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

Colombey les Deux Églises CHBRARHJ5Y

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

Mentions

wikipedia: Wikipedia List of places with numeric names#GPV0, Colombey les Deux Églises (unknown)

History

2026-11-02: add by m2/dev

dynamic programming CHBVR5ZYN8

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

Mentions

wikidata: Wikidata Q380679, dynamic programming (topic)
wikipedia: Wikipedia Dynamic programming, Dynamic programming (definition). Also Wikidata Q380679

History

2026-10-26: add by m2/dev

William B. Bonnor CHBWK3D36J

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#P680, William B. Bonnor (unknown)

History

2026-11-02: add by m2/dev

CHBX7T5TZS CHBX7T5TZS

URI	`m2://inv/CHBX7T5TZS`
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 2208.14274#XQK0 (statement). In 2FKE7JPQ76/e1, proposition 2.8

History

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

CHBYWEPKKN CHBYWEPKKN

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-48 (exercise). In E9HS8K3A52, exercise, section 4.3.4

History

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

CHCCM1HYVH CHCCM1HYVH

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

Mentions

napkin: napkin tex/rep-theory/semisimple.tex#proof-1 (proof). In RZP28ERRZV, proof, section 81.1

History

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

Implementations CHCJPT0F4F

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

Mentions

wikipedia: Wikipedia Oversampling and undersampling in data analysis#O5PO, Implementations (definition)

History

2026-11-02: add by m2/dev

Leisure City CHCMD1B2GQ

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#3GK0, Leisure City (unknown)

History

2026-11-02: add by m2/dev

Kurt Reidemeister CHD365BQX1

URI	`m2://inv/CHD365BQX1`
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 Q65221, Kurt Reidemeister (unknown). Also nLab Kurt Reidemeister
wikipedia: Wikipedia Kurt Reidemeister, Kurt Reidemeister (topic). Also Wikidata Q65221

History

2026-10-26: add by m2/dev

CHD4DC6FC0 CHD4DC6FC0

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

Mentions

arxiv: arXiv 2504.00596#WGY3 (statement). In F8RC6AENB0/e1, proposition 3.8

History

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

The multiplier-free part of the kernel CHD56RKF6J

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

Mentions

arxiv: arXiv 2609.27966#NSU6, The multiplier-free part of the kernel (statement)

History

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

CHDADK5A1G CHDADK5A1G

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

Mentions

active_calculus: active_calculus source/activities/act-7-3-1.xml#act-7-3-1 (exercise). In 907G4C4EJ1, activity, section 7.3.2

History

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

CHDFJ5VFV7 CHDFJ5VFV7

URI	`m2://inv/CHDFJ5VFV7`
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#CHRI (statement). In JPC86V77CH/e1, lemma 4.7

History

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

Principal response curve CHDHZK9RDP

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

Mentions

wikipedia: Wikipedia Principal response curve, Principal response curve (definition). Also Wikidata Q30692516

History

2026-11-02: add by m2/dev

Convolution of Distributions; see Chapter 6 of , page 148 CHDPVP3ATN

URI	`m2://inv/CHDPVP3ATN`
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 2609.22759#2H3O, Convolution of Distributions; see Chapter 6 of , page 148 (definition)

History

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

Simple example CHDPZB6F7M

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

Mentions

wikipedia: Wikipedia Quantile function#YKH3, Simple example (example)

History

2026-11-02: add by m2/dev

Real number CHDSYS0Z55

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

Mentions

wikipedia: Wikipedia List of Laplace transforms#TQ40, Real number (definition)

History

2026-11-02: add by m2/dev

Reuleaux triangle CHEC7ER5KP

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

Mentions

wikipedia: Wikipedia List of triangle topics#Z1E9, Reuleaux triangle (object)
wikipedia: Wikipedia List of mathematical shapes#3AJU, Reuleaux triangle (object)
wikipedia: Wikipedia List of mathematical shapes#7ZEI, Reuleaux triangle (object)
wikipedia: Wikipedia List of mathematical shapes#ZDEF, Reuleaux triangle (object)
wikipedia: Wikipedia List of curves#0TV7, Reuleaux triangle (object)
wikipedia: Wikipedia List of curves topics#AO66, Reuleaux triangle (object)

History

2026-11-02: add by m2/dev

Tukey lambda distribution CHEJZWNKSX

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

Mentions

wikipedia: Wikipedia Tukey lambda distribution, Tukey lambda distribution (definition). Also Wikidata Q3258358

History

2026-11-02: add by m2/dev

Erdős–Nicolas number CHEMBWXMF8

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

Mentions

wikipedia: Wikipedia List of things named after Paul Erdős#HZ0P, Erdős–Nicolas number (definition)

History

2026-11-02: add by m2/dev

Block-valued polynomial projections CHENKRN0GV

URI	`m2://inv/CHENKRN0GV`
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.22485#QU55, Block-valued polynomial projections (statement)

History

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

CHF41NQTA1 CHF41NQTA1

URI	`m2://inv/CHF41NQTA1`
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#NKPZ (statement). In ZRPYF750AV/e1, corollary 7.2

History

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

CHF77HVCAW CHF77HVCAW

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

Mentions

arxiv: arXiv 2609.35180#0ZJT (definition). In ZA34B1CR9M/e1, definition 3.1

History

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

Shahar Mozes CHFBW6RT12

URI	`m2://inv/CHFBW6RT12`
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#NWLK, Shahar Mozes (topic)

History

2026-11-02: add by m2/dev

CHFJS1FQD4 CHFJS1FQD4

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

Mentions

arxiv: arXiv 2610.12330#WGK6 (statement). In XHSKEPT3VD/e1, corollary 3.8

History

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

Expected value-gap bound CHFN0D3WWW

URI	`m2://inv/CHFN0D3WWW`
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.39837#11PE, Expected value-gap bound (statement). In MDQXTBEK0F/e1, theorem 4.5

History

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

Equivalence CHFPKZ9241

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

Mentions

wikipedia: Wikipedia Equivalence (formal languages), Equivalence (definition). Also Wikidata Q7977945

History

2026-11-02: add by m2/dev

CHFSA4P31P CHFSA4P31P

URI	`m2://inv/CHFSA4P31P`
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#ZMTB (statement). In HAZGBX88B3/e1, theorem 3

History

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

Conditional mean bound CHFV9EAXWM

URI	`m2://inv/CHFV9EAXWM`
Kind	statement
Layer	research
MSC	62-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.06308#1XA2, Conditional mean bound (statement). In HTWSDDAWGS/e1, lemma A.3

History

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

CHFYHY63QW CHFYHY63QW

URI	`m2://inv/CHFYHY63QW`
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.10902#2YY7 (statement). In 96T1K6C3NZ/e1, lemma 5

History

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

CHFYN11DKS CHFYN11DKS

URI	`m2://inv/CHFYN11DKS`
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 0904.3493#KAII (statement). In 1ARY7220P4/e1, corollary 6.6

History

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

Computations CHFZYRTQ5F

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

Mentions

wikipedia: Wikipedia Topological quantum computer#7B94, Computations (definition)

History

2026-11-02: add by m2/dev

Gummi CHG3PPET4J

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

Mentions

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

History

2026-11-02: add by m2/dev

Primitive element theorem CHG4JEJAAW

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

Mentions

wikipedia: Wikipedia List of theorems#HSU5, Primitive element theorem (statement)

History

2026-11-02: add by m2/dev

CHG6HC0VNV CHG6HC0VNV

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#prob:find upper bounds (exercise). In P1C114YBXG, problem, section u1

History

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

Uniform decidability CHG8V4Q5SC

URI	`m2://inv/CHG8V4Q5SC`
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.00099#0X74, Uniform decidability (statement). In NNBY2AEHP4/e1, corollary 1.7

History

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

Michael Artin CHGB5KSGTP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#512O, Michael Artin (topic)
wikipedia: Wikipedia List of algebraic geometry topics#W4H6, Michael Artin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ADEO, Michael Artin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UBUW, Michael Artin (topic)
wikipedia: Wikipedia List of German mathematicians#9XDP, Michael Artin (topic)

History

2026-11-02: add by m2/dev

Solomon Lefschetz CHGCPCJ3G8

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4KXE, Solomon Lefschetz (topic)
wikipedia: Wikipedia List of algebraic geometry topics#NP40, Solomon Lefschetz (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O7XF, Solomon Lefschetz (topic)

History

2026-11-02: add by m2/dev

Nested dissection CHGMS9DEPH

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

Mentions

wikipedia: Wikipedia Nested dissection, Nested dissection (definition). Also Wikidata Q6997812

History

2026-11-02: add by m2/dev

Examples CHGP0CNV70

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

Mentions

wikipedia: Wikipedia Heronian triangle#TPRW, Examples (example)

History

2026-11-02: add by m2/dev

Michael selection theorem CHGZZQBPMC

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

Mentions

wikipedia: Wikipedia Michael selection theorem, Michael selection theorem (statement). Also Wikidata Q6835566

History

2026-11-02: add by m2/dev

CHHJYYV9EB CHHJYYV9EB

URI	`m2://inv/CHHJYYV9EB`
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 2011.06637#MI15 (statement). In KFCJ5CFP3G/e1, theorem 5.6

History

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

Current Index to Statistics CHHKTADBV6

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

Mentions

wikipedia: Wikipedia Current Index to Statistics, Current Index to Statistics (definition). Also Wikidata Q1144852

History

2026-11-02: add by m2/dev

CHHYQZYPBZ CHHYQZYPBZ

URI	`m2://inv/CHHYQZYPBZ`
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 2111.09700#Y6D8 (statement). In XCSQ27P0XW/e1, lemma 6.1

History

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

Properties CHHZHGTSN9

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

Mentions

wikipedia: Wikipedia Magnetic reconnection#RFO2, Properties (statement)

History

2026-11-02: add by m2/dev

Doomsday algorithm CHJ0W16T1G

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

Mentions

wikipedia: Wikipedia List of algorithms#JB18, Doomsday algorithm (unknown)

History

2026-11-02: add by m2/dev

Bangladesh CHJ1VMT31C

URI	`m2://inv/CHJ1VMT31C`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q902, Bangladesh (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Bangladesh

History

2026-10-26: add by m2/dev

cf.\ proof CHJ20J05YW

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

Mentions

arxiv: arXiv 2610.09390#LAKD, cf.\ proof (statement). In 7SSKW778T8/e1, corollary 2.12

History

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

CHJER492QC CHJER492QC

URI	`m2://inv/CHJER492QC`
Kind	statement
Layer	research
MSC	01-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.10591#1VS3 (statement). In FTEA0TM35J/e1, theorem 4.6

History

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

Uniform stochastic near-margin geometry CHJGM23073

URI	`m2://inv/CHJGM23073`
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.11309#X5L7, Uniform stochastic near-margin geometry (statement). In TTEAQA1XXR/e1, proposition D.5

History

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

Hillen-Loving-Wu CHJGQ7WST5

URI	`m2://inv/CHJGQ7WST5`
Kind	statement
Layer	research
MSC	11-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.13347#GV7U, Hillen-Loving-Wu (statement). In Z6QS82DPHE/e1, theorem 4.1

History

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

CHJM63AQ4W CHJM63AQ4W

URI	`m2://inv/CHJM63AQ4W`
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.23362#FT59 (statement)

History

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

Maximum-Entropy Family of Two-Boundary Combinations CHJQ2BR06F

URI	`m2://inv/CHJQ2BR06F`
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.27120#SDET, Maximum-Entropy Family of Two-Boundary Combinations (statement)

History

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

329 (number) CHJQKWMD02

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

Mentions

wikipedia: Wikipedia 300 (number)#EBK3, 329 (number) (unknown)

History

2026-11-02: add by m2/dev

Steganographia CHK1C6P7B7

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

Mentions

wikipedia: Wikipedia Steganographia, Steganographia (definition). Also Wikidata Q42327105

History

2026-11-02: add by m2/dev

CHK73BTA89 CHK73BTA89

URI	`m2://inv/CHK73BTA89`
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.23804#F6Q3 (statement)

History

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

Properties CHK9FQCKYA

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

Mentions

wikipedia: Wikipedia Thought experiment#P110, Properties (statement)

History

2026-11-02: add by m2/dev

Sullivan conjecture CHKMZ29Q2E

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

Mentions

wikipedia: Wikipedia List of theorems#F73G, Sullivan conjecture (statement)

History

2026-11-02: add by m2/dev

Properties CHM50FK6DK

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

Mentions

wikipedia: Wikipedia Normal function#AHKJ, Properties (statement)

History

2026-11-02: add by m2/dev

Line of curvature CHM6SCBTDZ

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

Mentions

wikipedia: Wikipedia Principal curvature#O60X, Line of curvature (unknown)

History

2026-11-02: add by m2/dev

CHMCBRFQX4 CHMCBRFQX4

URI	`m2://inv/CHMCBRFQX4`
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 2401.14162#ZACM (statement). In JC1XF1JE6J/e1, proposition 2.8

History

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

CHMDMJM7A2 CHMDMJM7A2

URI	`m2://inv/CHMDMJM7A2`
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.06458#5ZHK (definition). In 4X93XG8NMD/e1, definition 5.1

History

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

localization CHMNCWX47R

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#UI9G, localization (definition)
wikipedia: Wikipedia Glossary of algebraic topology#IBEC, localization (definition)

History

2026-11-02: add by m2/dev

People do not swallow large numbers of spiders during sleep CHMNPCHCM8

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#CWBJ, People do not swallow large numbers of spiders during sleep (unknown)

History

2026-11-02: add by m2/dev

Properties CHMS0KGZJX

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

Mentions

wikipedia: Wikipedia Fibonacci polynomials#JCK0, Properties (statement)

History

2026-11-02: add by m2/dev

CHMW16K0CB CHMW16K0CB

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-8 (exercise). In P1C114YBXG, problem, section D

History

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

CHMWS0V36S CHMWS0V36S

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

Mentions

arxiv: arXiv 2609.32860#J1DG (statement). In H71AJ341B3/e1, proposition 4.6

History

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

Definition CHNC94404T

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

Mentions

wikipedia: Wikipedia Vámos matroid#3I4A, Definition (definition)

History

2026-11-02: add by m2/dev

Definition (Projection formula) CHNEC2P5SZ

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

Mentions

wikipedia: Wikipedia Representation theory of finite groups#J2QQ, Definition (Projection formula) (definition)

History

2026-11-02: add by m2/dev

CHNFH04DTG CHNFH04DTG

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

Mentions

napkin: napkin tex/linalg/fourier.tex#proof-1 (proof). In RZP28ERRZV, proof, section 59.3.2

History

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

CHNKZ8TRKY CHNKZ8TRKY

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

Mentions

open_logic: open_logic content/methods/proofs/proof-by-contradiction.tex#prop-3 (statement). In PKGMM3P5QY, prop, section 44.11

History

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

Descent datum CHNNH3FSFW

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

Mentions

wikipedia: Wikipedia Faithfully flat descent#UL6W, Descent datum (statement)

History

2026-11-02: add by m2/dev

H-index CHP30VR27B

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZICR, H-index (definition)

History

2026-11-02: add by m2/dev

Inherently ambiguous language CHP4NPRDJ2

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

Mentions

wikipedia: Wikipedia Ambiguous grammar#KIZT, Inherently ambiguous language (unknown)

History

2026-11-02: add by m2/dev

Definition CHP8MRCSZH

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

Mentions

wikipedia: Wikipedia Orthogonal array#XH66, Definition (definition)

History

2026-11-02: add by m2/dev

L(R) CHPCVCD1QH

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#M29C, L(R) (definition)

History

2026-11-02: add by m2/dev

CHPE7D8NB6 CHPE7D8NB6

URI	`m2://inv/CHPE7D8NB6`
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 2609.28664#WPKG (definition)

History

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

cotree CHPEZSQGSJ

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#2C9Q, cotree (definition)

History

2026-11-02: add by m2/dev

CHPH6BK1QB CHPH6BK1QB

URI	`m2://inv/CHPH6BK1QB`
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.39169#PLMB (statement). In ANHWXYPQFX/e1, proposition 4.2

History

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

CHPKXN1ZJ1 CHPKXN1ZJ1

URI	`m2://inv/CHPKXN1ZJ1`
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 2601.01000#ZJTX (statement). In RYFV9HGWWZ/e1, theorem 15

History

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

CHPNRJQQK5 CHPNRJQQK5

URI	`m2://inv/CHPNRJQQK5`
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.12736#XZCU (statement). In 5350Q52F6P/e1, proposition 7.4

History

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

CHPQAB2K3Q CHPQAB2K3Q

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

Mentions

napkin: napkin tex/topology/cover-project.tex#example-4 (example). In RZP28ERRZV, example, section 97.1

History

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

Active zero-free arc CHPQZRT48K

URI	`m2://inv/CHPQZRT48K`
Kind	statement
Layer	research
MSC	26-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.27970#JZRE, Active zero-free arc (statement)

History

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

Paul Delens CHPV9X55N6

URI	`m2://inv/CHPV9X55N6`
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#N86Y, Paul Delens (unknown)

History

2026-11-02: add by m2/dev

CHPX1M6M5D CHPX1M6M5D

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

Mentions

arxiv: arXiv 2011.07352#FXFB (statement). In 3VPC1GGZ3E/e1, lemma 1.5

History

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

Robust approximate frontier CHQ1EK2PZZ

URI	`m2://inv/CHQ1EK2PZZ`
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.21523#VUFA, Robust approximate frontier (statement)

History

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

Euclidean TSP CHQ2Y8BGMJ

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

Mentions

wikipedia: Wikipedia Travelling salesman problem#ZA6B, Euclidean TSP (unknown)

History

2026-11-02: add by m2/dev

constructible function CHQ5S36MK6

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

Mentions

wikidata: Wikidata Q5164405, constructible function (unknown). Also MathWorld ConstructibleFunction
wikipedia: Wikipedia Constructible function, Constructible function (definition). Also Wikidata Q5164405

History

2026-10-26: add by m2/dev

Euler's theorem CHQ7CD3JWB

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

Mentions

wikipedia: Wikipedia Incircle and excircles#ESPG, Euler's theorem (statement)

History

2026-11-02: add by m2/dev

CHQ9B9SC2X CHQ9B9SC2X

URI	`m2://inv/CHQ9B9SC2X`
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#SSX7 (statement). In ESDKTYDHC8/e1, corollary 13

History

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

Kuiper's theorem CHQQMTRAYP

URI	`m2://inv/CHQQMTRAYP`
Kind	statement
Layer	textbook
MSC	47-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q6442276, Kuiper's theorem (statement). Also Wikidata Q6442276
thousand_plus: thousand_plus Q6442276, Kuiper's theorem (statement). Also Wikidata Q6442276, Wikipedia Kuiper's theorem
wikidata: Wikidata Q6442276, Kuiper's theorem (statement). Also nLab Kuiper's theorem
wikipedia: Wikipedia Kuiper's theorem, Kuiper's theorem (statement). Also Wikidata Q6442276

History

2026-10-26: add by m2/dev

CHQQV7EHBG CHQQV7EHBG

URI	`m2://inv/CHQQV7EHBG`
Kind	problem
Layer	research
MSC	14-XX, 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 2609.31523#S8KX (problem). In 2BET1RE1F6/e1, problem 1.2

History

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

CHQS9ZBQCS CHQS9ZBQCS

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

Mentions

arxiv: arXiv 2610.06724#36N9 (statement). In W5XG3PGVF1/e1, lemma A.3

History

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

János Pach CHQXSCB7XM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#5I8F, János Pach (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZQO1, János Pach (topic)

History

2026-11-02: add by m2/dev

CHQZBA0PN8 CHQZBA0PN8

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

Mentions

arxiv: arXiv 2609.40189#3OZ9 (statement). In K2MDWD9V46/e1, lemma 3.1

History

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

CHR6YRNE3C CHR6YRNE3C

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

Mentions

arxiv: arXiv 2609.38051#EE36 (example). In 81CGKD8RTP/e1, example 6

History

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

analysis, classical CHR7XAVMK8

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

Mentions

hott_book: hott_book index/B.5/analysis-classical, analysis, classical (concept). In N54F33XE07, index, section B.5

History

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

E. C. Rhodes CHR9CA2B44

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

Mentions

wikipedia: Wikipedia E. C. Rhodes, E. C. Rhodes (topic). Also Wikidata Q3719463

History

2026-11-02: add by m2/dev

Semisimple algebra CHREVKX1N7

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

Mentions

wikipedia: Wikipedia List of algebras#37J9, Semisimple algebra (definition)

History

2026-11-02: add by m2/dev

CHRGKSEXT8 CHRGKSEXT8

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

Mentions

napkin: napkin tex/diffgeo/stokes.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 46.3

History

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

Hopf algebra CHRKQ15PPP

URI	`m2://inv/CHRKQ15PPP`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Hopf algebra 7XFYP0N84H

Mentions

wikidata: Wikidata Q1627597, Hopf algebra (concept). Also EoM Hopf_algebra, MathWorld HopfAlgebra, nLab Hopf algebra
wikipedia: Wikipedia Hopf algebra, Hopf algebra (definition). Also Wikidata Q1627597

History

2026-10-26: add by m2/dev

CHRP3NVH7Z CHRP3NVH7Z

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

Mentions

arxiv: arXiv 0904.0817#V10Z (definition). In 569FZDANV3/e1, definition 1.13

History

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

Unit cofactors CHRR81PTA2

URI	`m2://inv/CHRR81PTA2`
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.15262#XVSK, Unit cofactors (statement). In C44HVXWYRF/e1, lemma 4.1

History

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

CHRST3NEFY CHRST3NEFY

URI	`m2://inv/CHRST3NEFY`
Kind	statement
Layer	research
MSC	05-XX, 37-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 2601.04559#G7IG (statement). In WWMHZKWZSM/e1, corollary 4

History

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

Degree-one special fiber CHRSZS0QB8

URI	`m2://inv/CHRSZS0QB8`
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.04189#4FNV, Degree-one special fiber (statement). In 1KRZ5ACTKE/e1, lemma 6.7

History

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

CHRTQ5M0M6 CHRTQ5M0M6

URI	`m2://inv/CHRTQ5M0M6`
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.29759#39D3 (statement)

History

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

Ordered subset expectation maximization CHS013X8E0

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

Mentions

wikipedia: Wikipedia Ordered subset expectation maximization, Ordered subset expectation maximization (definition). Also Wikidata Q7100716

History

2026-11-02: add by m2/dev

skew diagonal CHS8ZCMR9Y

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

Mentions

wikidata: Wikidata Q77966363, skew diagonal (unknown). Also MathWorld SkewDiagonal

History

2026-10-26: add by m2/dev

Znamensk, Astrakhan Oblast CHSCXBR77C

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

Mentions

wikipedia: Wikipedia List of places with numeric names#MXZY, Znamensk, Astrakhan Oblast (unknown)

History

2026-11-02: add by m2/dev

Unary language CHSEYE4A1Q

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

Mentions

wikipedia: Wikipedia Unary language, Unary language (definition). Also Wikidata Q7882310

History

2026-11-02: add by m2/dev

iid specialization CHSF8N3F7D

URI	`m2://inv/CHSF8N3F7D`
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.20687#11GY, iid specialization (statement)

History

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

Principle of least action CHSJQXAPA8

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

Mentions

wikipedia: Wikipedia List of variational topics#9PFK, Principle of least action (statement)

History

2026-11-02: add by m2/dev

CHSMKPAS6T CHSMKPAS6T

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

Mentions

arxiv: arXiv 2609.34856#R1QD (statement). In MRR92GQNZE/e1, lemma 3.23

History

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

CHSN1MJM2W CHSN1MJM2W

URI	`m2://inv/CHSN1MJM2W`
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.16727#LH00 (statement). In Z5QS3MD8HN/e1, theorem 4.7

History

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

CHSVBSMNC4 CHSVBSMNC4

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#theorem-2 (statement). In P1C114YBXG, theorem, section D

History

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

finite, sets, family of CHSWR08WTP

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

Mentions

hott_book: hott_book index/A.12.3/finite-sets-family-of, finite, sets, family of (concept). In N54F33XE07, index, section A.12.3

History

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

CHSZ103C9Z CHSZ103C9Z

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

Mentions

arxiv: arXiv 2610.18922#LRYM (statement). In 6FKDYENQ8M/e1, proposition 3

History

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

CHSZ44XYAC CHSZ44XYAC

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

Mentions

arxiv: arXiv 2610.14502#XNQC (example). In 6BVBMTYXNZ/e1, example 2.3

History

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

Enhanced privacy ID CHT50F2KNC

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

Mentions

wikipedia: Wikipedia Enhanced privacy ID, Enhanced privacy ID (definition). Also Wikidata Q22908153

History

2026-11-02: add by m2/dev

Kan complex CHTA16QEN8

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

Mentions

hott_book: hott_book index/4.4/kan-complex, Kan complex (concept). In N54F33XE07, index, section 4.4

History

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

Thomas Heth CHTA2Z62F9

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

Mentions

wikipedia: Wikipedia Thomas Heth, Thomas Heth (topic). Also Wikidata Q15994509

History

2026-11-02: add by m2/dev

University of Greifswald CHTS3CDDP3

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

Mentions

wikipedia: Wikipedia List of things named after Felix Hausdorff#4XT1, University of Greifswald (unknown)

History

2026-11-02: add by m2/dev

Luciano Floridi CHTS6W2A83

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

Mentions

wikipedia: Wikipedia Luciano Floridi, Luciano Floridi (topic). Also Wikidata Q214119

History

2026-11-02: add by m2/dev

David Klein CHTVF73EAT

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

Mentions

wikipedia: Wikipedia David Klein (mathematician), David Klein (topic). Also Wikidata Q5236067

History

2026-11-02: add by m2/dev

CHTYXTEK1Y CHTYXTEK1Y

URI	`m2://inv/CHTYXTEK1Y`
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#PKS3 (statement). In CY1FE8W1ZW/e1, corollary 0.193

History

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

M/M/1 queue CHTZBZ77KJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#DN46, M/M/1 queue (definition)

History

2026-11-02: add by m2/dev

Definitions CHTZM3M4SQ

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

Mentions

wikipedia: Wikipedia Equidissection#O4FE, Definitions (definition)

History

2026-11-02: add by m2/dev

Rouché–Capelli theorem CHV02TF7SA

URI	`m2://inv/CHV02TF7SA`
Kind	statement
Layer	textbook
MSC	15-XX
Sources	3
Outcome	node (a node has the same name as the row)
Node	Rouché–Capelli theorem 0HV1SKWPMS

Mentions

mathlib_1000: mathlib_1000 Q2071632, Rouché–Capelli theorem (statement). Also Wikidata Q2071632
thousand_plus: thousand_plus Q2071632, Rouché–Capelli theorem (statement). Also Wikidata Q2071632, Wikipedia Rouché–Capelli theorem
wikipedia: Wikipedia Rouché–Capelli theorem, Rouché–Capelli theorem (statement). Also Wikidata Q2071632

History

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

Examples CHVG89KMNH

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

Mentions

wikipedia: Wikipedia Piecewise function#YO8E, Examples (example)

History

2026-11-02: add by m2/dev

Order parameters of near-optimal states CHVGH08QNV

URI	`m2://inv/CHVGH08QNV`
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#F36C, Order parameters of near-optimal states (statement). In NKXTXH59P1/e1, proposition 4.5

History

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

Classical ideal gas law CHVNA922AM

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

Mentions

wikipedia: Wikipedia Equation of state#A3I2, Classical ideal gas law (statement)

History

2026-11-02: add by m2/dev

tangential invariance CHVNEFACF2

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

Mentions

arxiv: arXiv 2609.22355#8TO3, tangential invariance (statement)

History

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

Gianfrancesco Malfatti CHVNZ7D8H0

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#P3UH, Gianfrancesco Malfatti (topic)

History

2026-11-02: add by m2/dev

noncommutative ring CHVVSZDP6Q

URI	`m2://inv/CHVVSZDP6Q`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Noncommutative ring D1SA8CHJV0

Mentions

wikidata: Wikidata Q7049224, noncommutative ring (unknown). Also MathWorld NoncommutativeRing
wikipedia: Wikipedia Noncommutative ring, Noncommutative ring (definition). Also Wikidata Q7049224

History

2026-10-26: add by m2/dev

Symmetries CHVW0GFSA9

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

Mentions

wikipedia: Wikipedia Dirac equation#9YBI, Symmetries (statement)

History

2026-11-02: add by m2/dev

CHVZ8R2ETJ CHVZ8R2ETJ

URI	`m2://inv/CHVZ8R2ETJ`
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.20801#LLJS (statement). In A1GWWGRXPA/e1, proposition 1.7

History

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

bilinear form CHW4ARY8XE

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

Mentions

mathlib_overview: mathlib_overview Linear algebra > Bilinear and quadratic forms > bilinear form, bilinear form (unknown). Also Mathlib LinearMap.BilinForm
mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > bilinear forms, bilinear forms (unknown). Also Mathlib LinearMap.BilinForm

History

2026-10-26: add by m2/dev

Olive Hazlett CHW6GHXWXM

URI	`m2://inv/CHW6GHXWXM`
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#ZDJI, Olive Hazlett (topic)

History

2026-11-02: add by m2/dev

CHWDFCNMTK CHWDFCNMTK

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

Mentions

arxiv: arXiv 2610.14266#1STO (statement). In 7R33E8515R/e1, lemma 2.18

History

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

Uniform exponential crossing law CHWPN3KX5C

URI	`m2://inv/CHWPN3KX5C`
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.21268#T6H5, Uniform exponential crossing law (statement). In 9W2YX5X4AX/e1, theorem 3.8

History

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

CHWPZFMCY8 CHWPZFMCY8

URI	`m2://inv/CHWPZFMCY8`
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.14717#ZLWK (statement). In ZB2QPB5EBN/e1, theorem 4.2

History

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

CHWW0DH8FC CHWW0DH8FC

URI	`m2://inv/CHWW0DH8FC`
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 2401.00191#V2WK (definition). In ZMH2KJDAWJ/e1, definition 2.3

History

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

Results CHWWWS0QJM

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

Mentions

wikipedia: Wikipedia Ronald Jensen#4IJ5, Results (statement)

History

2026-11-02: add by m2/dev

Graph Transition Kernel CHX0PKZ6CZ

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

Mentions

arxiv: arXiv 2609.36421#WXKM, Graph Transition Kernel (definition). In E0ZRSZ0YHT/e1, definition 5

History

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

Edward Frenkel CHX8R9J5AW

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HVYM, Edward Frenkel (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2HLG, Edward Frenkel (unknown)

History

2026-11-02: add by m2/dev

Kernel--wreath construction CHXKRBRDSW

URI	`m2://inv/CHXKRBRDSW`
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#DVEZ, Kernel--wreath construction (statement)

History

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

Paulette Libermann CHXVN2CPH3

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

Mentions

wikipedia: Wikipedia Paulette Libermann, Paulette Libermann (topic). Also Wikidata Q1718712

History

2026-11-02: add by m2/dev

Mean-preserving spread CHXX1N4RWF

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

Mentions

wikipedia: Wikipedia Mean-preserving spread, Mean-preserving spread (definition). Also Wikidata Q6803556

History

2026-11-02: add by m2/dev

CHY6BWCZ7X CHY6BWCZ7X

URI	`m2://inv/CHY6BWCZ7X`
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 2203.16333#QHU6 (statement). In GV2GPKN1F6/e1, theorem 6

History

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

CHY6T2YGHD CHY6T2YGHD

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_intro.ptx#exam_genfunction_geom-series (example). In QKM9DD2H56, example, section 8.1

History

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

Incremental first-order oracle CHYFRPHYKW

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

Mentions

arxiv: arXiv 2610.04944#FXG3, Incremental first-order oracle (definition). In BHSY6QQCVK/e1, definition 1

History

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

CHYME3S365 CHYME3S365

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

Mentions

arxiv: arXiv 2604.23212#8HVX (statement). In 4X12V9RS0D/e1, lemma G.1

History

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

Applications CHYRDPDVW4

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

Mentions

wikipedia: Wikipedia Stochastic equicontinuity#VBPF, Applications (example)

History

2026-11-02: add by m2/dev

Dirichlet density CHZ4X3H455

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

Mentions

wikipedia: Wikipedia Dirichlet density, Dirichlet density (definition). Also Wikidata Q5280764

History

2026-11-02: add by m2/dev

Development of moral reasoning CHZ8AHFV58

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

Mentions

wikipedia: Wikipedia Moral reasoning#UXBW, Development of moral reasoning (unknown)

History

2026-11-02: add by m2/dev

CHZAB6VB3A CHZAB6VB3A

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

Mentions

arxiv: arXiv 2609.30315#12R4 (definition). In FXTCVHYW5S/e1, definition 2.1

History

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

CHZSBPCZQD CHZSBPCZQD

URI	`m2://inv/CHZSBPCZQD`
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.07260#CP96 (statement). In 33KABVV985/e1, lemma 3.2

History

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

Prime-counting function CHZSCPDF8R

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

Mentions

wikipedia: Wikipedia List of mathematical functions#R9ZB, Prime-counting function (definition)

History

2026-11-02: add by m2/dev

Example CHZWACJWGT

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

Mentions

wikipedia: Wikipedia Type (model theory)#GLNM, Example (example)

History

2026-11-02: add by m2/dev