Inventory rows XG

XG01DCMW17 XG01DCMW17

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

Mentions

arxiv: arXiv 2609.30279#3RSO (statement). In DPWKG7FD0H/e1, lemma 3.5

History

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

Banach–Mazur compactum XG02P25KBH

URI	`m2://inv/XG02P25KBH`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Banach–Mazur compactum RH1WTN38RQ

Mentions

wikidata: Wikidata Q806050, Banach–Mazur compactum (unknown). Also EoM Banach-Mazur_compactum
wikipedia: Wikipedia Banach–Mazur compactum, Banach–Mazur compactum (definition). Also Wikidata Q806050

History

2026-10-26: add by m2/dev

Frank Adams XG06D30XVY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BMV2, Frank Adams (topic)

History

2026-11-02: add by m2/dev

Hexagonal tiling-triangular tiling honeycomb XG0CJ5NY4E

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

Mentions

wikipedia: Wikipedia Hexagonal tiling-triangular tiling honeycomb, Hexagonal tiling-triangular tiling honeycomb (definition). Also Wikidata Q17029246

History

2026-11-02: add by m2/dev

XG0HDA6MX5 XG0HDA6MX5

URI	`m2://inv/XG0HDA6MX5`
Kind	definition
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.16225#5ZVM (definition). In H3DJV9YQW1/e1, definition 1.5

History

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

Examples XG0HEHEJVJ

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

Mentions

wikipedia: Wikipedia Rupture field#5JTP, Examples (example)

History

2026-11-02: add by m2/dev

Blue phases XG0YJ6YH5M

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

Mentions

wikipedia: Wikipedia Liquid crystal#HERV, Blue phases (unknown)

History

2026-11-02: add by m2/dev

Generalizations XG0YYE1C5M

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

Mentions

wikipedia: Wikipedia Category of modules#R0M9, Generalizations (statement)

History

2026-11-02: add by m2/dev

Klein four symmetry on four vertices XG13XJAFC8

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

Mentions

arxiv: arXiv 2610.01216#CYD2, Klein four symmetry on four vertices (statement). In 59016RQTW6/e1, theorem 3.4

History

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

XG166XAFBB XG166XAFBB

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

Mentions

arxiv: arXiv 2610.06764#T4QN (statement). In MSWV3MJ5CE/e1, theorem 1.2

History

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

XG16PTHAB3 XG16PTHAB3

URI	`m2://inv/XG16PTHAB3`
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.23341#QOE7 (statement)

History

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

XG17EAAXP8 XG17EAAXP8

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

Mentions

arxiv: arXiv 2609.39169#06X2 (statement). In ANHWXYPQFX/e1, corollary 4.17

History

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

Hall–Janko group XG18VRVKAY

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

Mentions

wikidata: Wikidata Q5643249, Hall–Janko group (unknown). Also MathWorld Hall-JankoGroup
wikipedia: Wikipedia Janko group J2, Janko group J2 (object). Also Wikidata Q5643249

History

2026-10-26: add by m2/dev

XG1E1TYPJH XG1E1TYPJH

URI	`m2://inv/XG1E1TYPJH`
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 math/0411039#LUVD (statement). In ZTBDXSKFFW/e1, lemma 5.1

History

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

Relatively compact set XG1EF5YEA3

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

Mentions

wikipedia: Wikipedia List of types of sets#3OBL, Relatively compact set (definition)

History

2026-11-02: add by m2/dev

XG1J5HCVGJ XG1J5HCVGJ

URI	`m2://inv/XG1J5HCVGJ`
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 2609.20513#BZ19 (statement)

History

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

XG1K213F14 XG1K213F14

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

Mentions

active_calculus: active_calculus source/sec-3-3-tests.xml#Ex-f-from-f-prime (example). In 907G4C4EJ1, example, section 3.3.2

History

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

Equiconsistency XG1KAD8FGZ

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

Mentions

wikipedia: Wikipedia Equiconsistency, Equiconsistency (definition). Also Wikidata Q5384443

History

2026-11-02: add by m2/dev

XG1KKDPV12 XG1KKDPV12

URI	`m2://inv/XG1KKDPV12`
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 2601.18223#S02F (statement). In ZRXE7EJA93/e1, lemma 4.1

History

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

XG1X9M6T9R XG1X9M6T9R

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

Mentions

arxiv: arXiv 2610.06755#37CH (statement). In DKEX05SEXS/e1, lemma 5.7

History

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

Kiran Kedlaya XG1ZMPETD5

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#0ADL, Kiran Kedlaya (topic)

History

2026-11-02: add by m2/dev

XG24YVJVVY XG24YVJVVY

URI	`m2://inv/XG24YVJVVY`
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.14985#E55G (definition). In DGXJW3SCBR/e1, definition 8

History

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

