Inventory rows 6N

Adolph Göpel 6N00G9QRVQ

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

Mentions

wikipedia: Wikipedia List of German mathematicians#9GPM, Adolph Göpel (topic)

History

2026-11-02: add by m2/dev

absolute geometry 6N03T3S49V

URI	`m2://inv/6N03T3S49V`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Absolute geometry VKFPCSRNDH

Mentions

wikidata: Wikidata Q332430, absolute geometry (topic). Also EoM Absolute_geometry, MathWorld AbsoluteGeometry, ProofWiki Definition:Absolute_Geometry
wikipedia: Wikipedia Absolute geometry, Absolute geometry (definition). Also Wikidata Q332430

History

2026-10-26: add by m2/dev

6N07W75WYN 6N07W75WYN

URI	`m2://inv/6N07W75WYN`
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 2311.04609#TRAC (statement). In 66W1NPE62D/e1, theorem 0.7

History

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

Hantzsche–Wendt manifold 6N08D84508

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

Mentions

wikipedia: Wikipedia List of topologies#6QMU, Hantzsche–Wendt manifold (definition)

History

2026-11-02: add by m2/dev

6N0BVX8REW 6N0BVX8REW

URI	`m2://inv/6N0BVX8REW`
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.23279#DBL2 (definition)

History

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

6N0JVWN8K0 6N0JVWN8K0

URI	`m2://inv/6N0JVWN8K0`
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.15378#Y73W (statement). In W4J7ZF6EDN/e1, proposition 6

History

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

Complex systems 6N0NSFH38J

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

Mentions

wikipedia: Wikipedia List of types of systems theory#2133, Complex systems (unknown)

History

2026-11-02: add by m2/dev

Coates--Corti--Iritani--Tseng 6N1009NJXW

URI	`m2://inv/6N1009NJXW`
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#2QQZ, Coates--Corti--Iritani--Tseng (statement). In 8PTDFHV8SQ/e1, theorem 6.3

History

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

6N111914DH 6N111914DH

URI	`m2://inv/6N111914DH`
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 2111.00832#L6U6 (statement). In KM0XEAXFMF/e1, proposition B.1

History

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

6N11ZTCHGS 6N11ZTCHGS

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#proof-6 (proof). In Y91XFCEVHQ, proof, section 4.2.2

History

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

measurable space 6N121HYRFN

URI	`m2://inv/6N121HYRFN`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Measurable space N4KDT83V3S

Mentions

wikidata: Wikidata Q3058218, measurable space (unknown). Also EoM Measurable_space, MathWorld MeasurableSpace, nLab measurable space
wikipedia: Wikipedia Measurable space, Measurable space (definition). Also Wikidata Q3058218

History

2026-10-26: add by m2/dev

Levels of the Escape Function Correspond to Perturbations 6N1EE95N8V

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

Mentions

arxiv: arXiv 2609.31352#LNY9, Levels of the Escape Function Correspond to Perturbations (statement). In SQZGKRDVBX/e1, lemma 4.1

History

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

6N1J03PRTE 6N1J03PRTE

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

Mentions

arxiv: arXiv 2610.04431#RMIO (statement). In 3PSAWXCCJ8/e1, proposition 1

History

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

Beck's theorem 6N1NS4QHWR

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

Mentions

wikipedia: Wikipedia Beck's theorem (geometry)#IJ5Y, Beck's theorem (statement)

History

2026-11-02: add by m2/dev

6N1WFA2CVJ 6N1WFA2CVJ

URI	`m2://inv/6N1WFA2CVJ`
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 2109.08858#4UXD (statement). In E6795TKR6R/e1, lemma 17

History

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

Continuum 6N1YVM1Q2Q

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

Mentions

wikipedia: Wikipedia Continuum (topology), Continuum (definition). Also Wikidata Q5165551

History

2026-11-02: add by m2/dev

Formula 6N1ZFTPD8W

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

Mentions

open_logic: open_logic content/propositional-logic/syntax-and-semantics/formulas.tex#defn:formulas, Formula (definition). In PKGMM3P5QY, defn, section 62.4

History

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

Marcum Q-function 6N2457W3WH

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

Mentions

wikipedia: Wikipedia List of statistics articles#FIXU, Marcum Q-function (definition)

History

2026-11-02: add by m2/dev

Phase-robust sector bound 6N2CWK1KYH

URI	`m2://inv/6N2CWK1KYH`
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.04271#AUMH, Phase-robust sector bound (statement). In WBXAW9G4JB/e1, theorem B.3

History

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

6N2HW9ZJ95 6N2HW9ZJ95

URI	`m2://inv/6N2HW9ZJ95`
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.35320#766F (statement). In QJ6AEW93RB/e1, theorem 1.5

History

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

Mathieu Lewin 6N2MVCS7PX

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

Mentions

wikipedia: Wikipedia Mathieu Lewin, Mathieu Lewin (topic). Also Wikidata Q1908633

History

2026-11-02: add by m2/dev

Gekko 6N2XYSKYJY

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#DVVQ, Gekko (definition)

History

2026-11-02: add by m2/dev

6N30EQ3VY8 6N30EQ3VY8

URI	`m2://inv/6N30EQ3VY8`
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.04165#BZLZ (statement). In PKN283MHF8/e1, proposition 2.1

History

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

Example 6N339WDZ2B

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

Mentions

wikipedia: Wikipedia Tape diagram#CSQW, Example (example)

History

2026-11-02: add by m2/dev

6N37Y1MY45 6N37Y1MY45

URI	`m2://inv/6N37Y1MY45`
Kind	definition
Layer	research
MSC	54-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.15099#YFUO (definition). In PF5JJ9DS8Q/e1, definition 2.4.3

History

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

logistic equation, solution 6N3A63NR8D

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

Mentions

active_calculus: active_calculus index/7.6.3/logistic-equation-solution, logistic equation, solution (concept). In 907G4C4EJ1, index, section 7.6.3

History

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

Quadratic form 6N3H25Y08J

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

Mentions

wikipedia: Wikipedia Quadratic form (statistics), Quadratic form (definition). Also Wikidata Q7268361

History

2026-11-02: add by m2/dev

Theorem 6N3HSDSHMV

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

Mentions

wikipedia: Wikipedia Calculus on Euclidean space#3D3T, Theorem (statement)

History

2026-11-02: add by m2/dev

6N3MT2JRCS 6N3MT2JRCS

URI	`m2://inv/6N3MT2JRCS`
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#AZNK (statement). In QD0X3XJS6T/e1, lemma 6.7

History

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

6N3PJ4EW10 6N3PJ4EW10

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

Mentions

arxiv: arXiv 2609.20665#J66Q (example)

History

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

6N3T1NSHCC 6N3T1NSHCC

