Inventory rows H6

Theorem H602QNTZMM

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

Mentions

wikipedia: Wikipedia Godement resolution#RQCW, Theorem (statement)

History

2026-11-02: add by m2/dev

H602Y6W0S6 H602Y6W0S6

URI	`m2://inv/H602Y6W0S6`
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.11292#MUKW (statement). In Y35XMETFV7/e1, lemma 2.3

History

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

Paul Langacker H603EHCT3F

URI	`m2://inv/H603EHCT3F`
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 Q63356872, Paul Langacker (unknown). Also nLab Paul Langacker

History

2026-10-26: add by m2/dev

H604H9VMFY H604H9VMFY

URI	`m2://inv/H604H9VMFY`
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.35204#G8QF (statement). In 8ZZNDYK76B/e1, corollary 1.6

History

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

The symplectic projection H605XTVNGG

URI	`m2://inv/H605XTVNGG`
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.00241#EUK7, The symplectic projection (statement). In VBRQTN2RXN/e1, lemma 3.3

History

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

H606K4CXYM H606K4CXYM

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

Mentions

open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-q.tex#ex:model-L-of-Q (example). In PKGMM3P5QY, ex, section 49.2

History

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

Planarity testing H608AYRHZW

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

Mentions

wikipedia: Wikipedia Planarity testing, Planarity testing (definition). Also Wikidata Q7200967

History

2026-11-02: add by m2/dev

H60EYR4QMC H60EYR4QMC

URI	`m2://inv/H60EYR4QMC`
Kind	statement
Layer	research
MSC	05-XX, 16-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 2408.01345#7EHQ (statement). In PT5PBPCS3P/e1, theorem 3.5

History

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

Peter Onumanyi H60FN5FNH2

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

Mentions

wikipedia: Wikipedia Peter Onumanyi, Peter Onumanyi (topic). Also Wikidata Q6600488

History

2026-11-02: add by m2/dev

tridiminished icosahedron H60R2RHXY6

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

Mentions

wikidata: Wikidata Q2997642, tridiminished icosahedron (object). Also MathWorld TridiminishedIcosahedron
wikipedia: Wikipedia Tridiminished icosahedron, Tridiminished icosahedron (definition). Also Wikidata Q2997642

History

2026-10-26: add by m2/dev

Cofactor form of the stationary distribution H60S2NKPH5

URI	`m2://inv/H60S2NKPH5`
Kind	statement
Layer	research
MSC	05-XX, 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 2610.13063#TK6P, Cofactor form of the stationary distribution (statement). In R5AFFWBMAF/e1, lemma 3.4

History

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

ordinary differential equation H60XHBJQEM

URI	`m2://inv/H60XHBJQEM`
Kind	definition
Layer	textbook
MSC	34-XX
Sources	2
Outcome	node (a node has the same name as the row)
Node	Ordinary differential equation 0NT64JV96A

Mentions

wikidata: Wikidata Q465274, ordinary differential equation (topic). Also EoM Differential_equation,_ordinary, MathWorld OrdinaryDifferentialEquation, ProofWiki Definition:Differential_Equation/Ordinary
wikipedia: Wikipedia Ordinary differential equation, Ordinary differential equation (definition). Also Wikidata Q465274

History

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

The Annotated Turing H612GDNTRF

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

Mentions

wikipedia: Wikipedia List of things named after Alan Turing#1XK7, The Annotated Turing (unknown)

History

2026-11-02: add by m2/dev

Local comparison principle H617A432YH

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

Mentions

arxiv: arXiv 1209.5343#DAQW, Local comparison principle (statement). In 4SPYEGKZ8J/e1, theorem 4.4

History

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

Tsen's theorem H61JJHTE0A

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

Mentions

wikipedia: Wikipedia List of theorems#3D16, Tsen's theorem (statement)

History

2026-11-02: add by m2/dev

Gabriel Nuchelmans H61K84ENRC

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

Mentions

wikipedia: Wikipedia Gabriel Nuchelmans, Gabriel Nuchelmans (topic). Also Wikidata Q1260103

History

2026-11-02: add by m2/dev

graph, shortest path in H61M0MNZJY

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

Mentions

applied_combinatorics: applied_combinatorics index/12.3.1/graph-shortest-path-in, graph, shortest path in (concept). In QKM9DD2H56, index, section 12.3.1

History

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

H61P7B8TZX H61P7B8TZX

URI	`m2://inv/H61P7B8TZX`
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.05506#F5IS (statement). In FT53PMB1TE/e1, theorem 1.1.5

History

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

Luigi Sacco H61VP6H4RF

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

Mentions

wikipedia: Wikipedia List of cryptographers#VA0Y, Luigi Sacco (unknown)

History

2026-11-02: add by m2/dev

Shankara Variyar H61YDKW2K8

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#NWYU, Shankara Variyar (unknown)

History

2026-11-02: add by m2/dev

C-minimal theory H62BZSWVFY

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

Mentions

wikipedia: Wikipedia C-minimal theory, C-minimal theory (definition). Also Wikidata Q5005951

History

2026-11-02: add by m2/dev

Orthogonal signal correction H62CSGN61H

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

Mentions

wikipedia: Wikipedia Orthogonal signal correction, Orthogonal signal correction (definition). Also Wikidata Q30587968

History

2026-11-02: add by m2/dev

Examples H62DCJG5ET

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

Mentions

wikipedia: Wikipedia Symmetry in mathematics#0LAA, Examples (example)

History

2026-11-02: add by m2/dev

Thermal wind H62QXCXDP0

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

Mentions

wikipedia: Wikipedia Thermal wind, Thermal wind (definition). Also Wikidata Q2721218

History

2026-11-02: add by m2/dev

H62RZ7EXRB H62RZ7EXRB

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

Mentions

arxiv: arXiv 2610.10377#VW27 (statement). In 6HP7BR9WZM/e1, lemma 4.1

History

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

H62SCR1NKC H62SCR1NKC

URI	`m2://inv/H62SCR1NKC`
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.03449#5BVC (statement). In 3XM05SYQ8D/e1, proposition 2.6

History

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

Properties H62WBZGV5W

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

Mentions

wikipedia: Wikipedia Reductive Lie algebra#WGXO, Properties (statement)

History

2026-11-02: add by m2/dev

H62XZD7HYE H62XZD7HYE

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

Mentions

arxiv: arXiv 2609.26600#HP2T (definition)

History

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

H62YADPG79 H62YADPG79

URI	`m2://inv/H62YADPG79`
Kind	statement
Layer	research
MSC	53-XX, 57-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.17045#OWSM (statement). In PA6JQDSKQT/e1, proposition 5.12

History

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

Statement H639SB5W04

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

Mentions

wikipedia: Wikipedia Hodge conjecture#G3HY, Statement (statement)

History

2026-11-02: add by m2/dev

iterated faces H639TXQY17

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

Mentions

arxiv: arXiv 2609.32733#JXI2, iterated faces (definition). In PCAS8S14J6/e1, definition D.5

History

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

H63C7RFSAM H63C7RFSAM

URI	`m2://inv/H63C7RFSAM`
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 1902.04230#7QEP (statement). In 22JZ68FGCW/e1, proposition 6.10

