Inventory rows ZF

ZF06S8QSWG ZF06S8QSWG

URI	`m2://inv/ZF06S8QSWG`
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.25739#DEL2 (statement)

History

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

Job-shop scheduling ZF0ARR70Q2

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#7CIZ, Job-shop scheduling (definition)

History

2026-11-02: add by m2/dev

ZF0G3K6DGF ZF0G3K6DGF

URI	`m2://inv/ZF0G3K6DGF`
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#LQ39 (statement). In E63NRC7MBE/e1, lemma 3.3

History

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

mathematics, constructive ZF0JATYF6T

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

Mentions

hott_book: hott_book index/B.3/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section B.3

History

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

ZF0YP1J5MK ZF0YP1J5MK

URI	`m2://inv/ZF0YP1J5MK`
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 2510.23812#F43H (statement). In D8XZBXJPR5/e1, lemma 2.8

History

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

ZF1C6YVB4G ZF1C6YVB4G

URI	`m2://inv/ZF1C6YVB4G`
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.28803#YM9S (statement)

History

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

ZF1F2Z02PF ZF1F2Z02PF

URI	`m2://inv/ZF1F2Z02PF`
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.23128#LFTF (statement)

History

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

ZF1KQG894X ZF1KQG894X

URI	`m2://inv/ZF1KQG894X`
Kind	problem
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#RS4B (problem). In ANHWXYPQFX/e1, problem 4.4

History

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

ZF25JSKH67 ZF25JSKH67

URI	`m2://inv/ZF25JSKH67`
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.03864#A7MR (statement). In 41GB65CTBJ/e1, proposition A2

History

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