URI	`m2://inv/6N3T1NSHCC`
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.25823#SZDJ (statement)

History

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

6N3X1CB02M 6N3X1CB02M

URI	`m2://inv/6N3X1CB02M`
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.08658#2PM2 (statement). In 7PK5WS7246/e1, lemma 5.4

History

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

Hans Lewy 6N43RYGQJ8

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#0T4X, Hans Lewy (topic)

History

2026-11-02: add by m2/dev

6N46ZJEE5C 6N46ZJEE5C

URI	`m2://inv/6N46ZJEE5C`
Kind	statement
Layer	research
MSC	51-XX, 52-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 2103.14389#ZDIX (statement). In NAMCCRM50R/e1, lemma A.1

History

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

Mayer-Vietoris long exact sequence, provisional version 6N490D7FWB

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

Mentions

napkin: napkin tex/homology/long-exact.tex#example-2, Mayer-Vietoris long exact sequence, provisional version (example). In RZP28ERRZV, example, section 54.2

History

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

Zongben Xu 6N498NEDBA

URI	`m2://inv/6N498NEDBA`
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#NLBE, Zongben Xu (unknown)

History

2026-11-02: add by m2/dev

6N4BB3VXQG 6N4BB3VXQG

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

Mentions

arxiv: arXiv 2609.30200#JWZN (definition)

History

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

An example 6N4EGW6SRP

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

Mentions

wikipedia: Wikipedia Correlated equilibrium#FSQG, An example (example)

History

2026-11-02: add by m2/dev

Athreya--Tribe approximation 6N4KJ3T6F3

URI	`m2://inv/6N4KJ3T6F3`
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.02669#S7FD, Athreya--Tribe approximation (statement). In NSBSWH6XB4/e1, corollary 3.11

History

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

6N4N2N53W3 6N4N2N53W3

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

Mentions

arxiv: arXiv 2609.24041#R51P (statement)

History

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

6N4S7DMY3P 6N4S7DMY3P

URI	`m2://inv/6N4S7DMY3P`
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 2610.01433#IZKO (definition). In 160PQ7F1AS/e1, definition 4.28

History

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

6N4WDPNSZ8 6N4WDPNSZ8

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/truth-at-w.tex#probtag-1 (exercise). In PKGMM3P5QY, probtag, section 55.2

History

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

6N52PKNFC1 6N52PKNFC1

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

Mentions

arxiv: arXiv 2610.22074#VEHU (statement). In F3BKXXPR3K/e1, lemma 3.39

History

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

Self reducibility 6N54DCK41Y

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

Mentions

wikipedia: Wikipedia Function problem#I2GL, Self reducibility (unknown)

History

2026-11-02: add by m2/dev

6N584770BT 6N584770BT

URI	`m2://inv/6N584770BT`
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 2310.15716#1RGI (statement). In 7WDA4MEWE2/e1, theorem 1.4

History

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

6N5EP7J5CH 6N5EP7J5CH

URI	`m2://inv/6N5EP7J5CH`
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.26713#4KVL (statement)

History

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

6N5FCP7S0H 6N5FCP7S0H

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

Mentions

arxiv: arXiv 2610.22268#YV36 (statement). In 9ZD87293QS/e1, lemma 3.1

History

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

BEST theorem 6N5GBZG6G8

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

Mentions

wikipedia: Wikipedia List of theorems#Q69N, BEST theorem (statement)

History

2026-11-02: add by m2/dev

6N5WFANGGN 6N5WFANGGN

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

Mentions

arxiv: arXiv 2609.23167#XYZA (statement)

History

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

6N61E5V3YT 6N61E5V3YT

URI	`m2://inv/6N61E5V3YT`
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.01015#4710 (statement). In PSH07NKZ62/e1, proposition 8

History

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

continuity principle, first version 6N6793CWZ4

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

Mentions

lebl_scv: lebl_scv index/2.1/continuity-principle-first-version, continuity principle, first version (concept). In VNMV985MXX, index, section 2.1

History

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

Theorem 6N67C1EQPK

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

Mentions

wikipedia: Wikipedia Chromatic symmetric function#RGQ7, Theorem (statement)

History

2026-11-02: add by m2/dev

6N6HFTV0FN 6N6HFTV0FN

URI	`m2://inv/6N6HFTV0FN`
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.20237#FDH2 (statement)

History

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

Rational residue identity 6N6J8VG548

URI	`m2://inv/6N6J8VG548`
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.30301#71T8, Rational residue identity (statement). In 7NS75J7HAM/e1, corollary 9.12

History

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

6N6TB8J5EN 6N6TB8J5EN

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

Mentions

arxiv: arXiv 2111.09700#KUZR (statement). In XCSQ27P0XW/e1, lemma 4.3

History

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

Dissipation factor 6N76PDPB0S

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

Mentions

wikipedia: Wikipedia Dissipation factor, Dissipation factor (definition). Also Wikidata Q1040795

History

2026-11-02: add by m2/dev

6N7BNG601X 6N7BNG601X

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-10 (exercise). In E9HS8K3A52, exercise, section 10.1.6

History

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

6N7BTQ8FQC 6N7BTQ8FQC

URI	`m2://inv/6N7BTQ8FQC`
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.39293#JQWI (statement). In S26QVW5613/e1, corollary 5.4.14

History

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

José 6N7CRS82PW

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

Mentions

wikipedia: Wikipedia List of twin teammates in sports#Z935, José (unknown)

History

2026-11-02: add by m2/dev

6N7DZ05X1W 6N7DZ05X1W

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

Mentions

arxiv: arXiv 2610.05259#A291 (statement). In X1J5HKPS3R/e1, theorem 2.19

History

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

Meta-analysis 6N7QC3889N

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

Mentions

wikipedia: Wikipedia List of unsolved problems in statistics#2MF9, Meta-analysis (definition)

History

2026-11-02: add by m2/dev

6N7QZJVVB1 6N7QZJVVB1

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

Mentions

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

History

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

6N7V2PZE63 6N7V2PZE63

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

Mentions

arxiv: arXiv 2609.34856#Z07O (statement). In MRR92GQNZE/e1, theorem B

History

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

Marina Nielsen 6N7YS7D3NH

URI	`m2://inv/6N7YS7D3NH`
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 Q58337655, Marina Nielsen (unknown). Also nLab Marina Nielsen

History

2026-10-26: add by m2/dev

6N7YVY9TFM 6N7YVY9TFM

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

Mentions

open_logic: open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 62.7

History

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

6N802PZ1XT 6N802PZ1XT

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

Mentions

arxiv: arXiv 2609.32174#WMD1 (statement). In GHKR740SG3/e1, proposition 15.9

History

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

Doomsday argument 6N88BC8XS5

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