History

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

H63DY5DGV1 H63DY5DGV1

URI	`m2://inv/H63DY5DGV1`
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.01225#1N4S (definition). In MFR807V4YG/e1, definition 1.1

History

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

Martin A. Brumbaugh H63EANBKSY

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

Mentions

wikipedia: Wikipedia Martin A. Brumbaugh, Martin A. Brumbaugh (topic). Also Wikidata Q135012609

History

2026-11-02: add by m2/dev

H63EQXHK3V H63EQXHK3V

URI	`m2://inv/H63EQXHK3V`
Kind	statement
Layer	research
MSC	11-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.40123#7T4B (statement). In WK2YHYEDZ9/e1, lemma 3.5

History

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

Data augmentation H63J2J2SWK

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

Mentions

wikipedia: Wikipedia Data augmentation, Data augmentation (definition). Also Wikidata Q85014143

History

2026-11-02: add by m2/dev

profinite group H63R4AQA62

URI	`m2://inv/H63R4AQA62`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Profinite group KA0YDB6QXE

Mentions

wikidata: Wikidata Q1428923, profinite group (unknown). Also EoM Profinite_group, LMFDB knowl gl2.profinite, nLab profinite group
wikipedia: Wikipedia Profinite group, Profinite group (definition). Also Wikidata Q1428923

History

2026-10-26: add by m2/dev

Cone coercivity H63TYZ6CRJ

URI	`m2://inv/H63TYZ6CRJ`
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.20097#2CT7, Cone coercivity (statement)

History

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

George Andrews H6406W25D4

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

Mentions

wikipedia: Wikipedia George Andrews (mathematician), George Andrews (topic). Also Wikidata Q1506867

History

2026-11-02: add by m2/dev

Lawrence D. Brown H644FCHNM0

URI	`m2://inv/H644FCHNM0`
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#82J6, Lawrence D. Brown (topic)
wikipedia: Wikipedia List of fellows of the American Statistical Association#I3FG, Lawrence D. Brown (topic)

History

2026-11-02: add by m2/dev

Definition H64A10XSYJ

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

Mentions

wikipedia: Wikipedia Cyclic polytope#EZWR, Definition (definition)

History

2026-11-02: add by m2/dev

H64C2RE2J4 H64C2RE2J4

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#proof-8 (proof). In E59CDZA4DP, proof, section 2.2.2

History

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

Peirce's Philosophy of mathematics H64H38B25E

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

Mentions

wikipedia: Wikipedia Charles Sanders Peirce#RSUG, Peirce's Philosophy of mathematics (unknown)

History

2026-11-02: add by m2/dev

Hessenberg variety H64S6Q2GF1

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

Mentions

wikipedia: Wikipedia Hessenberg variety, Hessenberg variety (definition). Also Wikidata Q5746197

History

2026-11-02: add by m2/dev

Propagation of independence H6508J2Q48

URI	`m2://inv/H6508J2Q48`
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.21710#L59I, Propagation of independence (statement)

History

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

Rental Harmony H6539EW1GF

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

Mentions

wikipedia: Wikipedia Simmons–Su protocols#61AO, Rental Harmony (unknown)

History

2026-11-02: add by m2/dev

mathematical puzzle H654GZTTXZ

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

Mentions

wikidata: Wikidata Q1151643, mathematical puzzle (unknown). Also MathWorld Puzzle
wikipedia: Wikipedia Mathematical puzzle, Mathematical puzzle (problem). Also Wikidata Q1151643

History

2026-10-26: add by m2/dev

Boolean decomposition H65A2783MW

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

Mentions

arxiv: arXiv 2609.38212#BBBE, Boolean decomposition (statement). In 5821K2RD8J/e1, proposition 6.2

History

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

Schreier's subgroup lemma H65CY1X54V

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

Mentions

wikipedia: Wikipedia List of group theory topics#DELU, Schreier's subgroup lemma (statement)
wikipedia: Wikipedia List of lemmas#N6P4, Schreier's subgroup lemma (statement)

History

2026-11-02: add by m2/dev

H65EB1V39W H65EB1V39W

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

Mentions

arxiv: arXiv 2610.12295#31G7 (statement). In 6DZPR52HRP/e1, lemma 5.3

History

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

Local conformal radius H65H0AN411

URI	`m2://inv/H65H0AN411`
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.33552#VCGV, Local conformal radius (statement). In SRAS2DJJQH/e1, lemma 6.3

History

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

Elementary effects method H65QKFFY20

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

Mentions

wikipedia: Wikipedia Elementary effects method, Elementary effects method (definition). Also Wikidata Q5358904

History

2026-11-02: add by m2/dev

Ipsos MORI H65TTMMVDC

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

Mentions

wikipedia: Wikipedia List of polling organizations#B6LX, Ipsos MORI (unknown)

History

2026-11-02: add by m2/dev

H660481PF5 H660481PF5

URI	`m2://inv/H660481PF5`
Kind	statement
Layer	research
MSC	14-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.36509#77IA (statement). In DPJ15KW23C/e1, lemma 3.8

History

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

Laurent Schwartz H6618MMXRF

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#S3AH, Laurent Schwartz (topic)

History

2026-11-02: add by m2/dev

Runcination H661SD76T1

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#PPBO, Runcination (unknown)

History

2026-11-02: add by m2/dev

Properties H66D0EQKFG

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

Mentions

wikipedia: Wikipedia Rational number#Q84U, Properties (statement)

History

2026-11-02: add by m2/dev

The theorem H66TCWM7J8

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

Mentions

wikipedia: Wikipedia Sturm's theorem#NJS3, The theorem (statement)

History

2026-11-02: add by m2/dev

H673WCK3XW H673WCK3XW

URI	`m2://inv/H673WCK3XW`
Kind	example
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.21005#G5OB (example). In E63NRC7MBE/e1, example 2.7

History

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

H677TEW53V H677TEW53V

URI	`m2://inv/H677TEW53V`
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.21140#3WUA (statement)

History

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

H67PC89A0Q H67PC89A0Q

URI	`m2://inv/H67PC89A0Q`
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.10790#644J (statement). In HHQ6P3RRB8/e1, lemma 2.4

History

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

H67XV71JNF H67XV71JNF

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

Mentions

arxiv: arXiv math/0003117#ZAAV (definition). In WD2NCBV9F0/e1, definition 6.9

History

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

Gunnar Kulldorff H6824MPXF1

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#YPFI, Gunnar Kulldorff (topic)

History

2026-11-02: add by m2/dev

Lange's conjecture H68A4NAYTS

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

Mentions

wikipedia: Wikipedia Lange's conjecture, Lange's conjecture (statement). Also Wikidata Q6485828

History

2026-11-02: add by m2/dev

Signed Laplace/Gamma formula H68EY96SAT

URI	`m2://inv/H68EY96SAT`
Kind	statement
Layer	research
MSC	14-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.10828#TIOV, Signed Laplace/Gamma formula (statement). In 8PTDFHV8SQ/e1, theorem 9.7

History

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

H68GN6DJXZ H68GN6DJXZ

URI	`m2://inv/H68GN6DJXZ`
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 2308.02672#4RKD (statement). In ETRT1R1CQ8/e1, lemma 9.1