\textbf{$\mathcal C, \mathcal S$ ZF264MTRY2

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

Mentions

arxiv: arXiv 2610.14266#WH63, \textbf{$\mathcal C, \mathcal S$ (definition). In 7R33E8515R/e1, definition 1.2

History

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

ZF2JD20PSQ ZF2JD20PSQ

URI	`m2://inv/ZF2JD20PSQ`
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.23343#CG2T (statement)

History

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

Sundararaman Ramanan ZF2W3W8EGH

URI	`m2://inv/ZF2W3W8EGH`
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 Q7387808, Sundararaman Ramanan (unknown). Also nLab Sundararaman Ramanan
wikipedia: Wikipedia S. Ramanan, S. Ramanan (topic). Also Wikidata Q7387808

History

2026-10-26: add by m2/dev

Capital sigma notation ZF2X2RWHEF

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

Mentions

wikipedia: Wikipedia Summation#1YDL, Capital sigma notation (unknown)

History

2026-11-02: add by m2/dev

Conditional affine half-turn ZF2ZANTCH2

URI	`m2://inv/ZF2ZANTCH2`
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.16248#A4YP, Conditional affine half-turn (statement). In TP61DYMBMK/e1, proposition 5

History

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

Axiom schema of specification ZF3GZMF522

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

Mentions

wikipedia: Wikipedia List of axioms#18SZ, Axiom schema of specification (statement)

History

2026-11-02: add by m2/dev

Chen-Ning Yang ZF3K8344S7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HMBD, Chen-Ning Yang (unknown)

History

2026-11-02: add by m2/dev

Mathematical Cranks ZF3Q66R3EK

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

Mentions

wikipedia: Wikipedia Mathematical Cranks, Mathematical Cranks (definition). Also Wikidata Q85784296

History

2026-11-02: add by m2/dev

ZF3XEYX981 ZF3XEYX981

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

Mentions

arxiv: arXiv 2609.30482#YTRZ (definition). In KWB9M5YH9G/e1, definition 2.11

History

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

The sample space: the universal Hilbert cube ZF409QHT9J

URI	`m2://inv/ZF409QHT9J`
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.26270#F6YE, The sample space: the universal Hilbert cube (definition)

History

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

Equivalent definitions ZF49HXBS90

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

Mentions

wikipedia: Wikipedia Computable number#9K26, Equivalent definitions (definition)

History

2026-11-02: add by m2/dev

Multiplicity two in type $D_4$ ZF4AB90RED

URI	`m2://inv/ZF4AB90RED`
Kind	example
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.12531#2Y2U, Multiplicity two in type $D_4$ (example). In D6RAQZ2DSK/e1, example 4.13

History

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

ZF4VG91APC ZF4VG91APC

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

Mentions

arxiv: arXiv 2609.36158#HJPS (statement). In CVGHFQ6XGW/e1, proposition 3

History

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

ZF4WD5CJTG ZF4WD5CJTG

URI	`m2://inv/ZF4WD5CJTG`
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.31861#JVTI (statement). In G36R6T327W/e1, lemma 6

History

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

Construction ZF512Y9HNQ

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

Mentions

wikipedia: Wikipedia Schlegel diagram#G00H, Construction (definition)

History

2026-11-02: add by m2/dev

center of gravity ZF54Q635KX

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

Mentions

wikidata: Wikidata Q114084, center of gravity (unknown). Also MathWorld CenterofGravity

History

2026-10-26: add by m2/dev

ZF552849AJ ZF552849AJ

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

Mentions

arxiv: arXiv 2609.37893#2IKK (statement). In 8H0KHK7AMN/e1, corollary 4.12

History

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

ZF59HXS1H8 ZF59HXS1H8

URI	`m2://inv/ZF59HXS1H8`
Kind	example
Layer	research
MSC	18-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 2610.10930#2XZG (example). In HX63A1PH1W/e1, example 4.31

History

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

Examples ZF5K100ZYQ

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

Mentions

wikipedia: Wikipedia Concept drift#CRTS, Examples (example)

History

2026-11-02: add by m2/dev

ZF5KARW7J4 ZF5KARW7J4

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

Mentions

arxiv: arXiv 2609.37893#N1JQ (statement). In 8H0KHK7AMN/e1, theorem 1.8

History

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

ZF5KRQ7PBK ZF5KRQ7PBK

URI	`m2://inv/ZF5KRQ7PBK`
Kind	statement
Layer	research
MSC	14-XX, 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.37520#MNFN (statement). In BDN507RN7J/e1, proposition 3.3.7

History

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

Locally finite operator ZF5PFMER9T

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

Mentions

wikipedia: Wikipedia Locally finite operator, Locally finite operator (definition). Also Wikidata Q6664680

History

2026-11-02: add by m2/dev

ZF5PSES8P9 ZF5PSES8P9

URI	`m2://inv/ZF5PSES8P9`
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.21009#XCNH (statement). In 23G8VNDWDM/e1, lemma 3.1

History

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

Euler product ZF5QZ72AZY

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

Mentions

wikipedia: Wikipedia List of topics named after Leonhard Euler#HIT5, Euler product (definition)

History

2026-11-02: add by m2/dev

Regularity of the multiplier and the derivative path ZF5W347Q9B

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

Mentions

arxiv: arXiv 2609.32710#1YF6, Regularity of the multiplier and the derivative path (statement). In KVYG6R7CGJ/e1, lemma 2.5

History

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

ZF5WWAC0ZJ ZF5WWAC0ZJ

URI	`m2://inv/ZF5WWAC0ZJ`
Kind	statement
Layer	research
MSC	20-XX, 22-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 2609.32916#1T47 (statement). In G1RP4JY5PE/e1, theorem 2.3.7

History

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

ZF69N5YDKW ZF69N5YDKW

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

Mentions

arxiv: arXiv 2610.12054#RB62 (statement). In 1A01NFHBGA/e1, proposition 1.5

History

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

ZF6BC87GW4 ZF6BC87GW4

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

Mentions

open_logic: open_logic content/normal-modal-logic/tableaux/completeness.tex#cor:entailment-completeness (statement). In PKGMM3P5QY, cor, section 55.4

History

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

Algebra of throws ZF6CZ59FWW

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

Mentions

wikipedia: Wikipedia Karl Georg Christian von Staudt#29QN, Algebra of throws (unknown)

History

2026-11-02: add by m2/dev

ZF6JEDPJFE ZF6JEDPJFE

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

Mentions

arxiv: arXiv 2610.17411#SMLA (statement). In 73QW05MWQB/e1, lemma 4.5

History

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

ZF6MACFE06 ZF6MACFE06

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

Mentions

arxiv: arXiv 2610.05193#V48X (statement). In XDMM0KNNZ9/e1, corollary 9

History

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

ZF6MPHGNX3 ZF6MPHGNX3

URI	`m2://inv/ZF6MPHGNX3`
Kind	example
Layer	research
MSC	19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.28295#Q2YQ (example)

History

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

Examples ZF6RDRN47Z

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

Mentions

wikipedia: Wikipedia Cesàro summation#0J2U, Examples (example)

History

2026-11-02: add by m2/dev

ZF6YRTDYCD ZF6YRTDYCD

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

Mentions

arxiv: arXiv 2609.31445#T0FQ (statement). In 7V2PVZS04C/e1, corollary 5.17

History

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

ZF76SNMWQ2 ZF76SNMWQ2

URI	`m2://inv/ZF76SNMWQ2`
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.12188#OOPO (statement). In 52HWCGK5QJ/e1, proposition 4.6

History

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

Theory of conjoint measurement ZF79GPHZY5

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

Mentions

wikipedia: Wikipedia Theory of conjoint measurement, Theory of conjoint measurement (definition). Also Wikidata Q7782433

History

2026-11-02: add by m2/dev

The Laws of Large Numbers ZF7FDTQ280

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

Mentions

mathlib_100: mathlib_100 59, The Laws of Large Numbers (statement). Also Mathlib ProbabilityTheory.strong_law_ae
mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > strong law of large numbers, strong law of large numbers (unknown). Also Mathlib ProbabilityTheory.strong_law_ae
mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > strong law of large numbers, strong law of large numbers (unknown). Also Mathlib ProbabilityTheory.strong_law_ae

History

2026-10-26: add by m2/dev

Vertex ZF7TMYHPRS

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

Mentions

wikipedia: Wikipedia Vertex (curve), Vertex (definition). Also Wikidata Q362765

History

2026-11-02: add by m2/dev

ZF85H3EPDB ZF85H3EPDB

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

Mentions

arxiv: arXiv 2610.17863#1S9U (statement). In Y8XQT02BBF/e1, lemma 4.4

History

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

ZF89SJRT09 ZF89SJRT09

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

Mentions

arxiv: arXiv 2609.23522#F94M (definition)

History

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

Truncated dodecadodecahedron ZF8CHFJWJY

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

Mentions

wikipedia: Wikipedia List of uniform polyhedra by Schwarz triangle#SFYD, Truncated dodecadodecahedron (object)

History

2026-11-02: add by m2/dev

ZF8M7FPG2G ZF8M7FPG2G

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#XLSD (definition)

History

2026-11-02: add by m2/dev

Theorem (Neighborhood filter of the origin) ZF8NMGXHQS

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

Mentions

wikipedia: Wikipedia Topological vector space#W3TY, Theorem (Neighborhood filter of the origin) (statement)

History

2026-11-02: add by m2/dev

ZF8RSGBGD7 ZF8RSGBGD7

URI	`m2://inv/ZF8RSGBGD7`
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.20881#4EKW (statement)

History

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

Formulation ZF90K8Q0Y5

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

Mentions

wikipedia: Wikipedia Modes of variation#AO2N, Formulation (definition)

History

2026-11-02: add by m2/dev

ZF91N9W355 ZF91N9W355

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

Mentions

arxiv: arXiv 2610.01328#748H (example). In GNY2MTPWW6/e1, example 8.1

History

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

Unary relation ZF948WN0G4

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

Mentions

wikipedia: Wikipedia Finitary relation#L3R8, Unary relation (unknown)

History

2026-11-02: add by m2/dev

ZF9BBBJBF6 ZF9BBBJBF6

URI	`m2://inv/ZF9BBBJBF6`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.31090#QWH5 (statement). In SMTJDX0Q6R/e1, corollary 6.1

History

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

ZF9C5A9KD1 ZF9C5A9KD1

URI	`m2://inv/ZF9C5A9KD1`
Kind	statement
Layer	research
MSC	14-XX, 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.22326#QL2I (statement). In EAABRG99V8/e1, proposition 4.3

History

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

Samuel Karlin ZF9H0TRT18

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#W9TO, Samuel Karlin (unknown)

History

2026-11-02: add by m2/dev

ZF9PB6N110 ZF9PB6N110

URI	`m2://inv/ZF9PB6N110`
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.15723#TOP2 (statement). In A3KXZ2GBHN/e1, lemma 14

History

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

mathematics, formalized ZF9SW1N08J

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

Mentions

hott_book: hott_book index/u1.u1/mathematics-formalized, mathematics, formalized (concept). In N54F33XE07, index, section u1.u1

History

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

Pascal's pyramid ZF9VF6G000

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

Mentions

wikipedia: Wikipedia Pascal's pyramid, Pascal's pyramid (definition). Also Wikidata Q145022

History

2026-11-02: add by m2/dev

Definition ZF9W4KHHNA

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

Mentions

wikipedia: Wikipedia Kaiser window#S8MQ, Definition (definition)

History

2026-11-02: add by m2/dev

structural, rules ZFA2FE7ZMT

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

Mentions

hott_book: hott_book index/4.2.2/structural-rules, structural, rules (concept). In N54F33XE07, index, section 4.2.2

History

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

Archimedean circle ZFA2NBFT62

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

Mentions

wikidata: Wikidata Q4786887, Archimedean circle (unknown). Also MathWorld ArchimedeanCircle

History

2026-10-26: add by m2/dev

System justification ZFA3C2YTWH

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

Mentions

wikipedia: Wikipedia List of cognitive biases#0UB6, System justification (unknown)

History

2026-11-02: add by m2/dev

ZFA5R2W5SN ZFA5R2W5SN

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

Mentions

arxiv: arXiv 2610.03327#ZH7I (example). In EBNXA84CPM/e1, example 4.1

History

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

ZFA656X3H7 ZFA656X3H7

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

Mentions

napkin: napkin tex/rep-theory/applications.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 78.2

History

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

ZFA6916DPZ ZFA6916DPZ

URI	`m2://inv/ZFA6916DPZ`
Kind	definition
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 2408.13548#S6PZ (definition). In EQF1ZQ5K1S/e1, definition 3.6

History

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

Nash equilibrium ZFA7DZ9ED4

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

Mentions

wikipedia: Wikipedia List of PPAD-complete problems#VZC5, Nash equilibrium (definition)

History

2026-11-02: add by m2/dev

Rug plot ZFADTERE55

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

Mentions

wikipedia: Wikipedia Rug plot, Rug plot (definition). Also Wikidata Q56291746

History

2026-11-02: add by m2/dev

ZFAE3NWTJX ZFAE3NWTJX

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

Mentions

arxiv: arXiv 2610.12295#W4OS (statement). In 6DZPR52HRP/e1, lemma 4.15

History

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

Sergei P. Novikov ZFAXKETKY7

URI	`m2://inv/ZFAXKETKY7`
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#BYVS, Sergei P. Novikov (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#THH5, Sergei P. Novikov (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YZ71, Sergei P. Novikov (topic)

History

2026-11-02: add by m2/dev

9 ZFAZGDDWJP

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

Mentions

wikidata: Wikidata Q19108 (statement). Also MathWorld 9, ProofWiki 9
wikipedia: Wikipedia 9, 9 (definition). Also Wikidata Q19108

History

2026-10-26: add by m2/dev

ZFB77GWGQZ ZFB77GWGQZ

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#theorem-6 (statement). In P1C114YBXG, theorem, section F

History

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

ZFB9W1VGAY ZFB9W1VGAY

URI	`m2://inv/ZFB9W1VGAY`
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.09140#AEOF (definition). In 9934P5E5AM/e1, definition 5.2

History

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

ZFBBRAYVNK ZFBBRAYVNK

URI	`m2://inv/ZFBBRAYVNK`
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 2609.37124#9AJ6 (example). In 2QF1YG9DD0/e1, example 4.1

History

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

Adrian Constantin ZFBJT2703Z

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

Mentions

wikipedia: Wikipedia Adrian Constantin, Adrian Constantin (topic). Also Wikidata Q372761

History

2026-11-02: add by m2/dev

Applications ZFC3QDT99B

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

Mentions

wikipedia: Wikipedia Velocity-addition formula#EK3M, Applications (example)

History

2026-11-02: add by m2/dev

ZFC83ADDPE ZFC83ADDPE

URI	`m2://inv/ZFC83ADDPE`
Kind	statement
Layer	research
MSC	20-XX, 22-XX, 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.14045#0VOK (statement). In KZ71GXT2B0/e1, theorem 6.13

History

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

ZFC83Q8FHK ZFC83Q8FHK

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

Mentions

arxiv: arXiv 1804.06366#LX30 (definition). In 89XYDVXG38/e1, definition 3.8

History

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

Hal S. Stern ZFCAJXYB9M

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

Mentions

wikipedia: Wikipedia Hal S. Stern, Hal S. Stern (topic). Also Wikidata Q33019807

History

2026-11-02: add by m2/dev

Christian Bär ZFCC6VR4P5

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

Mentions

wikipedia: Wikipedia List of German mathematicians#IIM3, Christian Bär (topic)

History

2026-11-02: add by m2/dev

Principle of the algorithm ZFCCBEBEH3

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

Mentions

wikipedia: Wikipedia Hybrid stochastic simulation#MVEW, Principle of the algorithm (statement)

History

2026-11-02: add by m2/dev

Scoring algorithm ZFCCE5F0ZG

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

Mentions

wikipedia: Wikipedia List of algorithms#ON2X, Scoring algorithm (definition)

History

2026-11-02: add by m2/dev

ZFCHRJT7K3 ZFCHRJT7K3

URI	`m2://inv/ZFCHRJT7K3`
Kind	statement
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 2609.24701#8TCL (statement)

History

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

Local reservoirs are cheap at every finite time ZFCQBHTD6E

URI	`m2://inv/ZFCQBHTD6E`
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#I6XG, Local reservoirs are cheap at every finite time (statement). In WBXAW9G4JB/e1, proposition 15.1

History

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

ZFCTHYJHBK ZFCTHYJHBK

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

Mentions

arxiv: arXiv 2610.10643#N99N (statement). In 1FJSQAGF8R/e1, corollary 1

History

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

Singular integral operators ZFD5HAFVZE

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

Mentions

arxiv: arXiv 2609.29712#2B2H, Singular integral operators (definition)

History

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

Ian G. Macdonald ZFD6PAXHWP

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

Mentions

wikipedia: Wikipedia Ian G. Macdonald, Ian G. Macdonald (topic). Also Wikidata Q441111

History

2026-11-02: add by m2/dev

Ed25519 ZFD9D3PHTZ

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

Mentions

wikipedia: Wikipedia EdDSA#JOOX, Ed25519 (unknown)

History

2026-11-02: add by m2/dev

List of German mathematicians ZFDB1087YQ

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

Mentions

wikipedia: Wikipedia Lists of mathematicians#WPLC, List of German mathematicians (topic)

History

2026-11-02: add by m2/dev

ZFDB9NWN6C ZFDB9NWN6C

URI	`m2://inv/ZFDB9NWN6C`
Kind	definition
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.18803#XZI7 (definition). In VG8AF124T3/e1, definition 2.2

History

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

ZFDEEG7V2H ZFDEEG7V2H

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

Mentions

arxiv: arXiv 2610.16583#YQED (statement). In 4RPXT0YCS5/e1, lemma 3.7

History

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

ZFDG185E9M ZFDG185E9M

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

Mentions

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

History

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

Local norm ZFDT2E7VG2

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

Mentions

arxiv: arXiv 2609.27181#I25C, Local norm (definition)

History

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

Earnshaw's theorem ZFDZHSPMW3

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

Mentions

mathlib_1000: mathlib_1000 Q1064471, Earnshaw's theorem (statement). Also Wikidata Q1064471
thousand_plus: thousand_plus Q1064471, Earnshaw's theorem (statement). Also Wikidata Q1064471, Wikipedia Earnshaw's theorem
wikipedia: Wikipedia Earnshaw's theorem, Earnshaw's theorem (statement). Also Wikidata Q1064471

History

2026-10-26: add by m2/dev

Deontic modality ZFE8SV76N1

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

Mentions

wikipedia: Wikipedia Deontic modality, Deontic modality (definition). Also Wikidata Q5260031

History

2026-11-02: add by m2/dev

ZFE8WPPWKF ZFE8WPPWKF

URI	`m2://inv/ZFE8WPPWKF`
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.36423#GOYA (definition). In Q5Z178SAHP/e1, definition 4.7

History

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

Theorem 8.3.C of Gromov , Theorem 60 of Mineyev ZFEBM1A0BQ

URI	`m2://inv/ZFEBM1A0BQ`
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 2009.11127#XZYY, Theorem 8.3.C of Gromov , Theorem 60 of Mineyev (statement). In QEFS0Y021A/e1, theorem 2.4

History

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

Sector asymptotics and recurrence coefficients ZFEJS7D2WN

URI	`m2://inv/ZFEJS7D2WN`
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.00396#UCLE, Sector asymptotics and recurrence coefficients (statement). In V13TE1RWT9/e1, proposition 10.1

History

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

RSA-260 ZFEKABPV5J

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

Mentions

wikipedia: Wikipedia RSA numbers#ZW7G, RSA-260 (unknown)

History

2026-11-02: add by m2/dev

Ehrenfeucht–Fraïssé game ZFERWYG49G

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#GED2, Ehrenfeucht–Fraïssé game (definition)

History

2026-11-02: add by m2/dev

Path energy and Riemannian distance on $\DiffSobId^m$ ZFF2TXVSFJ

URI	`m2://inv/ZFF2TXVSFJ`
Kind	definition
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 2410.06788#PZQF, Path energy and Riemannian distance on $\DiffSobId^m$ (definition). In B2VE3JQZD3/e1, definition 5

History

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

Proposition 11 , Proposition 13 ZFFC6BVZ0V

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

Mentions

arxiv: arXiv 2505.04593#IIR0, Proposition 11 , Proposition 13 (statement). In PEXJPV3NP8/e1, proposition 4.3

History

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

Three-nonsensitive-coordinate lemma ZFFCWNJYZR

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

Mentions

arxiv: arXiv 2610.17100#N95M, Three-nonsensitive-coordinate lemma (statement). In 4TSS52DMB2/e1, lemma 5.4

History

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

Golomb–Dickman constant ZFFDP8XTPG

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

Mentions

wikidata: Wikidata Q5580918, Golomb–Dickman constant (object). Also MathWorld Golomb-DickmanConstant, OEIS A084945
wikipedia: Wikipedia Golomb–Dickman constant, Golomb–Dickman constant (object). Also Wikidata Q5580918

History

2026-10-26: add by m2/dev

ZFFF8X4APS ZFFF8X4APS

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

Mentions

arxiv: arXiv 2609.35186#NEXB (conjecture). In VFNPANY3HD/e1, conjecture 1

History

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

ZFFJXX7E9W ZFFJXX7E9W

URI	`m2://inv/ZFFJXX7E9W`
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.29531#HFGT (statement)

History

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

regular heptadecagon ZFFKHQ5AVW

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

Mentions

wikidata: Wikidata Q18018011, regular heptadecagon (unknown). Also MathWorld 17-gon

History

2026-10-26: add by m2/dev

ZFFKT6PV6J ZFFKT6PV6J

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

Mentions

arxiv: arXiv 2610.12120#DXOW (statement). In G9D4R1AXP8/e1, proposition 4.6

History

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

Harmonic index ZFFQSKC4B5

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

Mentions

wikipedia: Wikipedia Harmonic index, Harmonic index (definition). Also Wikidata Q130351790

History

2026-11-02: add by m2/dev

valency ZFG4ZE3W8E

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#UPC2, valency (definition)

History

2026-11-02: add by m2/dev

ZFGAMGMRYG ZFGAMGMRYG

URI	`m2://inv/ZFGAMGMRYG`
Kind	statement
Layer	research
MSC	20-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 2609.29399#3DNR (statement)

History

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

Blog ZFGF01W7HY

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

Mentions

wikipedia: Wikipedia List of steganography techniques#102I, Blog (unknown)

History

2026-11-02: add by m2/dev

Geodesic convexity ZFH0JCK8BS

URI	`m2://inv/ZFH0JCK8BS`
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#7X5C, Geodesic convexity (statement). In AMRWRJDNKJ/e1, corollary 7.4

History

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

ZFH12ENYGJ ZFH12ENYGJ

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

Mentions

arxiv: arXiv 2411.17227#AJLD (definition). In DDNP38CHQJ/e1, definition 5.14

History

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

Burnside's theorem ZFH5JPK98F

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

Mentions

wikipedia: Wikipedia Solvable group#10HM, Burnside's theorem (statement)

History

2026-11-02: add by m2/dev

ZFH7TTG05E ZFH7TTG05E

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

Mentions

arxiv: arXiv 2609.36423#6EEY (example). In Q5Z178SAHP/e1, example 6.1

History

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

ZFHAV0H3AM ZFHAV0H3AM

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

Mentions

arxiv: arXiv 2609.21668#QAQK (example)

History

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

ZFHG34QKDS ZFHG34QKDS

URI	`m2://inv/ZFHG34QKDS`
Kind	statement
Layer	research
MSC	35-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.39990#JNGK (statement). In SH78APY2T8/e1, lemma 2.1

History

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

Messier 87 ZFHHRDRATG

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

Mentions

wikidata: Wikidata Q14041, Messier 87 (unknown). Also nLab Messier 87

History

2026-10-26: add by m2/dev

Briggs–Bers criterion ZFHN6QKZWR

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

Mentions

wikipedia: Wikipedia Briggs–Bers criterion, Briggs–Bers criterion (statement). Also Wikidata Q25303910

History

2026-11-02: add by m2/dev

codomain ZFHX2A4SJY

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

Mentions

levin_dmoi: levin_dmoi index/1.4/codomain, codomain (concept). In Y91XFCEVHQ, index, section 1.4

History

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

Environics Research Group ZFHZ1N7XK7

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

Mentions

wikipedia: Wikipedia List of polling organizations#4X7G, Environics Research Group (unknown)

History

2026-11-02: add by m2/dev

ZFJ526GR9K ZFJ526GR9K

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

Mentions

napkin: napkin tex/alg-geom/spec-sheaf.tex#definition-4 (definition). In RZP28ERRZV, definition, section 27.4.1

History

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

ZFJ977F1AW ZFJ977F1AW

URI	`m2://inv/ZFJ977F1AW`
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.03011#NR7E (statement). In VE8FB6K8EN/e1, proposition 8

History

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

Laird, Nan ZFJBN3V2A7

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

Mentions

wikipedia: Wikipedia List of statisticians#P2LK, Laird, Nan (topic)

History

2026-11-02: add by m2/dev

Abelian group ZFJCEN14EE

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#9PVW, Abelian group (definition)

History

2026-11-02: add by m2/dev

ZFJE64T11Q ZFJE64T11Q

URI	`m2://inv/ZFJE64T11Q`
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 2609.34813#LMSK (example). In P3V3ZGCHV7/e1, example 3.10

History

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

ZFJVWPCRKC ZFJVWPCRKC

URI	`m2://inv/ZFJVWPCRKC`
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.17875#D076 (statement). In AQX7DGD360/e1, lemma 4.4

History

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

The Lady's and Gentleman's Diary ZFJZ019YGW

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

Mentions

wikipedia: Wikipedia The Lady's and Gentleman's Diary, The Lady's and Gentleman's Diary (definition). Also Wikidata Q16937156

History

2026-11-02: add by m2/dev

ZFK8FBR2PT ZFK8FBR2PT

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-62 (exercise). In E9HS8K3A52, exercise, section 7.4.5

History

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

ZFKFDJYM1X ZFKFDJYM1X

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

Mentions

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

History

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

Construction ZFKJG2N1BM

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

Mentions

wikipedia: Wikipedia Five points determine a conic#2OTG, Construction (definition)

History

2026-11-02: add by m2/dev

ZFKMTSMEVV ZFKMTSMEVV

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

Mentions

arxiv: arXiv 2610.03422#8ID1 (statement). In SF88CM0957/e1, lemma 6.3

History

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

Complete manifold ZFKQZTAWSR

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

Mentions

wikipedia: Wikipedia Complete manifold, Complete manifold (definition). Also Wikidata Q5533982

History

2026-11-02: add by m2/dev

ZFKTWCCYHK ZFKTWCCYHK

URI	`m2://inv/ZFKTWCCYHK`
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.39505#WEFN (statement). In WAXS6FS388/e1, lemma 3.4

History

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

Examples ZFKW66151M

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

Mentions

wikipedia: Wikipedia Functional equation#KG03, Examples (example)

History

2026-11-02: add by m2/dev

ZFKXNB695S ZFKXNB695S

URI	`m2://inv/ZFKXNB695S`
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.00660#6H6K (statement). In FF8A8FP4FB/e1, proposition 1

History

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

\lpfp transition dynamics ZFKZDPZ992

URI	`m2://inv/ZFKZDPZ992`
Kind	statement
Layer	research
MSC	49-XX, 60-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.38132#ZYDN, \lpfp transition dynamics (statement). In K6CP8GP51H/e1, lemma 1

History

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

integration by substitution ZFM0151JHB

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

Mentions

wikipedia: Wikipedia Glossary of calculus#2A3D, integration by substitution (definition)

History

2026-11-02: add by m2/dev

Georges Tzitzéica ZFM0AN0MVN

URI	`m2://inv/ZFM0AN0MVN`
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#QJ5C, Georges Tzitzéica (unknown)

History

2026-11-02: add by m2/dev

property ZFM36QHN51

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

Mentions

wikipedia: Wikipedia Glossary of logic#AH5U, property (definition)

History

2026-11-02: add by m2/dev

*{Proposition 3.1 ZFM391Z0S1

URI	`m2://inv/ZFM391Z0S1`
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.06521#EPWU, *{Proposition 3.1 (statement). In NVXWD513NM/e1, proposition 2.8

History

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

Square-sum scales and marginal coverage ZFM3A6C7ST

URI	`m2://inv/ZFM3A6C7ST`
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#41DB, Square-sum scales and marginal coverage (statement). In 7TQ3XH3X79/e1, lemma 9

History

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

ZFM3NWT8W9 ZFM3NWT8W9

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

Mentions

arxiv: arXiv 2609.24325#IN7U (statement)

History

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

ZFM4JZS7H4 ZFM4JZS7H4

URI	`m2://inv/ZFM4JZS7H4`
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.38220#QSZL (definition). In 1AC4S19925/e1, definition 5.3

History

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

Proposition ZFM5XC363B

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

Mentions

wikipedia: Wikipedia Artin transfer (group theory)#038G, Proposition (statement)

History

2026-11-02: add by m2/dev

ZFM96KV3H4 ZFM96KV3H4

URI	`m2://inv/ZFM96KV3H4`
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.40096#9XSN (statement). In XFE35F9NEV/e1, lemma 5.1

History

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

Lie group action ZFMASC17XW

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

Mentions

wikipedia: Wikipedia Lie group action, Lie group action (definition). Also Wikidata Q17098482

History

2026-11-02: add by m2/dev

ZFMEMYS6FX ZFMEMYS6FX

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

Mentions

arxiv: arXiv 2609.27458#UNMU (statement)

History

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

topos, boolean ZFMFB0YES6

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

Mentions

hott_book: hott_book index/C.1.5/topos-boolean, topos, boolean (concept). In N54F33XE07, index, section C.1.5

History

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

ZFMMZH2S16 ZFMMZH2S16

URI	`m2://inv/ZFMMZH2S16`
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 alg-geom/9506022#RQE4 (statement). In AQGEM4XAKD/e1, theorem 5.2

History

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

ZFMP898JND ZFMP898JND

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-19 (exercise). In E59CDZA4DP, exercise, section 2.2.4

History

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

ZFN1VAPE7W ZFN1VAPE7W

URI	`m2://inv/ZFN1VAPE7W`
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.12329#O1WV (statement). In ZJQB9W60T6/e1, corollary 6.3

History

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

triakis icosahedral graph ZFN2Z2R5DM

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

Mentions

wikidata: Wikidata Q3115611, triakis icosahedral graph (unknown). Also House of Graphs 1370, MathWorld TriakisIcosahedralGraph

History

2026-10-26: add by m2/dev

Cauchy integral formula in several variables ZFN4Z5R4J5

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

Mentions

lebl_scv: lebl_scv index/1.1/cauchy-integral-formula-in-several-variables, Cauchy integral formula in several variables (concept). In VNMV985MXX, index, section 1.1

History

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

milliwatt ZFN5N0CTE9

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

Mentions

wikidata: Wikidata Q3207456, milliwatt (definition). Also ProofWiki Definition:Milliwatt

History

2026-10-26: add by m2/dev

Lemmings ZFN8JXED2G

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#ARS2, Lemmings (unknown)

History

2026-11-02: add by m2/dev

Using Gauss's mean value theorem ZFN9N03QXV

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

Mentions

wikipedia: Wikipedia Maximum modulus principle#KIGA, Using Gauss's mean value theorem (statement)

History

2026-11-02: add by m2/dev

Ferdinand von Lindemann ZFNEY39GCZ

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

Mentions

wikipedia: Wikipedia Ferdinand von Lindemann, Ferdinand von Lindemann (topic). Also Wikidata Q77203

History

2026-11-02: add by m2/dev

ZFNFN5XXGF ZFNFN5XXGF

URI	`m2://inv/ZFNFN5XXGF`
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#2SMD (statement)

History

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

Chaitin's constant ZFNH91MSTC

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

Mentions

wikidata: Wikidata Q735775, Chaitin's constant (object). Also MathWorld ChaitinsConstant
wikipedia: Wikipedia Chaitin's constant, Chaitin's constant (definition). Also Wikidata Q735775

History

2026-10-26: add by m2/dev

Conimbricenses ZFNM9SEE5M

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

Mentions

wikipedia: Wikipedia List of logicians#EB3B, Conimbricenses (unknown)

History

2026-11-02: add by m2/dev

Berge equilibrium ZFNMMXTJQQ

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

Mentions

wikipedia: Wikipedia Berge equilibrium, Berge equilibrium (definition). Also Wikidata Q96373428

History

2026-11-02: add by m2/dev

ZFNMPAXZW9 ZFNMPAXZW9

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

Mentions

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

History

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

ZFNRC423VN ZFNRC423VN

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

Mentions

arxiv: arXiv 2610.08935#Y7Q2 (statement). In G02N9D40B9/e1, lemma 7.3.9

History

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

ZFNWPAJF4R ZFNWPAJF4R

URI	`m2://inv/ZFNWPAJF4R`
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.06556#7OBQ (statement). In KW8C7VE9XR/e1, theorem 28

History

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

Lag-one projection of the inert and stabilized limits ZFNWWD1RXG

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

Mentions

arxiv: arXiv 2609.25545#AI5S, Lag-one projection of the inert and stabilized limits (statement)

History

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

the cones to scattering ZFNXB2BQNT

URI	`m2://inv/ZFNXB2BQNT`
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.13753#HXPC, the cones to scattering (statement). In AHM0PBKZZN/e1, lemma 3.3

History

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

Variations ZFP7MZDB57

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

Mentions

wikipedia: Wikipedia Morris method#NRRK, Variations (statement)

History

2026-11-02: add by m2/dev

ZFPAQ165D0 ZFPAQ165D0

URI	`m2://inv/ZFPAQ165D0`
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.06033#80GP (statement). In Q1YDP67JQ4/e1, lemma 2.2

History

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

Energy bounds for MPS ZFPCPFV4F4

URI	`m2://inv/ZFPCPFV4F4`
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.02166#9KES, Energy bounds for MPS (statement). In R6RF3P6D5A/e1, proposition 3.14

History

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

Theorem ZFPFA89CJQ

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

Mentions

wikipedia: Wikipedia Koecher–Vinberg theorem#VDAL, Theorem (statement)

History

2026-11-02: add by m2/dev

Applications ZFPFH1SJAS

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

Mentions

wikipedia: Wikipedia Sinkhorn's theorem#RW8N, Applications (example)

History

2026-11-02: add by m2/dev

Norm of a quaternion ZFPR74Z0B6

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

Mentions

wikipedia: Wikipedia Quaternion#WXMW, Norm of a quaternion (unknown)

History

2026-11-02: add by m2/dev

Bleiler--Litherland ZFPV0VVQ01

URI	`m2://inv/ZFPV0VVQ01`
Kind	conjecture
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.31757#9SK9, Bleiler--Litherland (conjecture). In KBJHAD5TTY/e1, conjecture 1.1

History

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

Almgren's isomorphism theorem ZFPYBRX74F

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

Mentions

wikipedia: Wikipedia Almgren's isomorphism theorem, Almgren's isomorphism theorem (statement). Also Wikidata Q106178732

History

2026-11-02: add by m2/dev

K-epsilon turbulence model ZFQ0KY4B9S

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

Mentions

wikipedia: Wikipedia K-epsilon turbulence model, K-epsilon turbulence model (definition). Also Wikidata Q17148242

History

2026-11-02: add by m2/dev

Definitions ZFQ166ZBY9

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

Mentions

wikipedia: Wikipedia Order (ring theory)#CDMN, Definitions (definition)

History

2026-11-02: add by m2/dev

Theorem 4 ZFQ5ADKYJK

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

Mentions

wikipedia: Wikipedia Generic-case complexity#W40Z, Theorem 4 (statement)

History

2026-11-02: add by m2/dev

Properties ZFQ9SVJV28

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

Mentions

wikipedia: Wikipedia Lattice of subgroups#9YK5, Properties (statement)

History

2026-11-02: add by m2/dev

Eiffel Tower graph ZFQG7HQEJJ

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

Mentions

wikidata: Wikidata Q137538057, Eiffel Tower graph (unknown). Also House of Graphs 824, MathWorld EiffelTowerGraph

History

2026-10-26: add by m2/dev

ZFQHHM037A ZFQHHM037A

URI	`m2://inv/ZFQHHM037A`
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 2404.05451#75WB (statement). In 5YMFYAFFJ7/e1, corollary 4.5

History

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

Examples ZFQKPF5VXM

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

Mentions

wikipedia: Wikipedia Substructural logic#LHZM, Examples (example)

History

2026-11-02: add by m2/dev

Neumann–Neumann methods ZFQPMKKRDR

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

Mentions

wikipedia: Wikipedia Neumann–Neumann methods, Neumann–Neumann methods (definition). Also Wikidata Q7001956

History

2026-11-02: add by m2/dev

ZFQVEQZYXX ZFQVEQZYXX

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

Mentions

arxiv: arXiv 2604.10080#78WL (definition). In KM2FWKP93A/e1, definition 2.10

History

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

Scattering parameters ZFQWY6PXV3

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

Mentions

wikipedia: Wikipedia Scattering parameters, Scattering parameters (definition). Also Wikidata Q2165620

History

2026-11-02: add by m2/dev

Riemann Sums on an Arc ZFQZXDNG6N

URI	`m2://inv/ZFQZXDNG6N`
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.13222#SNHD, Riemann Sums on an Arc (statement). In Z6WA2R0J50/e1, lemma D.1

History

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

ZFR7VQ4NTT ZFR7VQ4NTT

URI	`m2://inv/ZFR7VQ4NTT`
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.03477#VZ2Z (statement). In GXN3D4G4HE/e1, theorem 3.5

History

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

ZFRBQFYJ9Q ZFRBQFYJ9Q

URI	`m2://inv/ZFRBQFYJ9Q`
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.16399#XULR (statement). In 2N87D4KTSY/e1, lemma 4.4

History

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

\bf Independent set ZFRVJVMVKV

URI	`m2://inv/ZFRVJVMVKV`
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#GGO0, \bf Independent set (definition). In N7XJ16700B/e1, definition 6

History

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

Von Neumann's 1929 axiom system ZFRWWEN075

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

Mentions

wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#8B3P, Von Neumann's 1929 axiom system (statement)

History

2026-11-02: add by m2/dev

Properties ZFS13M635B

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

Mentions

wikipedia: Wikipedia Normal cone (variational analysis)#GXTD, Properties (statement)

History

2026-11-02: add by m2/dev

Overspill ZFSS7ZR6E6

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

Mentions

wikipedia: Wikipedia Overspill, Overspill (definition). Also Wikidata Q7113981

History

2026-11-02: add by m2/dev

Konrad Osterwalder ZFST16RWDP

URI	`m2://inv/ZFST16RWDP`
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#48KO, Konrad Osterwalder (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E5C3, Konrad Osterwalder (topic)

History

2026-11-02: add by m2/dev

No same-support recurrence ZFSZ6SBPXM

URI	`m2://inv/ZFSZ6SBPXM`
Kind	statement
Layer	research
MSC	37-XX, 53-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.26269#JNGE, No same-support recurrence (statement)

History

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

Error function ZFT39NYYC0

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

Mentions

wikipedia: Wikipedia List of statistics articles#VIN9, Error function (definition)

History

2026-11-02: add by m2/dev

ZFTB08FATD ZFTB08FATD

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

Mentions

arxiv: arXiv 2610.05314#2N4O (statement). In PA3B6C0WY7/e1, theorem 5.2

History

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

ZFTBWAP2TB ZFTBWAP2TB

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

Mentions

napkin: napkin tex/diffgeo/forms.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 43.6

History

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

ZFTKRD3XSP ZFTKRD3XSP

URI	`m2://inv/ZFTKRD3XSP`
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.07114#GQF1 (statement). In HP3TM356J6/e1, corollary 1

History

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

Computation of π ZFTPHW2M3A

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

Mentions

wikipedia: Wikipedia List of algorithms#AG2H, Computation of π (definition)

History

2026-11-02: add by m2/dev

coplanar ZFTRHB1E23

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#D6EH, coplanar (definition)

History

2026-11-02: add by m2/dev

Ordinally robust CCE ZFTWEG7GNC

URI	`m2://inv/ZFTWEG7GNC`
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.05428#GVAF, Ordinally robust CCE (statement). In 31MQPCA8SH/e1, theorem 3.1

History

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

$A_4^{(1)}$-type ZFTWKCRHQX

URI	`m2://inv/ZFTWKCRHQX`
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 2104.11433#G85A, $A_4^{(1)}$-type (statement). In X3TYD6TMCE/e1, theorem 1.4

History

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

ZFV6YZ7HNF ZFV6YZ7HNF

URI	`m2://inv/ZFV6YZ7HNF`
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.23941#A7X2 (statement)

History

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

ZFVCZG5R0Y ZFVCZG5R0Y

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

Mentions

arxiv: arXiv 2609.25188#DLER (definition)

History

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

ZFVD4ZMD49 ZFVD4ZMD49

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

Mentions

arxiv: arXiv 2609.36884#GE36 (definition). In Z7E16PFFCP/e1, definition 5.12

History

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

semiring ZFVEJ86ECE

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

Mentions

hott_book: hott_book index/A.12.3/semiring, semiring (concept). In N54F33XE07, index, section A.12.3

History

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

ZFVJS460H3 ZFVJS460H3

URI	`m2://inv/ZFVJS460H3`
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 2603.07541#FED6 (statement). In X3RFXWN6FW/e1, proposition 4.8

History

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

Boundedness of the backward Duhamel operators in tent spaces ZFVMPXEZRH

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

Mentions

arxiv: arXiv 2609.29712#VT3V, Boundedness of the backward Duhamel operators in tent spaces (statement)

History

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

ZFVZNHP3XN ZFVZNHP3XN

URI	`m2://inv/ZFVZNHP3XN`
Kind	statement
Layer	research
MSC	05-XX, 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.26762#F0T3 (statement)

History

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

ZFW0T0FFGP ZFW0T0FFGP

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IrrationalityRoot2.tex#thm:sqrtp (statement). In P1C114YBXG, theorem, section F

History

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

Fang--Li--Lin--Ma ZFW6N8HZX3

URI	`m2://inv/ZFW6N8HZX3`
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.06038#P0OZ, Fang--Li--Lin--Ma (statement). In 4TJGTZWJVK/e1, theorem 1.4

History

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

ZFW8HYJ9W9 ZFW8HYJ9W9

URI	`m2://inv/ZFW8HYJ9W9`
Kind	example
Layer	research
MSC	35-XX, 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.27918#34US (example)

History

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

ZFWD1HFMG6 ZFWD1HFMG6

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

Mentions

arxiv: arXiv 2610.05299#WHSS (statement). In 68AE571S4P/e1, proposition 2.22

History

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

Open mapping theorem ZFWJJKH2DG

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

Mentions

wikipedia: Wikipedia Functional analysis#BVD7, Open mapping theorem (statement)

History

2026-11-02: add by m2/dev

Tate duality ZFWKYWP6T5

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

Mentions

wikipedia: Wikipedia Tate duality, Tate duality (definition). Also Wikidata Q7687977

History

2026-11-02: add by m2/dev

finite measure ZFWTY6TPAX

URI	`m2://inv/ZFWTY6TPAX`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Finite measure 63Z1Q4FS23

Mentions

wikidata: Wikidata Q3307145, finite measure (definition). Also ProofWiki Definition:Finite_Measure
wikipedia: Wikipedia Finite measure, Finite measure (definition). Also Wikidata Q3307145

History

2026-10-26: add by m2/dev

density matrix ZFWZTG8K66

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

Mentions

wikidata: Wikidata Q831774, density matrix (unknown). Also EoM Density_matrix, nLab density matrix
wikipedia: Wikipedia Density matrix, Density matrix (definition). Also Wikidata Q831774

History

2026-10-26: add by m2/dev

Ahlswede–Daykin inequality ZFX2NFCGJE

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

Mentions

mathlib_1000: mathlib_1000 Q4695203, Four functions theorem (statement). Also Mathlib four_functions_theorem, Wikidata Q4695203
mathlib_overview: mathlib_overview Combinatorics > Set families > Four functions theorem, Four functions theorem (unknown). Also Mathlib four_functions_theorem
thousand_plus: thousand_plus Q4695203, Four functions theorem (statement). Also Mathlib four_functions_theorem, Wikidata Q4695203, Wikipedia Four functions theorem
wikipedia: Wikipedia Ahlswede–Daykin inequality, Ahlswede–Daykin inequality (statement). Also Wikidata Q4695203

History

2026-10-26: add by m2/dev

Incompressible Navier-Stokes equations ZFX6YDB726

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

Mentions

arxiv: arXiv 2408.06101#WVXE, Incompressible Navier-Stokes equations (unknown). In 2PA3W7F1RZ/e1, unknown 2.1

History

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

ZFXCAD8QZ4 ZFXCAD8QZ4

URI	`m2://inv/ZFXCAD8QZ4`
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.32383#FF84 (statement). In 94GZYA55Q5/e1, lemma 4

History

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

Data Encryption Standard ZFXDNH5Z4X

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

Mentions

wikipedia: Wikipedia List of cryptosystems#1HR0, Data Encryption Standard (definition)

History

2026-11-02: add by m2/dev

H-closed space ZFY0J5DKNK

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

Mentions

wikipedia: Wikipedia H-closed space, H-closed space (definition). Also Wikidata Q5627859

History

2026-11-02: add by m2/dev

ZFY0N4K5A6 ZFY0N4K5A6

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

Mentions

arxiv: arXiv 2609.32174#I7DO (definition). In GHKR740SG3/e1, definition 21.2

History

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

Template ZFY2RW8KTE

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

Mentions

arxiv: arXiv 2403.16840#M2VG, Template (definition). In K4CZQDD0G7/e1, definition 2.1

History

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

Chihara–Ismail polynomials ZFY3801XD9

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

Mentions

wikipedia: Wikipedia List of polynomial topics#NFDU, Chihara–Ismail polynomials (definition)

History

2026-11-02: add by m2/dev

ZFY42BAS3F ZFY42BAS3F

URI	`m2://inv/ZFY42BAS3F`
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.25435#7Z26 (statement)

History

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

ZFYFJZNKZ5 ZFYFJZNKZ5

URI	`m2://inv/ZFYFJZNKZ5`
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.23538#1LXZ (statement)

History

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

Philipp Frank ZFYHC3PCQ1

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#NLLD, Philipp Frank (unknown)

History

2026-11-02: add by m2/dev

Principal SU(2)-bundle ZFYP4QVMGM

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

Mentions

wikipedia: Wikipedia Principal SU(2)-bundle, Principal SU(2)-bundle (definition). Also Wikidata Q135221242

History

2026-11-02: add by m2/dev

Young measure ZFYSJ9G037

URI	`m2://inv/ZFYSJ9G037`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Young measure 6TQSVJQDEH

Mentions

wikidata: Wikidata Q8058552, Young measure (concept). Also nLab Young measure
wikipedia: Wikipedia Young measure, Young measure (definition). Also Wikidata Q8058552

History

2026-10-26: add by m2/dev

Underlying-set functors ZFYY77W3KZ

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

Mentions

arxiv: arXiv 2609.33469#B04K, Underlying-set functors (statement). In TC5QA4AB4Z/e1, proposition 3.19

History

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

ZFZ0RCGEMY ZFZ0RCGEMY

URI	`m2://inv/ZFZ0RCGEMY`
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.12329#05G9 (statement). In ZJQB9W60T6/e1, lemma 2.7

History

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

2144 ZFZ2W77E3F

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

Mentions

wikidata: Wikidata Q19241840, 2144 (statement). Also ProofWiki 2144

History

2026-10-26: add by m2/dev

Weber's law ZFZ8C4WNSE

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

Mentions

wikipedia: Wikipedia Weber–Fechner law#4QPX, Weber's law (statement)

History

2026-11-02: add by m2/dev

ZFZ8Q7Q55Q ZFZ8Q7Q55Q

URI	`m2://inv/ZFZ8Q7Q55Q`
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 2511.05069#D1LN (statement). In SFQBJBTW8K/e1, proposition 14.1

History

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

Jonathan Bagger ZFZ9B60ZJA

URI	`m2://inv/ZFZ9B60ZJA`
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 Q62691414, Jonathan Bagger (unknown). Also nLab Jonathan Bagger

History

2026-10-26: add by m2/dev

ZFZE69KRXP ZFZE69KRXP

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

Mentions

arxiv: arXiv 2609.36884#K7FF (definition). In Z7E16PFFCP/e1, definition 1.7

History

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

ZFZQ7A4Q05 ZFZQ7A4Q05

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

Mentions

arxiv: arXiv 2411.17412#1NO5 (statement). In DPBHYJBGKD/e1, proposition 3.17

History

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

ZFZQE643GE ZFZQE643GE

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

Mentions

arxiv: arXiv 2610.13680#O03Z (unknown). In QNBFHFZ3H0/e1, unknown 136

History

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