Mentions

wikipedia: Wikipedia List of unsolved problems in statistics#TLIV, Doomsday argument (definition)

History

2026-11-02: add by m2/dev

6N8A7GJ7W2 6N8A7GJ7W2

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

Mentions

arxiv: arXiv 2610.04870#O6KZ (statement). In X765ZXXVC3/e1, lemma 5.14

History

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

Cantor's theorem 6N8GCMTVVC

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

Mentions

hott_book: hott_book index/C.2/cantor-s-theorem, Cantor's theorem (concept). In N54F33XE07, index, section C.2

History

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

Thymaridas 6N8WB8R3BB

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#JI2N, Thymaridas (unknown)

History

2026-11-02: add by m2/dev

The Computer and the Brain 6N8X5T8RSK

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

Mentions

wikipedia: Wikipedia List of scientific publications by John von Neumann#PHV0, The Computer and the Brain (unknown)

History

2026-11-02: add by m2/dev

Tensors (image analysis) 6N940RF075

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

Mentions

wikipedia: Wikipedia Diffusion-weighted magnetic resonance imaging#8K8P, Tensors (image analysis) (unknown)

History

2026-11-02: add by m2/dev

6N95XVS7GQ 6N95XVS7GQ

URI	`m2://inv/6N95XVS7GQ`
Kind	statement
Layer	research
MSC	05-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.23106#8OKI (statement)

History

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

6N9TYC1WPZ 6N9TYC1WPZ

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

Mentions

active_calculus: active_calculus source/sec-5-2-FTC2.xml#example-1 (example). In 907G4C4EJ1, example, section 5.2.3

History

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

6NAD5T70PZ 6NAD5T70PZ

URI	`m2://inv/6NAD5T70PZ`
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#HBO8 (statement). In FQ5435B36D/e1, proposition 4.4

History

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

6NAH6BBF6J 6NAH6BBF6J

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

Mentions

arxiv: arXiv 2609.27270#P2SA (statement)

History

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

Hierarchical agglomerative clustering 6NAHA79XWQ

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

Mentions

arxiv: arXiv 2609.21985#KBCI, Hierarchical agglomerative clustering (definition)

History

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

6NANBBPS1D 6NANBBPS1D

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

Mentions

arxiv: arXiv 2310.06695#DV5U (statement). In D6F8XGF5SS/e1, theorem B

History

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

6NANH5SPY8 6NANH5SPY8

URI	`m2://inv/6NANH5SPY8`
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.20758#I0JA (statement). In PG0B4PH9YH/e1, theorem 3.8

History

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

6NAQ9K42QP 6NAQ9K42QP

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

Mentions

arxiv: arXiv math/9902147#YCSX (statement). In 7CK21JGM5A/e1, corollary 3.17

History

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

Journal of Algebraic Geometry 6NAQFNSEX5

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

Mentions

wikipedia: Wikipedia American Mathematical Society#6K3R, Journal of Algebraic Geometry (unknown)

History

2026-11-02: add by m2/dev

6NAYKY1GA2 6NAYKY1GA2

URI	`m2://inv/6NAYKY1GA2`
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.20345#DN2X (statement). In WVRRST04WS/e1, theorem 18

History

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

K. C. Sreedharan Pillai 6NB0S9M0G3

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#WHLL, K. C. Sreedharan Pillai (unknown)

History

2026-11-02: add by m2/dev

6NB35R2AT1 6NB35R2AT1

URI	`m2://inv/6NB35R2AT1`
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.05631#HAMB (statement). In M7NEWDTM32/e1, lemma 4.1

History

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

Preorder field 6NB9E3BEA9

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

Mentions

wikipedia: Wikipedia Field of sets#U1JI, Preorder field (unknown)

History

2026-11-02: add by m2/dev

6NBAXJQ7MK 6NBAXJQ7MK

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

Mentions

arxiv: arXiv 2106.06387#1Z9P (unknown). In 4YJH4FPWDA/e1, unknown 4.4

History

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

Telephone number 6NBCW490GD

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

Mentions

wikipedia: Wikipedia List of recreational number theory topics#6L48, Telephone number (definition)

History

2026-11-02: add by m2/dev

Scalar Multiplication and Vector Addition 6NBTM3G96D

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

Mentions

austin_ula: austin_ula src/section2-1.xml#ula-preview-2-1, Scalar Multiplication and Vector Addition (exercise). In 649HGZKE96, exploration, section 2.1.1

History

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

measurable function 6NBZVQXAJJ

URI	`m2://inv/6NBZVQXAJJ`
Kind	definition
Layer	textbook
Sources	4
Outcome	open
Node	Measurable function YYNCJSR0PJ

Mentions

mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > measurable function, measurable function (unknown). Also Mathlib Measurable
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > measurable functions, measurable functions (unknown). Also Mathlib Measurable
wikidata: Wikidata Q516776, measurable function (definition). Also Mathlib Measurable, MathWorld MeasurableFunction, nLab measurable function, ProofWiki Definition:Measurable_Mapping
wikipedia: Wikipedia Measurable function, Measurable function (definition). Also Wikidata Q516776

History

2026-10-26: add by m2/dev

Banach algebra cohomology 6NC2SCXFFY

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

Mentions

wikipedia: Wikipedia Banach algebra cohomology, Banach algebra cohomology (definition). Also Wikidata Q4853760

History

2026-11-02: add by m2/dev

6NC401AYZH 6NC401AYZH

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

Mentions

arxiv: arXiv 2609.24041#N83Z (statement)

History

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

6NC5H33SFZ 6NC5H33SFZ

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

Mentions

arxiv: arXiv 2610.14060#SFGJ (statement). In X47RYAZF8P/e1, corollary 6.12

History

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

6NCF0NY88E 6NCF0NY88E

URI	`m2://inv/6NCF0NY88E`
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.32829#1Z2M (statement). In RYWAX33Z51/e1, lemma 4.14

History

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

6NCK890T7K 6NCK890T7K

URI	`m2://inv/6NCK890T7K`
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 2609.31389#BD93 (statement). In YS0YFQEYE1/e1, lemma 5

History

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

Exact gap formulas 6NCR24HB7B

URI	`m2://inv/6NCR24HB7B`
Kind	statement
Layer	research
MSC	05-XX, 16-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.06739#Y4SJ, Exact gap formulas (statement). In HA9B7PD0YV/e1, theorem 25

History

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

6NCSYSY5T1 6NCSYSY5T1

URI	`m2://inv/6NCSYSY5T1`
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#DCEB (statement). In SN6F0MPPVF/e1, corollary 7.3

History

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

6ND452Z3BX 6ND452Z3BX

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

Mentions

arxiv: arXiv 1002.0879#613U (example). In M0SQY5EZN5/e1, example 2.1.11