History

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

Leonard Soicher H68K7R4GVZ

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

Mentions

wikipedia: Wikipedia Leonard Soicher, Leonard Soicher (topic). Also Wikidata Q81052199

History

2026-11-02: add by m2/dev

transformation, linear H68MBX35KE

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

Mentions

lebl_ra: lebl_ra index/11.1.3/transformation-linear, transformation, linear (concept). In E59CDZA4DP, index, section 11.1.3

History

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

H68NCN21E4 H68NCN21E4

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

Mentions

arxiv: arXiv 2609.36412#GMV4 (statement). In 6HKGGCMBCK/e1, lemma 8.4

History

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

tangent bundle H68R0K8BHY

URI	`m2://inv/H68R0K8BHY`
Kind	definition
Layer	textbook
MSC	51-XX, 52-XX, 53-XX
Sources	4
Outcome	open
Node	Tangent bundle WY6K3P4YCG

Mentions

arxiv: arXiv 2610.17004#LYB4, Tangent bundle (definition). In XNJGNMS6H0/e1, definition A.1
mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > tangent bundle, tangent bundle (unknown). Also Mathlib TangentBundle
wikidata: Wikidata Q746550, tangent bundle (definition). Also EoM Tangent_bundle, Mathlib TangentBundle, MathWorld TangentBundle, nLab tangent bundle, ProofWiki Definition:Tangent_Bundle
wikipedia: Wikipedia Tangent bundle, Tangent bundle (definition). Also Wikidata Q746550

History

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

recurrence equations, nonhomogeneous H68S4WXZQ1

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

Mentions

applied_combinatorics: applied_combinatorics index/9.4.2/recurrence-equations-nonhomogeneous, recurrence equations, nonhomogeneous (concept). In QKM9DD2H56, index, section 9.4.2

History

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

Properties H68YHGQKVX

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

Mentions

wikipedia: Wikipedia Packing dimension#BNI5, Properties (statement)

History

2026-11-02: add by m2/dev

H690V8XR4B H690V8XR4B

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

Mentions

arxiv: arXiv 2609.30363#TLC3 (statement). In QHBBP180QJ/e1, proposition 3

History

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

H691WGPJ1T H691WGPJ1T

URI	`m2://inv/H691WGPJ1T`
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#IGH6 (statement). In 7SSKW778T8/e1, lemma 8.2

History

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

J. V. Egorov H692YFPRP5

URI	`m2://inv/H692YFPRP5`
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#D228, J. V. Egorov (topic)

History

2026-11-02: add by m2/dev

One-stage empirical-Bernstein multiscale certificate H698ZQ1FB0

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

Mentions

arxiv: arXiv 2610.19207#E759, One-stage empirical-Bernstein multiscale certificate (statement). In BH3R0BA3PC/e1, theorem 3

History

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

Zeldovich–Taylor flow H69FAMTFAP

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

Mentions

wikipedia: Wikipedia Zeldovich–Taylor flow, Zeldovich–Taylor flow (definition). Also Wikidata Q110281459

History

2026-11-02: add by m2/dev

H69GJPXWZ4 H69GJPXWZ4

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

Mentions

arxiv: arXiv 2610.11823#0H7A (definition). In YNQHA63Z2B/e1, definition 6.1

History

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

H69SQRMP14 H69SQRMP14

URI	`m2://inv/H69SQRMP14`
Kind	statement
Layer	research
MSC	11-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.18246#0GAY (statement). In SN6F0MPPVF/e1, theorem 9.2

History

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

Applications H69TNG83T8

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

Mentions

wikipedia: Wikipedia Cycle rank#WB8W, Applications (example)

History

2026-11-02: add by m2/dev

Neil Immerman H69Y7DBHRM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ETO7, Neil Immerman (unknown)

History

2026-11-02: add by m2/dev

H69ZKRX55X H69ZKRX55X

URI	`m2://inv/H69ZKRX55X`
Kind	statement
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#XSHJ (statement). In 5KR3MHYVV6/e1, lemma 6.3

History

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

every order up to two is a spectral point H6A1AY3B4Q

URI	`m2://inv/H6A1AY3B4Q`
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.20775#YTQO, every order up to two is a spectral point (statement). In XG27B81T0G/e1, theorem A

History

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

H6A59TFYB0 H6A59TFYB0

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

Mentions

arxiv: arXiv 2609.36423#JPSD (statement). In Q5Z178SAHP/e1, proposition 6.2

History

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

ReLU approximation to Sobolev functions H6A6EFYVXZ

URI	`m2://inv/H6A6EFYVXZ`
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.11120#W9CP, ReLU approximation to Sobolev functions (statement). In KCY80F2YGP/e1, lemma 2

History

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

H6A6GG2BGW H6A6GG2BGW

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

Mentions

arxiv: arXiv 1909.03896#SI2R (statement). In CX9RVPQVBM/e1, lemma 9

History

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

H6ABBGN2NT H6ABBGN2NT

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

Mentions

napkin: napkin tex/homology/cellular.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 50.2

History

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

H6ADY478E3 H6ADY478E3

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

Mentions

hott_book: hott_book hits.tex#ex:torus (exercise). In N54F33XE07, ex, section 5.13

History

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

Applications H6AEFCS3VY

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

Mentions

wikipedia: Wikipedia Lead–lag compensator#ZUA9, Applications (example)

History

2026-11-02: add by m2/dev

Perspective distortion H6AFHSV6GT

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#BM0E, Perspective distortion (unknown)

History

2026-11-02: add by m2/dev

Grushko decomposition theorem H6AM49KD42

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

Mentions

wikipedia: Wikipedia Grushko theorem#FD4K, Grushko decomposition theorem (statement)

History

2026-11-02: add by m2/dev

H6AMBPB19T H6AMBPB19T

URI	`m2://inv/H6AMBPB19T`
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.20568#JCZO (statement). In BCD0ATARNZ/e1, corollary 3.23

History

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

Properties H6ASQ1V6W4

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

Mentions

wikipedia: Wikipedia Noncentral t-distribution#LVOD, Properties (statement)

History

2026-11-02: add by m2/dev

Merrilyn Goos H6ATY5CQT3

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

Mentions

wikipedia: Wikipedia Merrilyn Goos, Merrilyn Goos (topic). Also Wikidata Q17517090

History

2026-11-02: add by m2/dev

H6AW08HJAP H6AW08HJAP

URI	`m2://inv/H6AW08HJAP`
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.21399#9KL7 (statement)

History

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

H6AZ7TG24H H6AZ7TG24H

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

Mentions

arxiv: arXiv 2609.31489#LPR4 (statement). In ZKBG58PN1J/e1, theorem 4.1

History

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

Opaque set H6B2RC01Z2

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

Mentions

wikipedia: Wikipedia Opaque set, Opaque set (definition). Also Wikidata Q16867981

History

2026-11-02: add by m2/dev

H6B3YRZQS0 H6B3YRZQS0

URI	`m2://inv/H6B3YRZQS0`
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.21762#PUV9 (statement). In CYDJ6JGD4A/e1, corollary 1.8

History

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

Special cases H6B4K764MP

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