\coqident{Algebra}{DCPO}{isdirected XG26A5EPF2

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

Mentions

arxiv: arXiv 1904.09810#DT98, \coqident{Algebra}{DCPO}{isdirected (definition). In T1VFA7TXPA/e1, definition 5

History

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

Eight Mile, Alabama XG27K5K99W

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

Mentions

wikipedia: Wikipedia List of places with numeric names#YBO3, Eight Mile, Alabama (unknown)

History

2026-11-02: add by m2/dev

Modularity maximization XG2AM0HSD8

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#XLTR, Modularity maximization (definition)

History

2026-11-02: add by m2/dev

List of mathematical topics in quantum theory XG2D93S1GT

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory, List of mathematical topics in quantum theory (topic). Also Wikidata Q13057600

History

2026-11-02: add by m2/dev

Giovanni Vacca XG2QEXSA5T

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#BU1H, Giovanni Vacca (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LKLT, Giovanni Vacca (topic)

History

2026-11-02: add by m2/dev

Adrian Ocneanu XG2RZ3ET8H

URI	`m2://inv/XG2RZ3ET8H`
Kind	definition
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#BTGJ, Adrian Ocneanu (definition)

History

2026-11-02: add by m2/dev

XG2SY4M6BJ XG2SY4M6BJ

URI	`m2://inv/XG2SY4M6BJ`
Kind	statement
Layer	research
MSC	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.27617#SERS (statement)

History

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

Product of rings XG2ZKTDCSR

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

Mentions

wikipedia: Wikipedia List of commutative algebra topics#WK87, Product of rings (definition)

History

2026-11-02: add by m2/dev

Taub-NUT metrics on $\C^2$ XG309YRFY2

URI	`m2://inv/XG309YRFY2`
Kind	example
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.24578#888I, Taub-NUT metrics on $\C^2$ (example)

History

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

XG30HGS801 XG30HGS801

URI	`m2://inv/XG30HGS801`
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 1907.01440#ZOYB (statement). In QDRYC6WJJ7/e1, theorem 16

History

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

Ross J. Anderson XG35W80WN2

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

Mentions

wikipedia: Wikipedia Ross J. Anderson, Ross J. Anderson (topic). Also Wikidata Q2167581

History

2026-11-02: add by m2/dev

List of related theorems XG3BZNQ4RC

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

Mentions

wikipedia: Wikipedia Interchange of limiting operations#DPDL, List of related theorems (statement)

History

2026-11-02: add by m2/dev

Shallow approximation lower bound in $L^2(\gamma_n)$ via Hermite tail XG3HEN4GJG

URI	`m2://inv/XG3HEN4GJG`
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.10875#6DVE, Shallow approximation lower bound in $L^2(\gamma_n)$ via Hermite tail (statement). In N91F15MHW1/e1, lemma 22

History

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

Lars Svenonius XG3JM0PC5H

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

Mentions

wikipedia: Wikipedia Lars Svenonius, Lars Svenonius (topic). Also Wikidata Q6491735

History

2026-11-02: add by m2/dev

Definition XG3TGNYWCE

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

Mentions

wikipedia: Wikipedia Rayo's number#KLNF, Definition (definition)

History

2026-11-02: add by m2/dev

centre equality does not imply the Hochschild gate XG40BMVHV4

URI	`m2://inv/XG40BMVHV4`
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.13745#OX6V, centre equality does not imply the Hochschild gate (example). In CFJH0Q39FZ/e1, example 6.2

History

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

Properties XG43QHW750

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

Mentions

wikipedia: Wikipedia Symmetric Boolean function#CBWM, Properties (statement)

History

2026-11-02: add by m2/dev

Statement XG455D9X7M

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

Mentions

wikipedia: Wikipedia Freiheitssatz#OCDL, Statement (statement)

History

2026-11-02: add by m2/dev

James O. Ramsay XG4GKQWX6X

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

Mentions

wikipedia: Wikipedia James O. Ramsay, James O. Ramsay (topic). Also Wikidata Q98549612

History

2026-11-02: add by m2/dev

XG4J0AK9JW XG4J0AK9JW

URI	`m2://inv/XG4J0AK9JW`
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 2303.11021#6E1D (statement). In B2ZK4DF2PM/e1, theorem 1

History

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

XG4KBZ5A81 XG4KBZ5A81

URI	`m2://inv/XG4KBZ5A81`
Kind	conjecture
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.36300#0JZQ (conjecture). In MNWD3Y6W56/e1, conjecture 1.2

History

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

XG4QSDPSHD XG4QSDPSHD

URI	`m2://inv/XG4QSDPSHD`
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#S94B (statement). In DPJ15KW23C/e1, lemma 6.1

History

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

Examples XG4XK2BXKD

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

Mentions

wikipedia: Wikipedia Totally disconnected space#BZ5P, Examples (example)

History

2026-11-02: add by m2/dev

Kuipers performance index XG517PBG00

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#W5YL, Kuipers performance index (unknown)

History

2026-11-02: add by m2/dev

Left invariant vector field XG51PD0FRG

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

Mentions

wikipedia: Wikipedia Lie group#QQGP, Left invariant vector field (unknown)

History

2026-11-02: add by m2/dev

independence of random variables XG53NQEFZW

URI	`m2://inv/XG53NQEFZW`
Kind	unknown
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Independence of random variables 0GQ938GDE0

Mentions

mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > independence of random variables, independence of random variables (unknown). Also Mathlib ProbabilityTheory.iIndepFun
mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > independence of random variables, independence of random variables (unknown). Also Mathlib ProbabilityTheory.iIndepFun

History

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

Otfrid Mittmann XG53YQX90G

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

Mentions

wikipedia: Wikipedia Otfrid Mittmann, Otfrid Mittmann (topic). Also Wikidata Q19666181

History

2026-11-02: add by m2/dev

The classical strong maximum principle for linear elliptic PDE XG54TDV0QZ

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

Mentions

wikipedia: Wikipedia Maximum principle#BW30, The classical strong maximum principle for linear elliptic PDE (statement)

History

2026-11-02: add by m2/dev

Consistency of the reduced separated data XG582X2KGA

URI	`m2://inv/XG582X2KGA`
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.10484#PZFK, Consistency of the reduced separated data (statement). In 5B4AX4SF88/e1, lemma 4.3

History

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

XG5J21FG30 XG5J21FG30

URI	`m2://inv/XG5J21FG30`
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.26948#K5MG (statement)

History

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

Realized information equivalence XG5JRZN00Y

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

Mentions

arxiv: arXiv 2609.20207#BQM8, Realized information equivalence (definition)

History

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

50,000 XG5PYV7VXS

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

Mentions

wikipedia: Wikipedia 50,000, 50,000 (definition). Also Wikidata Q3272021

History

2026-11-02: add by m2/dev

Ollivier-Ricci curvature XG5ZRQFEKH

URI	`m2://inv/XG5ZRQFEKH`
Kind	definition
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 2610.10559#JLTA, Ollivier-Ricci curvature (definition). In WEP0PNJW09/e1, definition 2.2

History

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

XG66B2YW4A XG66B2YW4A

URI	`m2://inv/XG66B2YW4A`
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 2508.17181#9XKU (statement). In 2QR18WK8KH/e1, lemma 8

History

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

XG69J6BJWM XG69J6BJWM

URI	`m2://inv/XG69J6BJWM`
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.18270#AYKC (definition). In CPDMYJ0NJV/e1, definition 3.7

History

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

Dirichlet function XG6B15AZAG

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

Mentions

wikipedia: Wikipedia List of mathematical examples#YMDL, Dirichlet function (definition)

History

2026-11-02: add by m2/dev

Type II admissible support XG6GN1KEGQ

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

Mentions

arxiv: arXiv 2609.26055#JV73, Type II admissible support (definition)

History

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

XG6JNT0C14 XG6JNT0C14

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

Mentions

arxiv: arXiv 2610.09678#EJMA (statement). In 9VG7PNZHZT/e1, lemma 7.1

History

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

Catalan–Dickson conjecture XG6PFR4EMY

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

Mentions

wikipedia: Wikipedia Aliquot sequence#PYOK, Catalan–Dickson conjecture (statement)

History

2026-11-02: add by m2/dev

XG6ZMDRXBG XG6ZMDRXBG

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

Mentions

arxiv: arXiv 2609.30779#SM2Y (statement). In 64V4DXGBKB/e1, lemma 5.3

History

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

XG76YTKY21 XG76YTKY21

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

Mentions

arxiv: arXiv 2610.13877#A7ZE (statement). In NBMA6DBKJG/e1, lemma 6.1

History

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

Good reduction XG7BBDEBSZ

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

Mentions

wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#BBL0, Good reduction (definition)

History

2026-11-02: add by m2/dev

Lie algebra XG7CVVB5RX

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

Mentions

wikidata: Wikidata Q664495, Lie algebra (concept). Also EoM Lie_algebra, MathWorld LieAlgebra, nLab Lie algebra, ProofWiki Definition:Lie_Algebra
wikipedia: Wikipedia Lie algebra, Lie algebra (definition). Also Wikidata Q664495

History

2026-10-26: add by m2/dev

demiregular tiling XG8072S0TD

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

Mentions

wikidata: Wikidata Q15919504, demiregular tiling (unknown). Also MathWorld DemiregularTessellation
wikipedia: Wikipedia Demiregular tiling, Demiregular tiling (definition). Also Wikidata Q15919504

History

2026-10-26: add by m2/dev

XG8AYRDSEQ XG8AYRDSEQ

URI	`m2://inv/XG8AYRDSEQ`
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.22557#6KNA (statement)

History

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

quasi-Hopf algebra XG8F7BBYWG

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

Mentions

wikidata: Wikidata Q2835962, quasi-Hopf algebra (concept). Also nLab quasi-Hopf algebra
wikipedia: Wikipedia Quasi-Hopf algebra, Quasi-Hopf algebra (definition). Also Wikidata Q2835962

History

2026-10-26: add by m2/dev

Tetragonal crystal system XG8MDM4GH8

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

Mentions

wikipedia: Wikipedia Tetragonal crystal system, Tetragonal crystal system (definition). Also Wikidata Q503601

History

2026-11-02: add by m2/dev

XG8T3MJZ0D XG8T3MJZ0D

URI	`m2://inv/XG8T3MJZ0D`
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 2106.01660#PC67 (statement). In DY520CF58X/e1, lemma 7

History

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

Barry Wellman XG8TR9ND6D

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ISXO, Barry Wellman (unknown)

History

2026-11-02: add by m2/dev

List of U.S. counties with shortest life expectancy XG8V19FXCC

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

Mentions

wikipedia: Wikipedia List of U.S. counties with shortest life expectancy, List of U.S. counties with shortest life expectancy (topic). Also Wikidata Q42417264

History

2026-11-02: add by m2/dev

superabundance of a divisor on a surface. XG8V9RM6EN

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#USJ3, superabundance of a divisor on a surface. (definition)

History

2026-11-02: add by m2/dev

XG936M273F XG936M273F

URI	`m2://inv/XG936M273F`
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.32478#NIL3 (statement). In 5QBSYDC2XH/e1, lemma C.1

History

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

Reweighted objective XG93M25TR0

URI	`m2://inv/XG93M25TR0`
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.22752#GMEX, Reweighted objective (statement)

History

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

Approximation formula from series expansions XG94ZE7K3B

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

Mentions

wikipedia: Wikipedia Theoretical gravity#WQZM, Approximation formula from series expansions (statement)

History

2026-11-02: add by m2/dev

trident curve XG98GB7TPT

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

Mentions

wikidata: Wikidata Q3539099, trident curve (unknown). Also MathWorld TridentofNewton
wikipedia: Wikipedia Trident curve, Trident curve (definition). Also Wikidata Q3539099

History

2026-10-26: add by m2/dev

XG98M21FW6 XG98M21FW6

URI	`m2://inv/XG98M21FW6`
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.07828#KH5D (statement). In TWGMVT1N1G/e1, theorem 8.10

History

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

Application of regression-kriging XG9C0M4AAX

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

Mentions

wikipedia: Wikipedia Regression-kriging#BEI6, Application of regression-kriging (example)

History

2026-11-02: add by m2/dev

Dorian Goldfeld XG9MN8BBYY

URI	`m2://inv/XG9MN8BBYY`
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#QO2W, Dorian Goldfeld (topic)

History

2026-11-02: add by m2/dev

Harold S. Shapiro XG9RBM74M6

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

Mentions

wikidata: Wikidata Q3127636, Harold S. Shapiro (unknown). Also MathWorld Rudin-ShapiroSequence
wikipedia: Wikipedia Harold S. Shapiro, Harold S. Shapiro (topic). Also Wikidata Q3127636

History

2026-10-26: add by m2/dev

Cheon--Wanless XG9TR75MP6

URI	`m2://inv/XG9TR75MP6`
Kind	statement
Layer	research
MSC	05-XX, 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.10545#GSQZ, Cheon--Wanless (statement). In ZA75D59G8K/e1, theorem 2.3

History

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

XG9W5QBSZR XG9W5QBSZR

URI	`m2://inv/XG9W5QBSZR`
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.35766#WX84 (statement). In 6638EFW1NG/e1, theorem 1.3

History

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

Definition XG9Y08GPPS

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

Mentions

wikipedia: Wikipedia One-parameter group#0VNG, Definition (definition)

History

2026-11-02: add by m2/dev

Statement XG9ZN8KJDY

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

Mentions

wikipedia: Wikipedia Spanier–Whitehead duality#TH44, Statement (statement)

History

2026-11-02: add by m2/dev

XGA22WYMP1 XGA22WYMP1

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

Mentions

arxiv: arXiv 2411.00562#2DY4 (counterexample). In 99CQPHSSYF/e1, counterexample Counterexample

History

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

Arithmetic Fuchsian group XGA5TWYHT8

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

Mentions

wikipedia: Wikipedia Arithmetic Fuchsian group, Arithmetic Fuchsian group (definition). Also Wikidata Q24894136

History

2026-11-02: add by m2/dev

Theorem XGAGVAXJKW

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

Mentions

wikipedia: Wikipedia Distributed source coding#BM3Z, Theorem (statement)

History

2026-11-02: add by m2/dev

XGANREFJZY XGANREFJZY

URI	`m2://inv/XGANREFJZY`
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.39531#8HNL (statement). In SN9RSTHQ07/e1, theorem H.7

History

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

Distributional null energy condition XGASRW6BMV

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

Mentions

arxiv: arXiv 2610.11911#HJ0Z, Distributional null energy condition (definition). In 5BYE5NYB89/e1, definition 2.18

History

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

Compactness of covering XGAVDQ99KK

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

Mentions

arxiv: arXiv 2608.24190#591K, Compactness of covering (statement). In DW7FVA587C/e1, theorem 4.5

History

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

XGB2GBNSVP XGB2GBNSVP

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

Mentions

arxiv: arXiv 2609.27872#QDJU (definition)

History

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

Ibn Wahshiyya XGB58R5X51

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

Mentions

wikipedia: Wikipedia List of cryptographers#6BQ3, Ibn Wahshiyya (unknown)

History

2026-11-02: add by m2/dev

Michele de Franchis XGB5V2TWFJ

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

Mentions

wikipedia: Wikipedia Michele de Franchis, Michele de Franchis (topic). Also Wikidata Q3856578

History

2026-11-02: add by m2/dev

Sensitivity conjecture XGB9HGRPT7

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

Mentions

wikipedia: Wikipedia Decision tree model#FDAW, Sensitivity conjecture (statement)

History

2026-11-02: add by m2/dev

Generalization XGBE36MT02

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

Mentions

wikipedia: Wikipedia Ziegler spectrum#UO9U, Generalization (statement)

History

2026-11-02: add by m2/dev

Bernard Dacorogna XGBGX0S3T9

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

Mentions

wikipedia: Wikipedia Bernard Dacorogna, Bernard Dacorogna (topic). Also Wikidata Q22021726

History

2026-11-02: add by m2/dev

XGBJE7C1DQ XGBJE7C1DQ

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

Mentions

arxiv: arXiv 2401.07983#FHDZ (statement). In 4WJ9HYVSZY/e1, corollary 2.7

History

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

XGBJSA0HD5 XGBJSA0HD5

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

Mentions

arxiv: arXiv 2610.16844#XMEQ (statement). In MAY0WVXT07/e1, lemma 4.4

History

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

XGBKRPHBB1 XGBKRPHBB1

URI	`m2://inv/XGBKRPHBB1`
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 2508.17181#RDA9 (statement). In 2QR18WK8KH/e1, proposition 2

History

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

Safety XGBQFFWQCK

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

Mentions

arxiv: arXiv 2610.09634#3XLG, Safety (definition). In FH42QK814C/e1, definition 2

History

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

Definition XGBTW9CXZF

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

Mentions

wikipedia: Wikipedia Integration along fibers#HXTJ, Definition (definition)

History

2026-11-02: add by m2/dev

azimuthal angle XGC3MM14B1

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

Mentions

wikidata: Wikidata Q116757767, azimuthal angle (unknown). Also MathWorld Azimuth

History

2026-10-26: add by m2/dev

Robbert Dijkgraaf XGCB24CX0N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#3FXG, Robbert Dijkgraaf (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HP25, Robbert Dijkgraaf (unknown)
wikipedia: Wikipedia List of string theory topics#SYK3, Robbert Dijkgraaf (unknown)

History

2026-11-02: add by m2/dev

XGCDW9BCN1 XGCDW9BCN1

URI	`m2://inv/XGCDW9BCN1`
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.10221#UEIP (definition). In 9Z5M655EPV/e1, definition 2.1

History

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

XGCE9YSS59 XGCE9YSS59

URI	`m2://inv/XGCE9YSS59`
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.21403#F7JW (statement)

History

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

$n$-type, definable in type theory XGCEZFPZ5B

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

Mentions

hott_book: hott_book index/9.11/n-type-definable-in-type-theory, $n$-type, definable in type theory (concept). In N54F33XE07, index, section 9.11

History

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

Neuron XGD0QRR6FZ

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#3TXT, Neuron (unknown)

History

2026-11-02: add by m2/dev

XGD775GTCE XGD775GTCE

URI	`m2://inv/XGD775GTCE`
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.04675#BWQW (statement). In RDXNFF2CZP/e1, proposition 20

History

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

XGD9QY5NXB XGD9QY5NXB

URI	`m2://inv/XGD9QY5NXB`
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#Z954 (statement). In 6HKGGCMBCK/e1, lemma 6.5

History

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

\bf Broadcast graph XGDC4VFZBS

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

Mentions

arxiv: arXiv 2610.08202#6SU8, \bf Broadcast graph (definition). In N7XJ16700B/e1, definition 9

History

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

Covariant transformation XGDF80MHQK

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

Mentions

wikipedia: Wikipedia Covariant transformation, Covariant transformation (definition). Also Wikidata Q362640

History

2026-11-02: add by m2/dev

XGDGZ9CWJA XGDGZ9CWJA

URI	`m2://inv/XGDGZ9CWJA`
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.29631#WWPH (statement)

History

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

XGDJ9K25HR XGDJ9K25HR

URI	`m2://inv/XGDJ9K25HR`
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 2504.14383#8IK9 (statement). In QD0X3XJS6T/e1, lemma 7.19

History

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

Application to extensiveness of power law potential XGDPT7PT9G

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

Mentions

wikipedia: Wikipedia Shortcut model#B1NI, Application to extensiveness of power law potential (statement)

History

2026-11-02: add by m2/dev

covariant derivative XGDRJHV5M8

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

Mentions

wikipedia: Wikipedia Geometric calculus#MUUD, covariant derivative (definition)

History

2026-11-02: add by m2/dev

XGDXADB7KS XGDXADB7KS

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#example-2 (example). In E59CDZA4DP, example, section 6.2.1

History

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

Add-and-Remove construction XGDZ8GRXJ9

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

Mentions

arxiv: arXiv 2610.03460#ALTU, Add-and-Remove construction (definition). In 54HWP298DG/e1, definition 2

History

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

Visibility and the subcritical success exponent XGE0FT5TB7

URI	`m2://inv/XGE0FT5TB7`
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.30808#W2BQ, Visibility and the subcritical success exponent (statement). In 4JCFPV48VG/e1, theorem 3.1

History

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

XGEDFPN4BK XGEDFPN4BK

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

Mentions

arxiv: arXiv 2506.09840#WOSO (statement). In Y7TWHSF2HC/e1, proposition 4.1

History

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

XGEFF5HBHP XGEFF5HBHP

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

Mentions

arxiv: arXiv 2610.04694#OCJJ (statement). In W9A0Z2NBMA/e1, theorem 12

History

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

quarto- XGEPYKYWW1

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#NODX, quarto- (definition)

History

2026-11-02: add by m2/dev

XGES60N27S XGES60N27S

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

Mentions

arxiv: arXiv 2609.21052#2QTF (statement)

History

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

Bi-concave diverging lens XGF437RVNF

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

Mentions

wikipedia: Wikipedia Lens#N8Q5, Bi-concave diverging lens (unknown)

History

2026-11-02: add by m2/dev

Symbolic dynamics XGF45GGR00

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

Mentions

wikipedia: Wikipedia Symbolic dynamics, Symbolic dynamics (definition). Also Wikidata Q1350838

History

2026-11-02: add by m2/dev

Chain sequence XGF4XTTSZH

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

Mentions

wikipedia: Wikipedia Chain sequence, Chain sequence (definition). Also Wikidata Q5067960

History

2026-11-02: add by m2/dev

Properties XGF6W3WFP0

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

Mentions

wikipedia: Wikipedia Elementary matrix#F1ZQ, Properties (statement)

History

2026-11-02: add by m2/dev

XGF8NR8D55 XGF8NR8D55

URI	`m2://inv/XGF8NR8D55`
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.26951#TTRD (statement)

History

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

XGFG8EZTHD XGFG8EZTHD

URI	`m2://inv/XGFG8EZTHD`
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.35836#JGD3 (statement). In Z79B37XGE9/e1, theorem 1

History

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

Derrick Niederman XGFGDBE8HV

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

Mentions

wikipedia: Wikipedia Derrick Niederman, Derrick Niederman (topic). Also Wikidata Q5263066

History

2026-11-02: add by m2/dev

M. Ram Murty XGFMH74JY2

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#N3AH, M. Ram Murty (topic)

History

2026-11-02: add by m2/dev

XGFRG8AYBE XGFRG8AYBE

URI	`m2://inv/XGFRG8AYBE`
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.09650#JCYZ (statement). In 628KM8869P/e1, theorem 6.11

History

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

XGG19F2WXQ XGG19F2WXQ

URI	`m2://inv/XGG19F2WXQ`
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.40054#8ADM (statement). In CA4C9PFM1E/e1, corollary 4.2.2

History

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

Base change theorems XGG2BRE1XC

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

Mentions

wikipedia: Wikipedia List of theorems#LKB8, Base change theorems (statement)

History

2026-11-02: add by m2/dev

XGG8K21F58 XGG8K21F58

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

Mentions

arxiv: arXiv 2609.37967#6TZ6 (example). In BR2E3CXQE0/e1, example 4.2

History

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

L. Gustave du Pasquier XGGCVBF07T

URI	`m2://inv/XGGCVBF07T`
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#2MAZ, L. Gustave du Pasquier (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GJT5, L. Gustave du Pasquier (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JRMG, L. Gustave du Pasquier (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L6Z9, L. Gustave du Pasquier (topic)

History

2026-11-02: add by m2/dev

XGGEREJ7FX XGGEREJ7FX

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

Mentions

arxiv: arXiv 2610.07280#BO3P (problem). In 1FJKW4WGEN/e1, problem 5.1

History

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

XGGP1EGHFY XGGP1EGHFY

URI	`m2://inv/XGGP1EGHFY`
Kind	conjecture
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.00247#VVQO (conjecture). In ZAM4S2XS9F/e1, conjecture C.4

History

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

Louis Eisenberg XGGP9BYP8Y

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#K1OA, Louis Eisenberg (unknown)

History

2026-11-02: add by m2/dev

Gilbert Strang XGGTZRG8B4

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

Mentions

wikipedia: Wikipedia Gilbert Strang, Gilbert Strang (topic). Also Wikidata Q1364803

History

2026-11-02: add by m2/dev

convex hull of a subset of an affine real space XGH6BZRKJE

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

Mentions

mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Convexity > convex hull of a subset of an affine real space, convex hull of a subset of an affine real space (unknown). Also Mathlib convexHull

History

2026-10-26: add by m2/dev

XGH96CJSGJ XGH96CJSGJ

URI	`m2://inv/XGH96CJSGJ`
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.38493#BJRL (statement). In WTA8VGP6B1/e1, lemma 2.3

History

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

Computation XGH9WJGQMX

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

Mentions

wikipedia: Wikipedia Chinese remainder theorem#M8WQ, Computation (definition)

History

2026-11-02: add by m2/dev

A nonsingular upper triangular (NUT) matrix $\mathcal{U}_\theta$ XGHBYC6ME2

URI	`m2://inv/XGHBYC6ME2`
Kind	definition
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.12691#18HJ, A nonsingular upper triangular (NUT) matrix $\mathcal{U}_\theta$ (definition). In YVQKT91MYN/e1, definition 5

History

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

XGHEFC00FW XGHEFC00FW

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

Mentions

arxiv: arXiv 2610.07401#MM2S (statement). In FQ5435B36D/e1, corollary 5.6

History

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

RGB color model XGHRJHCK2N

URI	`m2://inv/XGHRJHCK2N`
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#W4JG, RGB color model (unknown)

History

2026-11-02: add by m2/dev

XGHZWJHSEG XGHZWJHSEG

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

Mentions

arxiv: arXiv 2610.10365#PPZX (statement). In PRVQPSBVHK/e1, proposition 14

History

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

Bochner's theorem XGJ6XE5BBP

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

Mentions

wikipedia: Wikipedia Positive-definite function#1HTI, Bochner's theorem (statement)

History

2026-11-02: add by m2/dev

(Elveden #38) XGJMJVM0HG

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#VECP, (Elveden #38) (unknown)

History

2026-11-02: add by m2/dev

Limiting distributions of realized coverage XGJR4CM0YY

URI	`m2://inv/XGJR4CM0YY`
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.33868#1TX0, Limiting distributions of realized coverage (statement). In 7TQ3XH3X79/e1, theorem 6

History

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

Log-Harnack inequality XGJY283DGJ

URI	`m2://inv/XGJY283DGJ`
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 2303.10636#ZUSR, Log-Harnack inequality (statement). In 9SV2RAEPXM/e1, theorem 6.3

History

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

Haïm Brezis XGK15H87PE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#RY5R, Haïm Brezis (topic)

History

2026-11-02: add by m2/dev

Symmetrization; cf.\ XGK8QE6B66

URI	`m2://inv/XGK8QE6B66`
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.15421#I42D, Symmetrization; cf.\ (statement). In 3RBKH0DA74/e1, lemma 2.10

History

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

XGKFAV1H3Q XGKFAV1H3Q

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

Mentions

arxiv: arXiv 2610.03373#GQFU (statement). In ZA7DBT3NWR/e1, lemma 3.11

History

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

Vysochanskij–Petunin inequality XGKJC0NDBP

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

Mentions

wikipedia: Wikipedia Chebyshev's inequality#TS8U, Vysochanskij–Petunin inequality (statement)

History

2026-11-02: add by m2/dev

smash product XGKWHWNKNA

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#6NUO, smash product (definition)

History

2026-11-02: add by m2/dev

Nested case-control study XGKXRHBW2S

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

Mentions

wikipedia: Wikipedia List of statistics articles#8HG4, Nested case-control study (definition)

History

2026-11-02: add by m2/dev

Suslin tree XGM1H6Z3MQ

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

Mentions

wikipedia: Wikipedia Suslin tree, Suslin tree (definition). Also Wikidata Q7649127

History

2026-11-02: add by m2/dev

Wireless Transport Layer Security XGMGJXTZF8

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

Mentions

wikipedia: Wikipedia Wireless Transport Layer Security, Wireless Transport Layer Security (definition). Also Wikidata Q1476032

History

2026-11-02: add by m2/dev

Symplectic sum XGMNHAHRRY

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

Mentions

wikipedia: Wikipedia Symplectic sum, Symplectic sum (definition). Also Wikidata Q7661848

History

2026-11-02: add by m2/dev

List of algorithms XGMXNJ5RHD

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#16PZ, List of algorithms (topic)
wikipedia: Wikipedia List of theorems#RJFU, List of algorithms (topic)

History

2026-11-02: add by m2/dev

Definitions XGMY6DXMH3

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

Mentions

wikipedia: Wikipedia Field of sets#Q5YK, Definitions (definition)

History

2026-11-02: add by m2/dev

Type-based controllability is permutation invariance XGNA4HRME6

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

Mentions

arxiv: arXiv 2610.21653#N4Z3, Type-based controllability is permutation invariance (statement). In 266RE655Z2/e1, proposition 1

History

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

Baer ring XGNC15CRYA

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

Mentions

wikipedia: Wikipedia Baer ring, Baer ring (definition). Also Wikidata Q4841294

History

2026-11-02: add by m2/dev

Counting quantification XGNDNPSDX1

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

Mentions

wikipedia: Wikipedia Counting quantification, Counting quantification (definition). Also Wikidata Q5177156

History

2026-11-02: add by m2/dev

Susan Murphy XGP47VCS7W

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

Mentions

wikipedia: Wikipedia Susan Murphy, Susan Murphy (topic). Also Wikidata Q16733037

History

2026-11-02: add by m2/dev

Variants XGP7985T3X

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

Mentions

wikipedia: Wikipedia Logarithmic Sobolev inequalities#F7HP, Variants (statement)

History

2026-11-02: add by m2/dev

XGP7HN6A67 XGP7HN6A67

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

Mentions

arxiv: arXiv 2207.05628#W290 (statement). In 9JPKTEWW4W/e1, proposition 3.18

History

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

XGP8AD7DG3 XGP8AD7DG3

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

Mentions

open_logic: open_logic content/lambda-calculus/introduction/primitive-recursion.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 37.5

History

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

XGP9Z460YK XGP9Z460YK

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

Mentions

open_logic: open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#prop:noinit (statement). In PKGMM3P5QY, prop, section 62.6

History

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

Collapse beyond the radial corruption margin XGPA0WY0KY

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

Mentions

arxiv: arXiv 2610.15202#K30S, Collapse beyond the radial corruption margin (statement). In X1FPG0KYBM/e1, proposition K.7

History

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

Argument from silence XGPE8HP2XF

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

Mentions

wikipedia: Wikipedia Argument from silence, Argument from silence (definition). Also Wikidata Q2464035

History

2026-11-02: add by m2/dev

XGPZWZW7P4 XGPZWZW7P4

URI	`m2://inv/XGPZWZW7P4`
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#HTHB (statement). In VWNB6QJWFN/e1, lemma 5.2

History

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

Exact coloring XGQ0EP2QT4

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

Mentions

wikipedia: Wikipedia Exact coloring, Exact coloring (definition). Also Wikidata Q5419220

History

2026-11-02: add by m2/dev

p-adic integer XGQDGZ7VN5

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

Mentions

wikidata: Wikidata Q11756524, p-adic integer (unknown). Also MathWorld p-adicInteger, nLab p-adic integer

History

2026-10-26: add by m2/dev

Closed braid XGQDQS4NHH

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

Mentions

wikipedia: Wikipedia Braid group#HDVE, Closed braid (unknown)

History

2026-11-02: add by m2/dev

Krenn--Gu Conjecture XGQKEZZH08

URI	`m2://inv/XGQKEZZH08`
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 2610.22190#HLDV, Krenn--Gu Conjecture (conjecture). In AM6Y5W3HGG/e1, conjecture 5

History

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

XGQRGN26ZF XGQRGN26ZF

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

Mentions

arxiv: arXiv 2610.14450#T5CS (statement). In ZHTGQT07PE/e1, lemma 4.7

History

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

Mere exposure effect XGQTQJ921N

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

Mentions

wikipedia: Wikipedia List of cognitive biases#LZ0F, Mere exposure effect (unknown)

History

2026-11-02: add by m2/dev

XGQWRMCFNK XGQWRMCFNK

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

Mentions

arxiv: arXiv 2609.27078#Y4E6 (statement)

History

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

Derived affine Stokes theorem XGR189YC2X

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

Mentions

arxiv: arXiv 2609.27799#EHIK, Derived affine Stokes theorem (statement)

History

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

mid-point of class XGR4MHRG6S

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

Mentions

wikidata: Wikidata Q112913419, mid-point of class (concept). Also MathWorld ClassMark

History

2026-10-26: add by m2/dev

Applications XGR90KBWWX

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

Mentions

wikipedia: Wikipedia Mathematical optimization#8RD7, Applications (example)

History

2026-11-02: add by m2/dev

XGR92M1R09 XGR92M1R09

URI	`m2://inv/XGR92M1R09`
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.05708#79FN (statement). In 3BJPFGJNSS/e1, lemma 5.4

History

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

XGRKENJA49 XGRKENJA49

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

Mentions

hott_book: hott_book hits.tex#proof-1 (proof). In N54F33XE07, proof, section 5.2

History

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

XGRQ2D5F7N XGRQ2D5F7N

URI	`m2://inv/XGRQ2D5F7N`
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 2007.14459#NRQL (statement). In SGQ7VFEZ22/e1, theorem 3.13

History

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

topological, space XGRXH78SHH

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

Mentions

hott_book: hott_book index/1/topological-space, topological, space (concept). In N54F33XE07, index, section 1

History

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

Labourie XGRXKHXSA7

URI	`m2://inv/XGRXKHXSA7`
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#KWKZ, Labourie (statement). In VNE8N0D2FB/e1, theorem 4.11

History

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

XGRZY32J47 XGRZY32J47

URI	`m2://inv/XGRZY32J47`
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.22777#V8RO (statement)

History

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

XGS19TJEAE XGS19TJEAE

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

Mentions

austin_ula: austin_ula src/section4-3.xml#example-4 (example). In 649HGZKE96, example, section 4.3.2

History

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

Projective determinacy XGS285B52C

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

Mentions

wikipedia: Wikipedia Projective determinacy, Projective determinacy (definition). Also Wikidata Q4830557

History

2026-11-02: add by m2/dev

Pollination XGSB0JJKJ8

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#6JVF, Pollination (unknown)

History

2026-11-02: add by m2/dev

XGSEY2A51T XGSEY2A51T

URI	`m2://inv/XGSEY2A51T`
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 2609.36418#SL2T (statement). In 7GBRPD97HY/e1, theorem 3.1

History

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

Polar reciprocation XGSN5Q6FFK

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

Mentions

wikipedia: Wikipedia Pole and polar#E7RV, Polar reciprocation (unknown)

History

2026-11-02: add by m2/dev

Brown measure of matrix-valued semicircular elements XGSPVVMZ0J

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

Mentions

arxiv: arXiv 2610.15180#DD35, Brown measure of matrix-valued semicircular elements (statement). In AMRWRJDNKJ/e1, corollary 1.5

History

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

XGSSPF98R2 XGSSPF98R2

URI	`m2://inv/XGSSPF98R2`
Kind	statement
Layer	research
MSC	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.21892#3HRN (statement)

History

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

Robert Morris XGT6R3ZQN5

URI	`m2://inv/XGT6R3ZQN5`
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#D6JD, Robert Morris (unknown)

History

2026-11-02: add by m2/dev

Examples XGT7RSC5JD

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

Mentions

wikipedia: Wikipedia Atiyah algebroid#HQDS, Examples (example)

History

2026-11-02: add by m2/dev

XGTDZG9VV0 XGTDZG9VV0

URI	`m2://inv/XGTDZG9VV0`
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.29148#XJ7R (statement)

History

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

Savitch's theorem XGTZ54PHZP

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#L5OP, Savitch's theorem (statement)

History

2026-11-02: add by m2/dev

Hairy ball theorem XGV1KC6P24

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

Mentions

wikipedia: Wikipedia List of theorems#63EJ, Hairy ball theorem (statement)

History

2026-11-02: add by m2/dev

Tychonoff's theorem XGV2QTJR94

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

Mentions

wikipedia: Wikipedia Filters in topology#E6DJ, Tychonoff's theorem (statement)

History

2026-11-02: add by m2/dev

XGV86WA1S6 XGV86WA1S6

URI	`m2://inv/XGV86WA1S6`
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.16680#9KYO (statement). In H29YHXQZV6/e1, theorem

History

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

Invertible sheaf XGV8V7RP57

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#35T8, Invertible sheaf (definition)

History

2026-11-02: add by m2/dev

Wishart distribution XGVBJNAPCQ

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

Mentions

wikipedia: Wikipedia List of statistics articles#46XK, Wishart distribution (definition)

History

2026-11-02: add by m2/dev

XGVQYKE62H XGVQYKE62H

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

Mentions

arxiv: arXiv 2609.33651#CPSN (statement). In 69DBD2HKGK/e1, proposition 5.3

History

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

XGVR3HY38Z XGVR3HY38Z

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

Mentions

arxiv: arXiv 2610.01828#E1EL (statement). In RQMJY73C8Q/e1, lemma V.3

History

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

XGVS4Y6C7S XGVS4Y6C7S

URI	`m2://inv/XGVS4Y6C7S`
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#BOIC (statement). In 672XAVEQ34/e1, corollary 6.1

History

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

XGVSTW69AB XGVSTW69AB

URI	`m2://inv/XGVSTW69AB`
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.17571#HTV8 (statement). In SWFN2HCEE7/e1, lemma 2.8

History

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

Examples XGVVR4MHA0

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

Mentions

wikipedia: Wikipedia Top-down parsing language#RGT8, Examples (example)

History

2026-11-02: add by m2/dev

trivial fiber bundle XGW17CF38G

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

Mentions

wikidata: Wikidata Q123472440, trivial fiber bundle (unknown). Also MathWorld TrivialBundle, nLab trivial fiber bundle

History

2026-10-26: add by m2/dev

B\"{u}chi-Elgot-Trakhtenbrot XGW3JE2DHJ

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

Mentions

arxiv: arXiv 2610.22218#ON7H, B\"{u}chi-Elgot-Trakhtenbrot (statement). In 338GKREFVP/e1, theorem 4

History

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

Newman's conjecture XGWA0ZJSJG

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#IW70, Newman's conjecture (conjecture)

History

2026-11-02: add by m2/dev

Applications XGWCGN6Q0Q

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

Mentions

wikipedia: Wikipedia Gain graph#Y0GS, Applications (example)

History

2026-11-02: add by m2/dev

XGWDMYHMYM XGWDMYHMYM

URI	`m2://inv/XGWDMYHMYM`
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 2304.08149#EYPM (statement). In K16E32N55W/e1, corollary 1.8

History

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

XGWJVPD1Y5 XGWJVPD1Y5

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

Mentions

open_logic: open_logic content/computability/computability-theory/complete-ce-sets.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 2.6

History

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

XGWN6YPYCT XGWN6YPYCT

URI	`m2://inv/XGWN6YPYCT`
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.16358#09E3 (statement). In RJA3YJ9NYK/e1, lemma 2.5

History

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

Permutation code XGWP1VCQXZ

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

Mentions

wikipedia: Wikipedia Permutation code, Permutation code (definition). Also Wikidata Q116188797

History

2026-11-02: add by m2/dev

XGWSDM4F5M XGWSDM4F5M

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

Mentions

arxiv: arXiv 2609.30600#SOF0 (statement). In BKGWH9ZN4J/e1, lemma 4.2

History

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

Electromagnetic four-potential XGXDZR598K

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

Mentions

wikipedia: Wikipedia Electromagnetic four-potential, Electromagnetic four-potential (definition). Also Wikidata Q1190859

History

2026-11-02: add by m2/dev

Plekton XGXJW2371Y

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#GLQ0, Plekton (unknown)

History

2026-11-02: add by m2/dev

Shape holomorphy of the electric far-field XGXNM9QYEA

URI	`m2://inv/XGXNM9QYEA`
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.14888#D0I2, Shape holomorphy of the electric far-field (statement). In GN3ZT9DAD9/e1, corollary 4.2

History

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

XGXYPV0DAK XGXYPV0DAK

URI	`m2://inv/XGXYPV0DAK`
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#5FMC (definition)

History

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

Prime Sierpiński problem XGXZ493CQ9

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

Mentions

wikipedia: Wikipedia List of things named after Wacław Sierpiński#6DIX, Prime Sierpiński problem (conjecture)

History

2026-11-02: add by m2/dev

XGXZPKFQZ7 XGXZPKFQZ7

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

Mentions

arxiv: arXiv 2609.31783#FO88 (statement). In CGNVT4C47F/e1, theorem 2.8

History

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

Computation XGY0ST6YTC

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

Mentions

wikipedia: Wikipedia Hafnian#RJU2, Computation (definition)

History

2026-11-02: add by m2/dev

Arnold Cipher XGY35MHJQK

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

Mentions

wikipedia: Wikipedia Arnold Cipher, Arnold Cipher (definition). Also Wikidata Q4794996

History

2026-11-02: add by m2/dev

XGY3F6KKKG XGY3F6KKKG

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

Mentions

arxiv: arXiv 2610.00843#2D6F (statement). In 1K7M5TD0M2/e1, theorem 1.3

History

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

XGYBQYFC3G XGYBQYFC3G

URI	`m2://inv/XGYBQYFC3G`
Kind	definition
Layer	research
MSC	46-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 1204.5958#THHZ (definition). In XYCBKM4WKY/e1, definition 29

History

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

Kirchhoff's theorem XGYMF3GBA3

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

Mentions

mathlib_1000: mathlib_1000 Q2226691, Kirchhoff's theorem (statement). Also Wikidata Q2226691
thousand_plus: thousand_plus Q2226691, Kirchhoff's theorem (statement). Also Wikidata Q2226691, Wikipedia Kirchhoff's theorem
wikipedia: Wikipedia Kirchhoff's theorem, Kirchhoff's theorem (statement). Also Wikidata Q2226691

History

2026-10-26: add by m2/dev

XGYRZSPT4S XGYRZSPT4S

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

Mentions

arxiv: arXiv 2610.09739#SORQ (statement). In ZYNZ95FSFD/e1, proposition 4.6

History

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

Whittaker–Henderson smoothing XGZ1191404

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

Mentions

wikipedia: Wikipedia Whittaker–Henderson smoothing, Whittaker–Henderson smoothing (definition). Also Wikidata Q133252413

History

2026-11-02: add by m2/dev

XGZ4VHADBK XGZ4VHADBK

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

Mentions

arxiv: arXiv 2610.15926#A7TY (statement). In G0J92BSX4A/e1, theorem 1.1

History

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

Implementations XGZ5G2SYMM

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

Mentions

wikipedia: Wikipedia Nef polygon#GQWZ, Implementations (definition)

History

2026-11-02: add by m2/dev

Examples XGZ8BXZY3R

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

Mentions

wikipedia: Wikipedia Quasiregular element#9OL0, Examples (example)

History

2026-11-02: add by m2/dev

compound of five cubes XGZBXSJSHP

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

Mentions

wikidata: Wikidata Q1105291, compound of five cubes (unknown). Also MathWorld Cube5-Compound
wikipedia: Wikipedia Compound of five cubes, Compound of five cubes (definition). Also Wikidata Q1105291

History

2026-10-26: add by m2/dev

XGZCW81JDV XGZCW81JDV

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

Mentions

arxiv: arXiv 2610.07092#WOBS (statement). In JWNYJVH8XG/e1, corollary 2.10

History

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

OPTICS algorithm XGZJ2SHAS7

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

Mentions

wikipedia: Wikipedia OPTICS algorithm, OPTICS algorithm (definition). Also Wikidata Q2007847

History

2026-11-02: add by m2/dev

XGZKBHH089 XGZKBHH089

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

Mentions

arxiv: arXiv 2512.16003#XCTG (statement). In BJGS6ZCQ12/e1, proposition 9.10

History

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

XGZKH0X26Q XGZKH0X26Q

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

Mentions

arxiv: arXiv 2609.27181#PCPX (statement)

History

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

Sergei Novikov XGZNS3FA3X

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QDMX, Sergei Novikov (topic)

History

2026-11-02: add by m2/dev

XGZPYTS5WR XGZPYTS5WR

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

Mentions

arxiv: arXiv 2609.22077#YY5J (statement)

History

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

Presentism XGZTDFEGSM

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

Mentions

wikipedia: Wikipedia Presentism (historical analysis), Presentism (definition). Also Wikidata Q1842346

History

2026-11-02: add by m2/dev

XGZTZDZXN9 XGZTZDZXN9

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

Mentions

arxiv: arXiv 2208.14274#8TGW (statement). In 2FKE7JPQ76/e1, theorem 4.2

History

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