History

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

Canonical Folkman Theorem 6ND99RERZZ

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

Mentions

wikipedia: Wikipedia Folkman's theorem#ZM7W, Canonical Folkman Theorem (statement)

History

2026-11-02: add by m2/dev

Cyclotomic identity 6NDMXXRG4G

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

Mentions

wikipedia: Wikipedia Cyclotomic identity, Cyclotomic identity (statement). Also Wikidata Q5199068

History

2026-11-02: add by m2/dev

6NDQ7PCSC1 6NDQ7PCSC1

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

Mentions

arxiv: arXiv 2609.20401#H1A7 (statement)

History

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

6NDR3ZKVNV 6NDR3ZKVNV

URI	`m2://inv/6NDR3ZKVNV`
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.26745#VO9M (statement)

History

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

6NDS120MJF 6NDS120MJF

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

Mentions

arxiv: arXiv 2609.19882#ZQ4M (statement)

History

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

Certification Practice Statement 6NDT9R30JP

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

Mentions

wikipedia: Wikipedia Certification Practice Statement, Certification Practice Statement (definition). Also Wikidata Q5065120

History

2026-11-02: add by m2/dev

Great rhombidodecacron 6NDYTDN6ER

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9541, Great rhombidodecacron (object)

History

2026-11-02: add by m2/dev

Invariant theory 6NE908987A

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#M9DB, Invariant theory (definition)
wikipedia: Wikipedia List of algebraic geometry topics#SQ1S, Invariant theory (definition)
wikipedia: Wikipedia List of commutative algebra topics#ROHD, Invariant theory (definition)

History

2026-11-02: add by m2/dev

6NF0FXECNK 6NF0FXECNK

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

Mentions

arxiv: arXiv 2303.09207#IU33 (definition). In 9DQKY7KGE8/e1, definition 6.27

History

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

6NF0QAPE53 6NF0QAPE53

URI	`m2://inv/6NF0QAPE53`
Kind	statement
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.04325#5VDS (statement). In 42XHT97E64/e1, proposition 8.3

History

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

unbounded operator 6NF1DTF3ZC

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#Q158, unbounded operator (definition)

History

2026-11-02: add by m2/dev

6NF2EF4VEN 6NF2EF4VEN

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

Mentions

arxiv: arXiv 2610.09596#HZL1 (statement). In HXFA55BREZ/e1, lemma 2.16

History

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

Aristotle 6NF2TJYHJ5

URI	`m2://inv/6NF2TJYHJ5`
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 Q868, Aristotle (unknown). Also nLab Aristotle, ProofWiki Mathematician:Aristotle
wikipedia: Wikipedia Aristotle, Aristotle (topic). Also Wikidata Q868

History

2026-10-26: add by m2/dev

Uniform Young concentration 6NF3J4HMHV

URI	`m2://inv/6NF3J4HMHV`
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.35986#9HPE, Uniform Young concentration (statement). In PBX6AMPVT2/e1, lemma 2.1

History

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

Applications 6NF4NCT3K7

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

Mentions

wikipedia: Wikipedia Fuzzy logic#0NAJ, Applications (example)

History

2026-11-02: add by m2/dev

6NF85FVSN5 6NF85FVSN5

URI	`m2://inv/6NF85FVSN5`
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.13580#Z1XE (statement). In KEQ57N9N7Z/e1, theorem 5.2

History

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

List of things named after George Gabriel Stokes 6NFK52WZQV

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#XWMQ, List of things named after George Gabriel Stokes (unknown)

History

2026-11-02: add by m2/dev

6NFMZ9DF7E 6NFMZ9DF7E

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

Mentions

arxiv: arXiv 2508.16102#97MA (statement). In 55QFMZQ5HM/e1, proposition 2.3

History

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

6NFQACB175 6NFQACB175

URI	`m2://inv/6NFQACB175`
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.28046#SFC7 (statement)

History

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

Proof that a relation is transitive 6NFTSSX7NE

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#skeleton-3, Proof that a relation is transitive (proof). In P1C114YBXG, skeleton, section H

History

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

Perfect group 6NFWPZB7X1

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

Mentions

wikipedia: Wikipedia List of group theory topics#8Y4V, Perfect group (definition)

History

2026-11-02: add by m2/dev

6NFWV0DRX1 6NFWV0DRX1

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

Mentions

arxiv: arXiv 2610.16332#IHN6 (statement). In JJQPFXZQ3D/e1, lemma 4.5

History

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

Augmented Lagrangian method 6NFXH5TCGT

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

Mentions

wikipedia: Wikipedia Augmented Lagrangian method, Augmented Lagrangian method (definition). Also Wikidata Q4820432

History

2026-11-02: add by m2/dev

6NG740039T 6NG740039T

URI	`m2://inv/6NG740039T`
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.39948#795V (statement). In 6R7CBG955V/e1, proposition 3.3

History

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

6NG8XF7PDE 6NG8XF7PDE

URI	`m2://inv/6NG8XF7PDE`
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 2610.05193#S65I (example). In XDMM0KNNZ9/e1, example 19

History

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

Smooth base change 6NGA5CRPPA

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

Mentions

wikipedia: Wikipedia Smooth morphism#R6HH, Smooth base change (unknown)

History

2026-11-02: add by m2/dev

Derivator 6NGH2ASY9W

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

Mentions

wikipedia: Wikipedia Derivator, Derivator (definition). Also Wikidata Q5262625

History

2026-11-02: add by m2/dev

Admissible weights 6NGJA8434X

URI	`m2://inv/6NGJA8434X`
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.29671#BCYO, Admissible weights (definition)

History

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

designated value 6NGKJJRPDK

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

Mentions

wikipedia: Wikipedia Glossary of logic#352S, designated value (definition)

History

2026-11-02: add by m2/dev

Definition 6NGPQZ8JGQ

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

Mentions

wikipedia: Wikipedia Stationary process#7PI6, Definition (definition)

History

2026-11-02: add by m2/dev

6NGQT2HCY4 6NGQT2HCY4

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

Mentions

arxiv: arXiv 2610.01346#PO92 (statement). In 44DQ7W1NW9/e1, proposition 4.7

History

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

6NH1MT8E5G 6NH1MT8E5G

URI	`m2://inv/6NH1MT8E5G`
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.21359#TIFV (statement)

History

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

6NH4V1EKYM 6NH4V1EKYM

URI	`m2://inv/6NH4V1EKYM`
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.34339#L310 (statement). In 9WFSTGMQ4E/e1, fact 5.9

History

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

Googolduplex 6NH6Q54JWF

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

Mentions

wikipedia: Wikipedia Names of large numbers#771P, Googolduplex (unknown)

History