Mentions

wikipedia: Wikipedia Theorem of the cube#60ZV, Special cases (statement)

History

2026-11-02: add by m2/dev

Virasoro conjecture H6BEA3J2ES

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

Mentions

wikipedia: Wikipedia Virasoro conjecture, Virasoro conjecture (conjecture). Also Wikidata Q7933656

History

2026-11-02: add by m2/dev

Simultaneous scale inequalities H6BFPB1H5X

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

Mentions

arxiv: arXiv 2610.06544#KBLM, Simultaneous scale inequalities (statement). In VCRB27RMN6/e1, lemma 13.2

History

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

H6BKT50N0Z H6BKT50N0Z

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

Mentions

arxiv: arXiv 2609.28495#N2DH (example)

History

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

Examples H6C26ENR5P

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

Mentions

wikipedia: Wikipedia Harmonic mean#7IQB, Examples (example)

History

2026-11-02: add by m2/dev

Discrete Hartley transform H6C6G8Q9PB

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

Mentions

wikipedia: Wikipedia List of Fourier-related transforms#C5F5, Discrete Hartley transform (definition)

History

2026-11-02: add by m2/dev

leap year H6C8138P1A

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

Mentions

wikidata: Wikidata Q19828, leap year (definition). Also ProofWiki Definition:Leap_Year

History

2026-10-26: add by m2/dev

Counting Bijective Functions H6CCYTC9HR

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_counting-combperm.ptx#example-counting-functions-bijective, Counting Bijective Functions (example). In Y91XFCEVHQ, example, section 2.3

History

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

H6CMVZ5GYY H6CMVZ5GYY

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-1.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 6.1

History

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

H6CNRT8CY6 H6CNRT8CY6

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

Mentions

arxiv: arXiv 2610.04809#Q351 (definition). In 2VHV0RNTNV/e1, definition 7.15

History

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

List of Boolean algebra topics H6CRVFJP22

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics, List of Boolean algebra topics (topic). Also Wikidata Q6564405

History

2026-11-02: add by m2/dev

Bounds on the Sum for Large $s$ H6CSW7ZM0K

URI	`m2://inv/H6CSW7ZM0K`
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.07671#WZDK, Bounds on the Sum for Large $s$ (statement). In XHHBGCVG90/e1, lemma 6.2.1

History

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

H6D1DBBKN3 H6D1DBBKN3

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

Mentions

arxiv: arXiv 2610.04172#VA5N (statement). In 9Q1D1NMTTS/e1, lemma 3

History

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

Uncorrelated asymmetry H6D2FV541J

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

Mentions

wikipedia: Wikipedia Uncorrelated asymmetry, Uncorrelated asymmetry (definition). Also Wikidata Q17130872

History

2026-11-02: add by m2/dev

Anthony C. Davison H6D7S0Q40G

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#GU7P, Anthony C. Davison (topic)

History

2026-11-02: add by m2/dev

H6DATC5AW5 H6DATC5AW5

URI	`m2://inv/H6DATC5AW5`
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.20740#FX1I (statement)

History

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

Main theorem H6DEX5WWMH

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

Mentions

wikipedia: Wikipedia Max-flow min-cut theorem#2WJL, Main theorem (statement)

History

2026-11-02: add by m2/dev

Yamabe problem H6DFBM3QCF

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#B9UC, Yamabe problem (problem)

History

2026-11-02: add by m2/dev

Alhazen's problem H6DKSBSNY7

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

Mentions

wikidata: Wikidata Q4724471, Alhazen's problem (problem). Also MathWorld AlhazensBilliardProblem
wikipedia: Wikipedia Alhazen's problem, Alhazen's problem (problem). Also Wikidata Q4724471

History

2026-10-26: add by m2/dev

H6DWGD4TBV H6DWGD4TBV

URI	`m2://inv/H6DWGD4TBV`
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.14267#9OQ4 (statement). In 9YTGFNA004/e1, lemma 2.9

History

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

Definition H6DWYAH79Y

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

Mentions

wikipedia: Wikipedia Pairing function#J0OX, Definition (definition)

History

2026-11-02: add by m2/dev

D. Yu. Grigor'ev H6DX8RSH68

URI	`m2://inv/H6DX8RSH68`
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#HNPU, D. Yu. Grigor'ev (unknown)

History

2026-11-02: add by m2/dev

Hirzebruch Signature Theorem H6DXEE1JQK

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

Mentions

wikipedia: Wikipedia Signature operator#NYTI, Hirzebruch Signature Theorem (statement)

History

2026-11-02: add by m2/dev

Definition H6DZ5A7MVH

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

Mentions

wikipedia: Wikipedia Lovász number#VHNY, Definition (definition)

History

2026-11-02: add by m2/dev

H6EGXMXY5S H6EGXMXY5S

URI	`m2://inv/H6EGXMXY5S`
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 2510.12502#78L1 (statement). In 3A4K47Y9F2/e1, theorem 6.7

History

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

Cosecant H6EHWTPEZX

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#JWA4, Cosecant (definition)

History

2026-11-02: add by m2/dev

H6EJNNZSR0 H6EJNNZSR0

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

Mentions

hott_book: hott_book hlevels.tex#defn-1 (definition). In N54F33XE07, defn, section 6.4

History

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

H6EN3Q5JAS H6EN3Q5JAS

URI	`m2://inv/H6EN3Q5JAS`
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#LIO9 (statement). In ESDKTYDHC8/e1, theorem 2

History

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

William Ludlam H6ENYRVN3Z

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

Mentions

wikipedia: Wikipedia William Ludlam, William Ludlam (topic). Also Wikidata Q8014775

History

2026-11-02: add by m2/dev

H6ER1HGHY1 H6ER1HGHY1

URI	`m2://inv/H6ER1HGHY1`
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.11778#Z2I0 (statement). In PPAJZ2JBCE/e1, lemma B.1

History

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

Simon Brendle H6EZJTWRH9

URI	`m2://inv/H6EZJTWRH9`
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#N936, Simon Brendle (topic)

History

2026-11-02: add by m2/dev

Applications H6F0KHSWEP

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

Mentions

wikipedia: Wikipedia Rabin fingerprint#TW4J, Applications (example)

History

2026-11-02: add by m2/dev

Z-channel H6FG9SA1TM

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

Mentions

wikipedia: Wikipedia Z-channel (information theory), Z-channel (definition). Also Wikidata Q17145032

History

2026-11-02: add by m2/dev

Humane endpoint H6FJER0DTH

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

Mentions

wikipedia: Wikipedia Clinical endpoint#AGH9, Humane endpoint (unknown)

History

2026-11-02: add by m2/dev

H6FPBKS6AD H6FPBKS6AD

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

Mentions

arxiv: arXiv 2609.20772#3G4A (statement)

History

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

H6FQ5568E3 H6FQ5568E3

URI	`m2://inv/H6FQ5568E3`
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.32107#AMXW (statement). In F11G5M3JA5/e1, lemma 2.2

History

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

Gabriel graph H6FV8YHZSV

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

Mentions

wikipedia: Wikipedia Gabriel graph, Gabriel graph (definition). Also Wikidata Q2783524

History