2026-11-02: add by m2/dev

6NH8FR5ZKE 6NH8FR5ZKE

URI	`m2://inv/6NH8FR5ZKE`
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.22338#6C6F (statement)

History

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

6NHFVJJB68 6NHFVJJB68

URI	`m2://inv/6NHFVJJB68`
Kind	definition
Layer	research
MSC	05-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.17798#HAFV (definition). In 66H5YPQCYV/e1, definition 3.3

History

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

QPD 6NHTEHA07K

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

Mentions

wikipedia: Wikipedia Glossary of set theory#8UMO, QPD (definition)

History

2026-11-02: add by m2/dev

6NHTVN2PE0 6NHTVN2PE0

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

Mentions

arxiv: arXiv 2609.29450#MR5X (statement)

History

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

6NHVHMJD0R 6NHVHMJD0R

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

Mentions

arxiv: arXiv 2610.02692#0Y1Z (statement). In P482WJSQSN/e1, theorem 1.1

History

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

The law under mixing 6NJ311DB55

URI	`m2://inv/6NJ311DB55`
Kind	statement
Layer	research
MSC	11-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.37368#ZW14, The law under mixing (statement). In FRMCKEGVJZ/e1, theorem 15

History

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

6NJ3TG6X41 6NJ3TG6X41

URI	`m2://inv/6NJ3TG6X41`
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.33015#FUDV (statement). In W6Y6NPK648/e1, lemma 4.14

History

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

Sierpi\'nski gluing data 6NJ4HXNFYZ

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

Mentions

arxiv: arXiv 2609.35102#ON1R, Sierpi\'nski gluing data (example). In XK6H7F2F13/e1, example 3.3

History

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

6NJ7WR8ZZM 6NJ7WR8ZZM

URI	`m2://inv/6NJ7WR8ZZM`
Kind	statement
Layer	research
MSC	30-XX, 32-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 2610.22288#296Y (statement). In X38P26DK6S/e1, proposition 5.25

History

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

6NJ88F2VDT 6NJ88F2VDT

URI	`m2://inv/6NJ88F2VDT`
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.21508#N3N2 (statement)

History

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

Kari Astala 6NJA9Y3ZEZ

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

Mentions

wikipedia: Wikipedia Kari Astala, Kari Astala (topic). Also Wikidata Q22691203

History

2026-11-02: add by m2/dev

Theorem $4.4.9$ 6NJGSFQ15E

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

Mentions

arxiv: arXiv 2609.22847#EZ2D, Theorem $4.4.9$ (statement)

History

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

Chi-square criterion 6NJQ1B8ZMY

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

Mentions

wikipedia: Wikipedia Minimum-distance estimation#UXO9, Chi-square criterion (statement)

History

2026-11-02: add by m2/dev

6NJSQ8X0CQ 6NJSQ8X0CQ

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

Mentions

arxiv: arXiv 2609.37524#KY12 (statement). In 4GTJAPF7Q3/e1, proposition 5.2

History

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

Examples 6NJWG09ZVN

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

Mentions

wikipedia: Wikipedia Automedian triangle#0YX1, Examples (example)

History

2026-11-02: add by m2/dev

6NJY3GKCS0 6NJY3GKCS0

URI	`m2://inv/6NJY3GKCS0`
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#TDWN (statement). In 160PQ7F1AS/e1, lemma 4.26

History

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

6NK0VZ5AVQ 6NK0VZ5AVQ

URI	`m2://inv/6NK0VZ5AVQ`
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.23617#3IBC (statement)

History

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

6NK3FZTDMD 6NK3FZTDMD

URI	`m2://inv/6NK3FZTDMD`
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.07855#RZJO (statement). In 1VT8CVVCM7/e1, proposition 3.5

History

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

6NK4GTRT62 6NK4GTRT62

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#proof-6 (proof). In Y91XFCEVHQ, proof, section 3.5

History

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

P6m symmetry 6NK7QX8762

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

Mentions

wikipedia: Wikipedia Wallpaper group#XBTA, P6m symmetry (unknown)

History

2026-11-02: add by m2/dev

Tilemann Stella 6NKE2KPT36

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

Mentions

wikipedia: Wikipedia Tilemann Stella, Tilemann Stella (topic). Also Wikidata Q1421765

History

2026-11-02: add by m2/dev

6NKPRCM3A5 6NKPRCM3A5

URI	`m2://inv/6NKPRCM3A5`
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.01924#XDOA (statement). In CB89152EQW/e1, lemma 1

History

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

6NKQEME184 6NKQEME184

URI	`m2://inv/6NKQEME184`
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.04809#PYJZ (statement). In 2VHV0RNTNV/e1, proposition 3.5

History

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

Statement 6NKT8T4QBZ

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

Mentions

wikipedia: Wikipedia Anti-integrability#KWA6, Statement (statement)

History

2026-11-02: add by m2/dev

Weyl's theorem on complete reducibility 6NKVZWJHSS

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#YLH4, Weyl's theorem on complete reducibility (statement)

History

2026-11-02: add by m2/dev

Recovery of the previous mixed model 6NM23ZTDCN

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

Mentions

arxiv: arXiv 2609.33021#BDP2, Recovery of the previous mixed model (statement). In GG96DW33Q9/e1, corollary B.4

History

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

Devil's curve 6NM681JJVH

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#RPBD, Devil's curve (definition)
wikipedia: Wikipedia List of curves#LWS3, Devil's curve (definition)

History

2026-11-02: add by m2/dev

6NM76HW8ZJ 6NM76HW8ZJ

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

Mentions

arxiv: arXiv 2610.11823#87UP (statement). In YNQHA63Z2B/e1, corollary 1.2

History

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

William Caspar Graustein 6NMFENXWAB

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

Mentions

wikipedia: Wikipedia William Caspar Graustein, William Caspar Graustein (topic). Also Wikidata Q1229319

History

2026-11-02: add by m2/dev

Spatial-average transform for the diffusive singular field 6NMQHG9XNJ

URI	`m2://inv/6NMQHG9XNJ`
Kind	example
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.31102#4X9P, Spatial-average transform for the diffusive singular field (example). In 7CADATJMAA/e1, example 6.3

History

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

6NMRM2CPTG 6NMRM2CPTG

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

Mentions

arxiv: arXiv 2609.28552#H65D (statement)

History

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

Applications 6NMSRFSV9X

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

Mentions

wikipedia: Wikipedia Reed–Solomon error correction#XKII, Applications (example)

History

2026-11-02: add by m2/dev

6NMZ1ES381 6NMZ1ES381

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

Mentions

arxiv: arXiv 1303.4328#R4A0 (example). In HCTYW6VH87/e1, example B.1

History

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

Kenji Ueno 6NN1T9449Q