2026-11-02: add by m2/dev

H6G0EWG8S2 H6G0EWG8S2

URI	`m2://inv/H6G0EWG8S2`
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#826Z (statement). In 2JD3KNKJ1P/e1, corollary 5.14

History

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

H6G1BF4CA8 H6G1BF4CA8

URI	`m2://inv/H6G1BF4CA8`
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.39700#PD8I (statement). In E7W2HDNEKJ/e1, corollary H.15

History

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

Applications H6G2MHHDDG

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

Mentions

wikipedia: Wikipedia Pulsar#C4B4, Applications (example)

History

2026-11-02: add by m2/dev

Dual code H6G2XBX447

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

Mentions

wikipedia: Wikipedia Dual code, Dual code (definition). Also Wikidata Q5310189

History

2026-11-02: add by m2/dev

Illegal number H6G3PQKZ7V

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

Mentions

wikipedia: Wikipedia Illegal number, Illegal number (definition). Also Wikidata Q45327

History

2026-11-02: add by m2/dev

Integral domain H6G5Y7742Q

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

Mentions

wikipedia: Wikipedia List of commutative algebra topics#WUW4, Integral domain (definition)

History

2026-11-02: add by m2/dev

Rena Bakhshi H6G7MXTDQR

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

Mentions

wikipedia: Wikipedia Rena Bakhshi, Rena Bakhshi (topic). Also Wikidata Q102371904

History

2026-11-02: add by m2/dev

H6G93VJGNC H6G93VJGNC

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

Mentions

arxiv: arXiv 2609.18777#CVKS (statement). In TFZDPHDF7V/e1, proposition 3.5

History

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

H6GAEERTQ8 H6GAEERTQ8

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

Mentions

arxiv: arXiv 2610.05179#B1ML (statement). In 9EMCPF1F2T/e1, theorem 11

History

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

H6GDG941XV H6GDG941XV

URI	`m2://inv/H6GDG941XV`
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.21781#SBLW (statement). In FEQ72D1AX6/e1, lemma 7.3

History

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

H6GMT5PT01 H6GMT5PT01

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

Mentions

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

History

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

Randomized convolution term H6GMV83VX7

URI	`m2://inv/H6GMV83VX7`
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.11330#Q7KQ, Randomized convolution term (statement). In Z73GKA9WDB/e1, lemma B.2

History

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

Use of the formula to define the logarithm of complex numbers H6GP2KZCY1

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

Mentions

wikipedia: Wikipedia Euler's formula#USSF, Use of the formula to define the logarithm of complex numbers (statement)

History

2026-11-02: add by m2/dev

H6GS91CX3F H6GS91CX3F

URI	`m2://inv/H6GS91CX3F`
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.25703#F65M (statement)

History

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

Fundamental class H6GTWHZECD

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics#FYDG, Fundamental class (definition)

History

2026-11-02: add by m2/dev

H6H2D0M5M1 H6H2D0M5M1

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

Mentions

arxiv: arXiv 2609.31300#TNOW (statement). In ERHQDB8M41/e1, theorem 4.2

History

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

H6H5294YYZ H6H5294YYZ

URI	`m2://inv/H6H5294YYZ`
Kind	example
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#TD3Q (example)

History

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

H6H5T9M43Y H6H5T9M43Y

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

Mentions

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

History

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

Telba Irony H6H62Y2XSR

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

Mentions

wikipedia: Wikipedia Telba Irony, Telba Irony (topic). Also Wikidata Q43272238

History

2026-11-02: add by m2/dev

Ε-net H6HBBA41TB

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

Mentions

wikipedia: Wikipedia Ε-net, Ε-net (definition). Also Wikidata Q8083985

History

2026-11-02: add by m2/dev

H6HCK4T1QR H6HCK4T1QR

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 9.5

History

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

H6HDCHJ9RZ H6HDCHJ9RZ

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

Mentions

arxiv: arXiv 2304.02722#ISTZ (definition). In AH7D55D3WV/e1, definition 13.2

History

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

J H6HGA7AK4T

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

Mentions

wikipedia: Wikipedia Glossary of set theory#I1RR, J (definition)

History

2026-11-02: add by m2/dev

Laplace principle (large deviations theory) H6HQN6N6HR

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

Mentions

wikipedia: Wikipedia List of statistics articles#SVSK, Laplace principle (large deviations theory) (statement)

History

2026-11-02: add by m2/dev

Rising sun lemma H6HXCCRMQZ

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

Mentions

wikipedia: Wikipedia Rising sun lemma, Rising sun lemma (statement). Also Wikidata Q1965964

History

2026-11-02: add by m2/dev

Microcanonical ensemble H6J9QAGRT2

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

Mentions

wikipedia: Wikipedia Microcanonical ensemble, Microcanonical ensemble (definition). Also Wikidata Q1077769

History

2026-11-02: add by m2/dev

Path analysis H6J9ZW18QN

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

Mentions

wikipedia: Wikipedia Path analysis (statistics), Path analysis (definition). Also Wikidata Q1046024

History

2026-11-02: add by m2/dev

Essential Media Communications H6JFCHJ2R2

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

Mentions

wikipedia: Wikipedia List of polling organizations#6MJK, Essential Media Communications (unknown)

History

2026-11-02: add by m2/dev

Relation to Schanuel's conjecture H6JGK8A23Q

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

Mentions

wikipedia: Wikipedia Existential closedness conjecture#TFSW, Relation to Schanuel's conjecture (statement)

History

2026-11-02: add by m2/dev

The Bessel-Clifford function of the second kind H6JJ42PWRW

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

Mentions

wikipedia: Wikipedia Bessel–Clifford function#XAVN, The Bessel-Clifford function of the second kind (unknown)

History

2026-11-02: add by m2/dev

H6JKD6PE5T H6JKD6PE5T

URI	`m2://inv/H6JKD6PE5T`
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.18226#1HJU (statement). In B3EHT1FRM5/e1, lemma 3.12

History

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

Relationship with other hypothesis tests H6JYAZ3JNY

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

Mentions

wikipedia: Wikipedia Score test#99VV, Relationship with other hypothesis tests (statement)

History

2026-11-02: add by m2/dev

H6JZWXZH53 H6JZWXZH53

URI	`m2://inv/H6JZWXZH53`
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.13385#V16D (statement). In J99CBQ3QYD/e1, lemma 3.2

History

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

Vanishing mass H6K3TR5TS9

URI	`m2://inv/H6K3TR5TS9`
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.07905#OFDE, Vanishing mass (statement). In 88GEN3Z5VG/e1, lemma 7.11

History

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

Statement H6K4AHK789

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

Mentions

wikipedia: Wikipedia Carleman's inequality#SZNL, Statement (statement)

History

2026-11-02: add by m2/dev

Properties H6KQJN77RS

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

Mentions

wikipedia: Wikipedia Étale morphism#KK8A, Properties (statement)

History

2026-11-02: add by m2/dev

H6KS8ET6V7 H6KS8ET6V7

URI	`m2://inv/H6KS8ET6V7`
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.01433#6CVN (statement). In 160PQ7F1AS/e1, lemma 3.9

History

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

H6M1B3Y8SW H6M1B3Y8SW

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