URI	`m2://inv/6NN1T9449Q`
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#O2UJ, Kenji Ueno (topic)

History

2026-11-02: add by m2/dev

Voice-over-IP 6NN2DTPXDT

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

Mentions

wikipedia: Wikipedia List of steganography techniques#M9L7, Voice-over-IP (unknown)

History

2026-11-02: add by m2/dev

6NN2T66PR4 6NN2T66PR4

URI	`m2://inv/6NN2T66PR4`
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.33775#QHTK (statement). In VVQ1FMTHXB/e1, lemma 4.1

History

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

Generalized Wronskian 6NN4BQJ2HS

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

Mentions

wikipedia: Wikipedia Wronskian#OI5I, Generalized Wronskian (unknown)

History

2026-11-02: add by m2/dev

Tauberian theorems 6NN4F0F8PZ

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

Mentions

wikipedia: Wikipedia Abelian and Tauberian theorems#KVG5, Tauberian theorems (statement)

History

2026-11-02: add by m2/dev

Mieczysław Biernacki 6NN5TQHA94

URI	`m2://inv/6NN5TQHA94`
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#4TQI, Mieczysław Biernacki (unknown)

History

2026-11-02: add by m2/dev

Order-5 cubic honeycomb 6NN79XS1G9

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

Mentions

wikipedia: Wikipedia Order-5 cubic honeycomb, Order-5 cubic honeycomb (object). Also Wikidata Q7100402

History

2026-11-02: add by m2/dev

biternary 6NNAEXC20Q

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#4ACM, biternary (definition)

History

2026-11-02: add by m2/dev

Supersingular K3 surface 6NNBM14B36

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#VIZ2, Supersingular K3 surface (definition)

History

2026-11-02: add by m2/dev

6NNCRVX7ZV 6NNCRVX7ZV

URI	`m2://inv/6NNCRVX7ZV`
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.33697#HJJ2 (statement). In Q6GGQ29TRC/e1, proposition

History

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

6NNJVTSX3V 6NNJVTSX3V

URI	`m2://inv/6NNJVTSX3V`
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 2610.10338#IGFF (statement). In WZ3GXRAB00/e1, lemma 2.5

History

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

John Woods 6NNKA64PG8

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

Mentions

wikipedia: Wikipedia John Woods (logician), John Woods (topic). Also Wikidata Q6264834

History

2026-11-02: add by m2/dev

Argument principle 6NNKMKBWJE

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

Mentions

lebl_scv: lebl_scv scv.tex#thm:onevarargprinc, Argument principle (statement). In VNMV985MXX, thm, section B

History

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

6NNQARGGQH 6NNQARGGQH

URI	`m2://inv/6NNQARGGQH`
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.12108#33OX (statement). In JQH3FHYPW3/e1, proposition 2.23

History

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

6NNQT2C1QY 6NNQT2C1QY

URI	`m2://inv/6NNQT2C1QY`
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.34283#RP0J (statement). In DF1S2FHKJE/e1, lemma 14

History

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

6NNSG7Z860 6NNSG7Z860

URI	`m2://inv/6NNSG7Z860`
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#327U (definition). In WD2NCBV9F0/e1, definition 21.1

History

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

6NNSGHSKJY 6NNSGHSKJY

URI	`m2://inv/6NNSGHSKJY`
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#3MPM (statement). In JWNYJVH8XG/e1, proposition 2.3

History

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

combinatorialism 6NNY7AY2HW

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

Mentions

wikipedia: Wikipedia Glossary of logic#2E8L, combinatorialism (definition)

History

2026-11-02: add by m2/dev

6NNZ95D4PK 6NNZ95D4PK

URI	`m2://inv/6NNZ95D4PK`
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#ZN9P (statement). In HHQ6P3RRB8/e1, proposition 2.1

History

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

Anders Björner 6NP5X5PYKV

URI	`m2://inv/6NP5X5PYKV`
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#FANE, Anders Björner (topic)

History

2026-11-02: add by m2/dev

6NP6KPBGBK 6NP6KPBGBK

URI	`m2://inv/6NP6KPBGBK`
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 2610.09926#T9D5 (statement). In ZZY5S3FHMJ/e1, theorem 2.3

History

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

6NPS3423Z9 6NPS3423Z9

URI	`m2://inv/6NPS3423Z9`
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.06899#5LXC (statement). In 5Z2K9JGFSS/e1, lemma 2.5

History

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

Exact scalar noise limits 6NPVN11HR7

URI	`m2://inv/6NPVN11HR7`
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.39895#C244, Exact scalar noise limits (statement). In B3TZBWZNM4/e1, theorem 1

History

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

Kirchhoff's current law 6NQ4GGXD1H

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

Mentions

wikipedia: Wikipedia Kirchhoff's circuit laws#7OBL, Kirchhoff's current law (statement)

History

2026-11-02: add by m2/dev

Expression 6NQ588RQSR

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

Mentions

wikipedia: Wikipedia Expression (mathematics), Expression (definition). Also Wikidata Q6498784

History

2026-11-02: add by m2/dev

Graph coloring game 6NQ5Y9G6D4

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#EKX1, Graph coloring game (definition)

History

2026-11-02: add by m2/dev

cardinality 6NQH8W7FWX

URI	`m2://inv/6NQH8W7FWX`
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.39511#QQ48, cardinality (statement). In 6W9H24A378/e1, lemma 3

History

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

Two Egg, Florida 6NQS0QV9SD

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

Mentions

wikipedia: Wikipedia List of places with numeric names#2WRC, Two Egg, Florida (unknown)

History

2026-11-02: add by m2/dev

Rachel M. Harter 6NQVKHA8RG

URI	`m2://inv/6NQVKHA8RG`
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#YUAH, Rachel M. Harter (topic)

History

2026-11-02: add by m2/dev

6NR0R3EH53 6NR0R3EH53

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#mv:changeofvarrectside (exercise). In E59CDZA4DP, exercise, section 5.7.1

History

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

Statement 6NR646DNVM

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

Mentions

wikipedia: Wikipedia Ring lemma#JX9L, Statement (statement)

History

2026-11-02: add by m2/dev

ellipsoidal coordinates 6NRB0AFTTC

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

Mentions

wikidata: Wikidata Q1332363, ellipsoidal coordinates (unknown). Also MathWorld ConfocalEllipsoidalCoordinates
wikipedia: Wikipedia Ellipsoidal coordinates, Ellipsoidal coordinates (definition). Also Wikidata Q1332363

History

2026-10-26: add by m2/dev

Table of vertex-symmetric digraphs 6NREBPMJPC

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

Mentions

wikipedia: Wikipedia Table of vertex-symmetric digraphs, Table of vertex-symmetric digraphs (definition). Also Wikidata Q7673263

History

2026-11-02: add by m2/dev

6NRPEE3GB2 6NRPEE3GB2

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

Mentions

arxiv: arXiv 2610.20801#6MMM (definition). In A1GWWGRXPA/e1, definition 3.29

History

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

6NRQT6GX6J 6NRQT6GX6J

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

Mentions

arxiv: arXiv 2610.15434#NZME (statement). In PWF23QSGDX/e1, proposition 4.2

History

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

Applications 6NRRTVPDYF

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

Mentions

wikipedia: Wikipedia Wiman–Valiron theory#QVJ2, Applications (example)

History

2026-11-02: add by m2/dev

6NS414PCTM 6NS414PCTM

URI	`m2://inv/6NS414PCTM`
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.19535#R8XN (statement). In MJXSE9QR4X/e1, lemma A.1

History

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

6NS9RWRS8W 6NS9RWRS8W

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

Mentions

arxiv: arXiv 2609.34516#390G (statement). In ECKK8RR78E/e1, lemma 2.7

History

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

6NSAGNKHGK 6NSAGNKHGK

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

Mentions

arxiv: arXiv 2609.37237#E407 (definition). In GBY82BZCNA/e1, definition 2.1

History

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

Extensions 6NSCMVESAK

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

Mentions

wikipedia: Wikipedia Fréchet inequalities#36AN, Extensions (statement)

History

2026-11-02: add by m2/dev

6NSK16CEBN 6NSK16CEBN

URI	`m2://inv/6NSK16CEBN`
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#DX2R (statement). In DKEX05SEXS/e1, theorem 4.1

History

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

Convenience sampling 6NSQJC266E

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

Mentions

wikipedia: Wikipedia Convenience sampling, Convenience sampling (definition). Also Wikidata Q4672604

History

2026-11-02: add by m2/dev

6NTF8RMK6B 6NTF8RMK6B

URI	`m2://inv/6NTF8RMK6B`
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.25111#9LDT (statement)

History

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

6NTFPYYYFQ 6NTFPYYYFQ

URI	`m2://inv/6NTFPYYYFQ`
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.26675#H5HX (statement)

History

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

zero of a function 6NTGDHZ8CG

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

Mentions

lebl_ra: lebl_ra index/1.5.1/zero-of-a-function, zero of a function (concept). In E59CDZA4DP, index, section 1.5.1

History

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

Sample path properties of the level 6NTKQWK74P

URI	`m2://inv/6NTKQWK74P`
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.20274#X2C0, Sample path properties of the level (statement)

History

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

6NTPCJJRQY 6NTPCJJRQY

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

Mentions

arxiv: arXiv 2610.21005#I3FZ (statement). In E63NRC7MBE/e1, lemma 2.2

History

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

Example 2 6NTSKG3D7S

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

Mentions

wikipedia: Wikipedia Spiral#C4FZ, Example 2 (example)

History

2026-11-02: add by m2/dev

6NTSP6X9ZV 6NTSP6X9ZV

URI	`m2://inv/6NTSP6X9ZV`
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 dg-ga/9612010#WFH1 (statement). In CM39SWC4A6/e1, corollary 2.8

History

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

3 6NTYBC0N2H

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

Mentions

wikipedia: Wikipedia List of prime numbers#11V1, 3 (definition)

History

2026-11-02: add by m2/dev

Axioms 6NTZ75CBFQ

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

Mentions

wikipedia: Wikipedia Geometry#WLYK, Axioms (statement)

History

2026-11-02: add by m2/dev

6NV049495W 6NV049495W

URI	`m2://inv/6NV049495W`
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.29152#NOXK (statement)

History

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

6NVAFRJY5V 6NVAFRJY5V

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-11 (exercise). In E9HS8K3A52, exercise, section 7.1.4

History

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

safety verification 6NVBYF6T27

URI	`m2://inv/6NVBYF6T27`
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.17541#HNB3, safety verification (definition). In 9PHDBFMHH6/e1, definition 3.3

History

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

Size of the seeded interval collection 6NVJ3CE9MP

URI	`m2://inv/6NVJ3CE9MP`
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.36594#3UEJ, Size of the seeded interval collection (statement). In 8JDQ9FWFRK/e1, lemma E.4

History

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

6NVJP9D3VC 6NVJP9D3VC

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

Mentions

arxiv: arXiv 2610.16554#A153 (example). In GWNT8HEZG1/e1, example 2.22

History

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

Hermann Nicolai 6NVNJA7RX3

URI	`m2://inv/6NVNJA7RX3`
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 Q1612264, Hermann Nicolai (unknown). Also nLab Hermann Nicolai

History

2026-10-26: add by m2/dev

6NVP0DT8K1 6NVP0DT8K1

URI	`m2://inv/6NVP0DT8K1`
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 2109.12716#O8FW (statement). In 6X76XBE3HV/e1, lemma 3.6

History

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

6NVV2XRBXN 6NVV2XRBXN

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

Mentions

arxiv: arXiv 1805.04646#KHN6 (proof). In WDDY7P9T66/e1, proof

History

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

6NW4SM5429 6NW4SM5429

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

Mentions

arxiv: arXiv 2610.11545#UKPM (definition). In VN084GGZGK/e1, definition 2.10

History

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

periodic point 6NW7TA5NG0

URI	`m2://inv/6NW7TA5NG0`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Periodic point T75CZ5H47N

Mentions

wikidata: Wikidata Q116301, periodic point (concept). Also EoM Periodic_point, MathWorld PeriodicPoint
wikipedia: Wikipedia Periodic point, Periodic point (definition). Also Wikidata Q116301

History

2026-10-26: add by m2/dev

Michael Peskin 6NWBG5CK42

URI	`m2://inv/6NWBG5CK42`
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 Q1744292, Michael Peskin (unknown). Also nLab Michael Peskin

History

2026-10-26: add by m2/dev

Polygon at an arbitrary weight 6NWBRZ2DA6

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

Mentions

arxiv: arXiv 2610.05652#SRJZ, Polygon at an arbitrary weight (definition). In 8BNPFYQDQX/e1, definition 4.3

History

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

6NWMFVX3S8 6NWMFVX3S8

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

Mentions

arxiv: arXiv 2610.22170#WA9G (statement). In 74MMMHHPW5/e1, proposition 3.3

History

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

Infinite divisibility and Cramér's theorem 6NWPDGYJGP

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

Mentions

wikipedia: Wikipedia Normal distribution#M960, Infinite divisibility and Cramér's theorem (statement)

History

2026-11-02: add by m2/dev

6NWRBPQYHJ 6NWRBPQYHJ

URI	`m2://inv/6NWRBPQYHJ`
Kind	statement
Layer	research
MSC	35-XX, 46-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.05391#P84E (statement). In 9B5TNEBJHV/e1, theorem 1.4