Mentions

arxiv: arXiv 2610.21092#5WG2 (statement). In AGJE43FTF8/e1, corollary 9.4

History

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

Walter Gage H6MAWYC9EG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#XJ1U, Walter Gage (unknown)

History

2026-11-02: add by m2/dev

H6MCEH3ZJB H6MCEH3ZJB

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

Mentions

arxiv: arXiv 2610.18464#V2EA (statement). In VSTFM3ME25/e1, theorem 3.1

History

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

H6MEJWPDF7 H6MEJWPDF7

URI	`m2://inv/H6MEJWPDF7`
Kind	statement
Layer	research
MSC	03-XX, 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 2302.04566#TYEF (statement). In 80S2NP05HJ/e1, theorem 2.14

History

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

Bounds for the optimal action H6MFADJB46

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

Mentions

arxiv: arXiv 2609.38228#EU7B, Bounds for the optimal action (statement). In 9YAE8FNQST/e1, proposition 16.12

History

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

Cluster algebra H6MH1BHWHE

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

Mentions

wikipedia: Wikipedia Cluster algebra, Cluster algebra (definition). Also Wikidata Q5136690

History

2026-11-02: add by m2/dev

Construction H6MJE0TDD4

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

Mentions

wikipedia: Wikipedia Homotopy fiber#DPB0, Construction (definition)

History

2026-11-02: add by m2/dev

Girsanov energy and asymptotic measure closeness H6MKPJ6ZTW

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

Mentions

arxiv: arXiv 2610.05864#3LZ9, Girsanov energy and asymptotic measure closeness (statement). In 31QPXWDZSH/e1, theorem A.5

History

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

H6MKTNAPAK H6MKTNAPAK

URI	`m2://inv/H6MKTNAPAK`
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 2609.32300#PZGV (statement). In VNE8N0D2FB/e1, proposition 5.4

History

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

Cryptographic attack H6MRA0T09V

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

Mentions

wikipedia: Wikipedia Cryptanalysis#062Q, Cryptographic attack (unknown)

History

2026-11-02: add by m2/dev

Base rate fallacy H6N4J6Y18F

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

Mentions

wikipedia: Wikipedia List of fallacies#ZRWK, Base rate fallacy (definition)

History

2026-11-02: add by m2/dev

Generalizations H6NKY0CXXC

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

Mentions

wikipedia: Wikipedia Scheme (mathematics)#BN0S, Generalizations (statement)

History

2026-11-02: add by m2/dev

H6NVHY2TBW H6NVHY2TBW

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/soundness-identity.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 22.14

History

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

Kazimierz Urbanik H6P23B5C3V

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#E5PP, Kazimierz Urbanik (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EQ9C, Kazimierz Urbanik (unknown)

History

2026-11-02: add by m2/dev

Resolution of singularities H6P3W109KX

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

Mentions

wikipedia: Wikipedia List of long mathematical proofs#YSH9, Resolution of singularities (conjecture)

History

2026-11-02: add by m2/dev

Examples H6P5ECZ2NH

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

Mentions

wikipedia: Wikipedia Fréchet lattice#GDZR, Examples (example)

History

2026-11-02: add by m2/dev

H6P9AKAQXM H6P9AKAQXM

URI	`m2://inv/H6P9AKAQXM`
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#5B97 (statement). In 68AE571S4P/e1, corollary 3.10

History

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

H. S. M. Coxeter H6PAGATBQ6

URI	`m2://inv/H6PAGATBQ6`
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#BGQ1, H. S. M. Coxeter (topic)

History

2026-11-02: add by m2/dev

Global dimension H6PAV3N7Q5

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

Mentions

wikipedia: Wikipedia Global dimension, Global dimension (definition). Also Wikidata Q5570832

History

2026-11-02: add by m2/dev

Time consistency H6PC20X8ME

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

Mentions

arxiv: arXiv math/0003117#IK5K, Time consistency (definition). In WD2NCBV9F0/e1, definition 13.5

History

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

Grazing velocities H6PDTVYD8K

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

History

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

H6PFEMQ5KG H6PFEMQ5KG

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

Mentions

napkin: napkin tex/cats/functors.tex#thm:yoneda (statement). In RZP28ERRZV, theorem, section 37.7

History

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

Gibbs free energy H6PJHR9JJM

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

Mentions

wikipedia: Wikipedia Gibbs free energy, Gibbs free energy (definition). Also Wikidata Q334631

History

2026-11-02: add by m2/dev

H6PTEET09Z H6PTEET09Z

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

Mentions

arxiv: arXiv 2610.03327#4Q3U (statement). In EBNXA84CPM/e1, proposition 4.3

History

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

H6PV9ZCP56 H6PV9ZCP56

URI	`m2://inv/H6PV9ZCP56`
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.25269#SZEY (statement)

History

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

Example H6Q26V6KQH

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

Mentions

wikipedia: Wikipedia Interpolative decomposition#241Q, Example (example)

History

2026-11-02: add by m2/dev

H6Q4B1ZX65 H6Q4B1ZX65

URI	`m2://inv/H6Q4B1ZX65`
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.25656#U0HI (definition)

History

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

H6Q646Y5HF H6Q646Y5HF

URI	`m2://inv/H6Q646Y5HF`
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.17100#UUEU (statement). In 4TSS52DMB2/e1, corollary 2.8

History

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

H6Q6JCK26W H6Q6JCK26W

URI	`m2://inv/H6Q6JCK26W`
Kind	statement
Layer	research
MSC	05-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.40200#0XM0 (statement). In VWNB6QJWFN/e1, lemma 2.2

History

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

Switching conjecture for main eigenvalues H6QP3SS6XZ

URI	`m2://inv/H6QP3SS6XZ`
Kind	conjecture
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.27046#4WM7, Switching conjecture for main eigenvalues (conjecture)

History

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

H6QVAXDF67 H6QVAXDF67

URI	`m2://inv/H6QVAXDF67`
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.33185#B7YW (statement). In QX30H2WNA7/e1, proposition 7.3

History

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

H6QZWBABH3 H6QZWBABH3

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

Mentions

arxiv: arXiv 2609.27902#YO9E (definition)

History

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

Ordered exponential H6R4WKHS6E

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

Mentions

wikipedia: Wikipedia List of exponential topics#J26M, Ordered exponential (unknown)

History

2026-11-02: add by m2/dev

H6R9784TZ6 H6R9784TZ6

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

Mentions

arxiv: arXiv 2610.13076#F6SB (statement). In K7GJA4WGV7/e1, theorem 3.4

History

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

H6RDDARJ4A H6RDDARJ4A

URI	`m2://inv/H6RDDARJ4A`
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 2208.06310#3SZ3 (definition). In 9YR0E0T9XA/e1, definition 3.10

History

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

Almost symplectic manifold H6RFGK5RNP

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

Mentions

wikipedia: Wikipedia List of manifolds#3SLI, Almost symplectic manifold (definition)

History

2026-11-02: add by m2/dev

Hodge bundle H6RFKWJ3TQ

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#HC7K, Hodge bundle (definition)

History

2026-11-02: add by m2/dev

Otto E. Neugebauer H6RVY9JJM5