History

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

Uses 6NWWHWG8MS

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

Mentions

wikipedia: Wikipedia Cohen's h#SSUP, Uses (example)

History

2026-11-02: add by m2/dev

Exact SG composition in the odd-heap case 6NXD74ZSZE

URI	`m2://inv/6NXD74ZSZE`
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.06925#XRIE, Exact SG composition in the odd-heap case (statement). In P0NV7337EK/e1, proposition 4.1

History

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

6NXGVW7G7N 6NXGVW7G7N

URI	`m2://inv/6NXGVW7G7N`
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.36078#HEJ8 (statement). In MVKXS0Q6XN/e1, theorem

History

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

Theorem 6NXJ5CKTA7

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

Mentions

wikipedia: Wikipedia Russo–Vallois integral#ZKL0, Theorem (statement)

History

2026-11-02: add by m2/dev

6NXNJJHMVA 6NXNJJHMVA

URI	`m2://inv/6NXNJJHMVA`
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 2512.08487#T7JQ (statement). In 77TVQVYN0Z/e1, lemma 29

History

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

Grothendieck spectral sequence 6NXQTAT1A4

URI	`m2://inv/6NXQTAT1A4`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Grothendieck spectral sequence ZV7VGE2SQ2

Mentions

wikidata: Wikidata Q5610729, Grothendieck spectral sequence (concept). Also nLab Grothendieck spectral sequence
wikipedia: Wikipedia Grothendieck spectral sequence, Grothendieck spectral sequence (definition). Also Wikidata Q5610729

History

2026-10-26: add by m2/dev

6NXV41R4TP 6NXV41R4TP

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

Mentions

arxiv: arXiv 2211.16099#0ERU (example). In 91RRFW0K5D/e1, example 15

History

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

List of things named after Jacques Hadamard 6NXVE4353R

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#UGVN, List of things named after Jacques Hadamard (topic)

History

2026-11-02: add by m2/dev

Durrett's conjecture and the central limit theorem 6NXY9VFFBP

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

Mentions

wikipedia: Wikipedia Contact process (mathematics)#4NYF, Durrett's conjecture and the central limit theorem (statement)

History

2026-11-02: add by m2/dev

6NXZ060PFB 6NXZ060PFB

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/InfiniteSets.tex#cor:infiniteSetInfiniteSubset (statement). In P1C114YBXG, corollary, section D

History

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

6NY7DYWMQ7 6NY7DYWMQ7

URI	`m2://inv/6NY7DYWMQ7`
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.16886#XCC3 (statement). In Y8QQAH7VCF/e1, corollary E.15

History

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

Cutoff profiles 6NYPWVR55R

URI	`m2://inv/6NYPWVR55R`
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 2610.08821#GYLG, Cutoff profiles (definition). In KP1THB2C09/e1, definition 2.4

History

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

6NZ4WVFG6E 6NZ4WVFG6E

URI	`m2://inv/6NZ4WVFG6E`
Kind	statement
Layer	research
MSC	20-XX, 55-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.30579#9IX4 (statement). In FDYZFDHZH9/e1, proposition 4.16

History

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

97.5th percentile point 6NZ8ZXYDBW

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

Mentions

wikipedia: Wikipedia 97.5th percentile point, 97.5th percentile point (definition). Also Wikidata Q4545840

History

2026-11-02: add by m2/dev

Definition 6NZ926KRWN

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

Mentions

wikipedia: Wikipedia Exceptional inverse image functor#5R4W, Definition (definition)

History

2026-11-02: add by m2/dev

Properties 6NZ9E0QK5F

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

Mentions

wikipedia: Wikipedia Stable map#ECGV, Properties (statement)

History

2026-11-02: add by m2/dev

Paul Wiegmann 6NZD21EVFS

URI	`m2://inv/6NZD21EVFS`
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#6HXQ, Paul Wiegmann (unknown)

History

2026-11-02: add by m2/dev

6NZDKDGB3D 6NZDKDGB3D

URI	`m2://inv/6NZDKDGB3D`
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 2609.25353#Z85Q (statement)

History

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

6NZEHA24Y0 6NZEHA24Y0

URI	`m2://inv/6NZEHA24Y0`
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#NGRL (statement). In TWGMVT1N1G/e1, lemma 3.5

History

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

6NZEQPBAK6 6NZEQPBAK6

URI	`m2://inv/6NZEQPBAK6`
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 1009.2043#9ZH1 (statement). In 7DCNHRBK5A/e1, theorem 5.2

History

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

Herbert Koch 6NZNQ16DRH

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

Mentions

wikipedia: Wikipedia List of German mathematicians#VIDD, Herbert Koch (topic)

History

2026-11-02: add by m2/dev

Mosaic plot 6NZNT7C1R5

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

Mentions

wikipedia: Wikipedia Mosaic plot, Mosaic plot (definition). Also Wikidata Q1948832

History

2026-11-02: add by m2/dev

Vojta 6NZP9WZJM2

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

Mentions

wikipedia: Wikipedia Glossary of number theory#7GN1, Vojta (definition)

History

2026-11-02: add by m2/dev

mathematical optimization 6NZPXCQPAA

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

Mentions

wikidata: Wikidata Q141495, mathematical optimization (unknown). Also MathWorld OptimizationTheory
wikipedia: Wikipedia Mathematical optimization, Mathematical optimization (topic). Also Wikidata Q141495

History

2026-10-26: add by m2/dev

type, identity, as inductive 6NZR87HVXR

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

Mentions

hott_book: hott_book index/8.8/type-identity-as-inductive, type, identity, as inductive (concept). In N54F33XE07, index, section 8.8

History

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

Debye function 6NZWQ752D8

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

Mentions

wikipedia: Wikipedia Debye function, Debye function (definition). Also Wikidata Q3754610

History

2026-11-02: add by m2/dev

Idealized Hubble's law 6NZWR33T56

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

Mentions

wikipedia: Wikipedia Hubble's law#D49T, Idealized Hubble's law (statement)

History

2026-11-02: add by m2/dev

Tom Leighton 6NZY1GXC09

URI	`m2://inv/6NZY1GXC09`
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#EOH4, Tom Leighton (unknown)

History

2026-11-02: add by m2/dev

tensor product 6NZZ348DC2

URI	`m2://inv/6NZZ348DC2`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Tensor product of vector spaces 0BF2DE2SYK

Mentions

wikidata: Wikidata Q1163016, tensor product (unknown). Also EoM Tensor_product, MathWorld VectorSpaceTensorProduct, nLab tensor product
wikipedia: Wikipedia Tensor product, Tensor product (definition). Also Wikidata Q1163016

History

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