URI	`m2://inv/H6RVY9JJM5`
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#GYKM, Otto E. Neugebauer (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SV2K, Otto E. Neugebauer (topic)

History

2026-11-02: add by m2/dev

dual of a normed space H6RYPGDJJT

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

Mentions

mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > dual of a normed space, dual of a normed space (unknown). Also Mathlib StrongDual
mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > dual space, dual space (unknown). Also Mathlib StrongDual

History

2026-10-26: add by m2/dev

H6S2FF1FMV H6S2FF1FMV

URI	`m2://inv/H6S2FF1FMV`
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 2610.05365#KO9M (statement). In BKPSH4CD9K/e1, lemma 2.1

History

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

H6S5SXA6T0 H6S5SXA6T0

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#proof-14 (proof). In E59CDZA4DP, proof, section 2.4.1

History

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

H6S69CA2DG H6S69CA2DG

URI	`m2://inv/H6S69CA2DG`
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.23093#XL96 (statement)

History

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

CW approximation H6S90SEJTZ

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

Mentions

wikipedia: Wikipedia Homotopy theory#I5BF, CW approximation (statement)

History

2026-11-02: add by m2/dev

H6SMZJWP1E H6SMZJWP1E

URI	`m2://inv/H6SMZJWP1E`
Kind	statement
Layer	research
MSC	35-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 1503.05744#PJBP (statement). In 5XKHZKEGAF/e1, lemma 3.12

History

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

H6SPJP4F4M H6SPJP4F4M

URI	`m2://inv/H6SPJP4F4M`
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 2204.13401#V86O (statement). In B8MJT0GGW8/e1, theorem 4.36

History

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

H6SPYWS95F H6SPYWS95F

URI	`m2://inv/H6SPYWS95F`
Kind	example
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 2504.02065#R5ON (example). In 60CK7P5F36/e1, example 3.3

History

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

H6SQGFHN5V H6SQGFHN5V

URI	`m2://inv/H6SQGFHN5V`
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 2604.10080#ZYIW (statement). In KM2FWKP93A/e1, lemma 2.14

History

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

axiom, of choice, countable H6SSRMN9AY

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

Mentions

hott_book: hott_book index/B/axiom-of-choice-countable, axiom, of choice, countable (concept). In N54F33XE07, index, section B

History

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

Closed Graph Theorem H6SW2ZF53W

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

Mentions

wikipedia: Wikipedia Closed graph theorem (functional analysis)#NJG8, Closed Graph Theorem (statement)

History

2026-11-02: add by m2/dev

H6T0WQ6K0K H6T0WQ6K0K

URI	`m2://inv/H6T0WQ6K0K`
Kind	definition
Layer	research
MSC	26-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 2411.16022#6FTT (definition). In QG9ATXTKJ6/e1, definition 2.10

History

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

H6T3DPEQHS H6T3DPEQHS

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

Mentions

arxiv: arXiv 2503.19528#C9LG (statement). In EM5955MDHN/e1, proposition 2.6

History

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

Formulation H6T7G7PMCT

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

Mentions

wikipedia: Wikipedia Hyperfunction#FHSK, Formulation (definition)

History

2026-11-02: add by m2/dev

Examples H6TDTHCX2P

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

Mentions

wikipedia: Wikipedia Quasivariety#KUWX, Examples (example)

History

2026-11-02: add by m2/dev

Σ H6TJRXTNJK

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

Mentions

wikipedia: Wikipedia Glossary of set theory#2F4J, Σ (definition)

History

2026-11-02: add by m2/dev

Michał Wojtylak H6TP28WS2A

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

Mentions

wikipedia: Wikipedia Michał Wojtylak, Michał Wojtylak (topic). Also Wikidata Q48847274

History

2026-11-02: add by m2/dev

Law of the unconscious statistician H6TPVXS1E8

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

Mentions

wikipedia: Wikipedia Law of the unconscious statistician, Law of the unconscious statistician (statement). Also Wikidata Q6503509

History

2026-11-02: add by m2/dev

Discriminator H6TQB8K98D

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

Mentions

wikipedia: Wikipedia Discriminator, Discriminator (definition). Also Wikidata Q5282088

History

2026-11-02: add by m2/dev

H6V6A5XMM9 H6V6A5XMM9

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-65 (exercise). In E59CDZA4DP, exercise, section 10.5.7

History

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

H6V6SJMJEY H6V6SJMJEY

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

Mentions

arxiv: arXiv 2610.07001#HZY2 (definition). In 5DFTVG7FFF/e1, definition 3.2

History

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

Boundary identity H6VMXG8RA5

URI	`m2://inv/H6VMXG8RA5`
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.39409#2UW6, Boundary identity (statement). In CQ0Z7QA0A5/e1, lemma 4.1

History

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

Zakai equation H6VWW4DVWS

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

Mentions

wikipedia: Wikipedia Zakai equation, Zakai equation (definition). Also Wikidata Q8064995

History

2026-11-02: add by m2/dev

Diminish of oscillation - Laplacian H6W0KANJJB

URI	`m2://inv/H6W0KANJJB`
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 2401.14638#LGDL, Diminish of oscillation - Laplacian (statement). In 2XC2MZFWPP/e1, lemma 2.7

History

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

H6W57K5HMM H6W57K5HMM

URI	`m2://inv/H6W57K5HMM`
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.21994#C2WB (statement)

History

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

Future obstruction and deletion H6W6PEEJ63

URI	`m2://inv/H6W6PEEJ63`
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.28160#8SRM, Future obstruction and deletion (statement)

History

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

Three Rivers, New Brunswick H6W8B0TZVN

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

Mentions

wikipedia: Wikipedia List of places with numeric names#0OZM, Three Rivers, New Brunswick (unknown)

History

2026-11-02: add by m2/dev

H6WK43ENP2 H6WK43ENP2

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

Mentions

arxiv: arXiv 2610.14689#AXS8 (statement). In 6BKMNJYNPJ/e1, lemma 2.3

History

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

Factor descent H6WRFC8NB1

URI	`m2://inv/H6WRFC8NB1`
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.34522#TX2U, Factor descent (statement). In 1HJGW3Z6Q8/e1, lemma 4.2

History

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

H6WTWJPXTT H6WTWJPXTT

URI	`m2://inv/H6WTWJPXTT`
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.08052#1GL3 (statement). In 672XAVEQ34/e1, proposition 4.3

History

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

simple function H6X02BJNYP

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

Mentions

lebl_scv: lebl_scv index/E.1/simple-function, simple function (concept). In VNMV985MXX, index, section E.1

History

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

H6X59PW43C H6X59PW43C

URI	`m2://inv/H6X59PW43C`
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.00076#VYML (statement). In 2VQ90WEZKB/e1, proposition 7.1

History

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

H6XFWHSV4D H6XFWHSV4D

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

Mentions

arxiv: arXiv 2609.36823#5X6L (statement). In 55WT8DME6Y/e1, corollary 1.3

History

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

Identification of the Fenchel--Rockafellar right-hand side H6XMHGMTKB

URI	`m2://inv/H6XMHGMTKB`
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.01855#SKSM, Identification of the Fenchel--Rockafellar right-hand side (statement). In MM8P5CJR18/e1, proposition C.13

History

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

Facts H6XNEAGQTM

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

Mentions

wikipedia: Wikipedia Tautological bundle#QEXD, Facts (statement)

History

2026-11-02: add by m2/dev

Examples H6XNR2FAPZ

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

Mentions

wikipedia: Wikipedia P-derivation#34W6, Examples (example)

History

2026-11-02: add by m2/dev

axiom of extensionality H6XPSHRMJR

URI	`m2://inv/H6XPSHRMJR`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Axiom of extensionality 0TB16T2C97

Mentions

wikidata: Wikidata Q740424, axiom of extensionality (statement). Also MathWorld AxiomofExtensionality, nLab axiom of extensionality, ProofWiki Axiom:Axiom_of_Extension
wikipedia: Wikipedia Axiom of extensionality, Axiom of extensionality (statement). Also Wikidata Q740424

History

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

Validity guarantee with $\varepsilon$-fidelity for midpoint targets H6XRQSTWRT

URI	`m2://inv/H6XRQSTWRT`
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.23350#J9QZ, Validity guarantee with $\varepsilon$-fidelity for midpoint targets (statement)

History

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

Arakelov theory H6XS44WVJY

URI	`m2://inv/H6XS44WVJY`
Kind	statement
Layer	textbook
MSC	14-XX
Sources	4
Outcome	open
Node	Arakelov theory YXWGV80Z2V

Mentions

mathlib_1000: mathlib_1000 Q4783822, Arithmetic Riemann–Roch theorem (statement). Also Wikidata Q4783822
thousand_plus: thousand_plus Q4783822, Arithmetic Riemann–Roch theorem (statement). Also Wikidata Q4783822, Wikipedia Arithmetic Riemann–Roch theorem
wikidata: Wikidata Q4783822, Arakelov theory (topic). Also MathWorld ArakelovTheory
wikipedia: Wikipedia Arakelov theory, Arakelov theory (definition). Also Wikidata Q4783822

History

2026-10-26: add by m2/dev

PBF implies BTP, recalled H6XVK3WKCK

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

Mentions

arxiv: arXiv 2610.08568#MQTI, PBF implies BTP, recalled (statement). In FDDA562VCA/e1, proposition 2.1

History

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

H6Y00Q29HK H6Y00Q29HK

URI	`m2://inv/H6Y00Q29HK`
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 2108.06308#RFS8 (statement). In F8BXF46972/e1, theorem 1.2

History

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

Holographic duality H6Y2V0D6QJ

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

Mentions

wikipedia: Wikipedia List of dualities#W4T4, Holographic duality (statement)

History

2026-11-02: add by m2/dev

indescribable cardinal H6Y8EB9394

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

Mentions

wikipedia: Wikipedia Glossary of set theory#LDTS, indescribable cardinal (definition)

History

2026-11-02: add by m2/dev

H6Y9R4SD2R H6Y9R4SD2R

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

Mentions

arxiv: arXiv 2610.04172#QVLT (definition). In 9Q1D1NMTTS/e1, definition 2

History

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

Lagrange point H6Y9VWD2SF

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#TICF, Lagrange point (definition)

History

2026-11-02: add by m2/dev

Universal chord theorem H6YBA1Q9X7

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

Mentions

wikipedia: Wikipedia Universal chord theorem, Universal chord theorem (statement). Also Wikidata Q28404630

History

2026-11-02: add by m2/dev

One-parameter families H6YGNMSEAP

URI	`m2://inv/H6YGNMSEAP`
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.23327#K130, One-parameter families (statement)

History

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

Corollary H6YNF84FZ9

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

Mentions

wikipedia: Wikipedia Minimax estimator#LMYV, Corollary (statement)

History

2026-11-02: add by m2/dev

Degree-zero $8\pi$ globality H6YP7ZNFD3

URI	`m2://inv/H6YP7ZNFD3`
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.02714#6S2J, Degree-zero $8\pi$ globality (statement). In R9AXCJWK8F/e1, theorem 4

History

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

Product form H6YRCW16G5

URI	`m2://inv/H6YRCW16G5`
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 2609.27766#MFJ3, Product form (statement)

History

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

H6YXMV38EF H6YXMV38EF

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

Mentions

arxiv: arXiv 2311.00585#FLEK (statement). In 332PQD90SW/e1, theorem 2.12

History

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

elliptic H6YYT7ERTQ

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#3S3N, elliptic (definition)

History

2026-11-02: add by m2/dev

Certified envelope line search H6Z6VDG4SP

URI	`m2://inv/H6Z6VDG4SP`
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.21880#Y2BI, Certified envelope line search (statement)

History

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

H6ZAQGCVZX H6ZAQGCVZX

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

Mentions

arxiv: arXiv 2610.12633#19UZ (statement). In NGZ5AZ70NN/e1, theorem 1.5

History

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

Canonical forms and the fundamental theorem of MPS H6ZB9RVQP8

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

Mentions

wikipedia: Wikipedia Tensor network#QMTF, Canonical forms and the fundamental theorem of MPS (statement)

History

2026-11-02: add by m2/dev

H6ZBCP1HH9 H6ZBCP1HH9

URI	`m2://inv/H6ZBCP1HH9`
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.18744#5FQN (statement). In AE07JDH5D3/e1, lemma 5.4

History

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

H6ZEDRACEW H6ZEDRACEW

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

Mentions

arxiv: arXiv 2609.33590#F11S (definition). In WRE0P7V6Z3/e1, definition 7.5

History

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

H6ZHBXSTH4 H6ZHBXSTH4

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

Mentions

arxiv: arXiv 2610.09648#CY1X (statement). In WB9PTPN54H/e1, lemma 5.4

History

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

H6ZHHHZ9H8 H6ZHHHZ9H8

URI	`m2://inv/H6ZHHHZ9H8`
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.10527#CNGC (statement). In 9AXPPWBA9R/e1, lemma 5

History

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

Algorithm H6ZHW927A6

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

Mentions

wikipedia: Wikipedia Buchberger's algorithm#XQP4, Algorithm (definition)

History

2026-11-02: add by m2/dev

H6ZNN628G5 H6ZNN628G5

URI	`m2://inv/H6ZNN628G5`
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.19534#VI17 (example). In 22G1ATP2RA/e1, example 2

History

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

List of journals in computational geometry H6ZPN4328V

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

Mentions

wikipedia: Wikipedia Computational geometry#WMDF, List of journals in computational geometry (unknown)

History

2026-11-02: add by m2/dev

Uriel Frisch H6ZRSAGP9T

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#46I6, Uriel Frisch (unknown)

History

2026-11-02: add by m2/dev

Endpoint compression H6ZTM341SP

URI	`m2://inv/H6ZTM341SP`
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.39700#PXZT, Endpoint compression (statement). In E7W2HDNEKJ/e1, lemma 10.23

History

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

H6ZWBDK0P5 H6ZWBDK0P5

URI	`m2://inv/H6ZWBDK0P5`
Kind	statement
Layer	research
MSC	19-XX, 20-XX, 22-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.14278#242C (statement). In RTE2C0PH4S/e1, lemma 6.2

History

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