Inventory rows ZN

Giovanni Ceva ZN047PFQHC

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#QSXZ, Giovanni Ceva (topic)
wikipedia: Wikipedia List of Italian mathematicians#U5IY, Giovanni Ceva (topic)

History

2026-11-02: add by m2/dev

ZN0CHJ2V28 ZN0CHJ2V28

URI	`m2://inv/ZN0CHJ2V28`
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.38188#92KH (statement). In 7615KVXDB5/e1, lemma 3.14

History

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

homeomorphism ZN0GSYJX33

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

Mentions

wikidata: Wikidata Q584521, homeomorphism (unknown). Also MathWorld EdgeSplitting
wikipedia: Wikipedia Homeomorphism (graph theory), Homeomorphism (definition). Also Wikidata Q584521

History

2026-10-26: add by m2/dev

House with two rooms ZN0Q5RW9HE

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

Mentions

wikipedia: Wikipedia House with two rooms, House with two rooms (definition). Also Wikidata Q16902428

History

2026-11-02: add by m2/dev

ZN175QJHXH ZN175QJHXH

URI	`m2://inv/ZN175QJHXH`
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 2405.05684#4MFD (statement). In 1PR73ECTZB/e1, proposition 1

History

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

The angle at the threshold ZN17VPSQRV

URI	`m2://inv/ZN17VPSQRV`
Kind	statement
Layer	research
MSC	37-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 2610.09912#HKQC, The angle at the threshold (statement). In 65TJENWK7X/e1, lemma 14

History

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

Extensions ZN1AMFCWA0

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

Mentions

wikipedia: Wikipedia Necklace splitting problem#58OV, Extensions (statement)

History

2026-11-02: add by m2/dev

ZN1S33PDP1 ZN1S33PDP1

URI	`m2://inv/ZN1S33PDP1`
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.09561#BVHL (statement). In WDV5E2CVTR/e1, theorem 6.5

History

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

ZN24PQWTQY ZN24PQWTQY

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

Mentions

applied_combinatorics: applied_combinatorics source/s_probability_intro.ptx#example-6 (example). In QKM9DD2H56, example, section 10.1

History

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

NLOGIT ZN2C880H1H

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

Mentions

wikipedia: Wikipedia List of statistical software#RUDR, NLOGIT (unknown)

History

2026-11-02: add by m2/dev

Examples ZN2JB8ED47

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

Mentions

wikipedia: Wikipedia Upper and lower bounds#I5RF, Examples (example)

History

2026-11-02: add by m2/dev

Mercer's theorem ZN2JNXXBVH

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

Mentions

wikipedia: Wikipedia List of theorems#QKOJ, Mercer's theorem (statement)

History

2026-11-02: add by m2/dev

general relativity ZN2K3VV4ZT

URI	`m2://inv/ZN2K3VV4ZT`
Kind	topic
Layer	textbook
MSC	83Cxx
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q11452, general relativity (topic). Also ProofWiki Definition:Relativity_Theory/General
wikipedia: Wikipedia General relativity, General relativity (topic). Also Wikidata Q11452

History

2026-10-26: add by m2/dev

Subdivision ZN2KSFDWT8

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

Mentions

wikipedia: Wikipedia Subdivision (simplicial set), Subdivision (definition). Also Wikidata Q134017226

History

2026-11-02: add by m2/dev

Zahorski theorem ZN2R5EAS43

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

Mentions

wikipedia: Wikipedia List of theorems#019X, Zahorski theorem (statement)

History

2026-11-02: add by m2/dev

ZN2YA7PFJE ZN2YA7PFJE

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

Mentions

arxiv: arXiv 2610.12633#LPR7 (definition). In NGZ5AZ70NN/e1, definition 1.3

History

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

Riccati-Bessel function ZN2YFF8V58

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

Mentions

wikipedia: Wikipedia Bessel function#4J71, Riccati-Bessel function (unknown)

History

2026-11-02: add by m2/dev

Sun's curious identity ZN33SQVQ7X

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

Mentions

wikipedia: Wikipedia List of mathematical identities#9BYT, Sun's curious identity (statement)

History

2026-11-02: add by m2/dev

Alfred H. Clifford ZN39HJQ2DX

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

Mentions

wikipedia: Wikipedia Alfred H. Clifford, Alfred H. Clifford (topic). Also Wikidata Q2835172

History

2026-11-02: add by m2/dev

ZN3JJAHYNS ZN3JJAHYNS

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

Mentions

arxiv: arXiv 2609.39700#6NGN (statement). In E7W2HDNEKJ/e1, corollary 10.19

History

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

ZN3JMT73AC ZN3JMT73AC

URI	`m2://inv/ZN3JMT73AC`
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.04069#MRYC (statement). In ZA7WXGZYWC/e1, proposition 2.17

History

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

Turán's first theorem ZN3RNHBC72

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

Mentions

wikipedia: Wikipedia Turán's method#U367, Turán's first theorem (statement)

History

2026-11-02: add by m2/dev

Exponential factorial ZN455P5RQE

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

Mentions

wikipedia: Wikipedia List of sums of reciprocals#H2QF, Exponential factorial (definition)

History

2026-11-02: add by m2/dev

Representations ZN47A5S8TM

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

Mentions

wikipedia: Wikipedia Boolean algebra (structure)#MU7P, Representations (definition)

History

2026-11-02: add by m2/dev

ZN49WTMSDC ZN49WTMSDC

URI	`m2://inv/ZN49WTMSDC`
Kind	statement
Layer	research
MSC	13-XX, 14-XX, 18-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.22161#KTQM (statement). In FVM35KPN8C/e1, proposition 4.8

History

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

Wieferich@Home ZN4E74JDN7

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

Mentions

wikipedia: Wikipedia Wieferich prime#ZFUE, Wieferich@Home (unknown)

History

2026-11-02: add by m2/dev

Properties ZN4EAVVJNK

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

Mentions

wikipedia: Wikipedia Trace identity#WE11, Properties (statement)

History

2026-11-02: add by m2/dev

Compact Gelfand triple and Galerkin energy bound ZN4MW30K1Z

URI	`m2://inv/ZN4MW30K1Z`
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.33033#2LKX, Compact Gelfand triple and Galerkin energy bound (statement). In AJWBAHJ8VD/e1, proposition 5.9

History

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

Object-centric ZN4RR11Y0T

URI	`m2://inv/ZN4RR11Y0T`
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 2609.20478#5Q7J, Object-centric (definition)

History

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

ZN58HMJBR2 ZN58HMJBR2

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 27.6

History

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

Homological integration ZN5CV0ZMQX

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

Mentions

wikipedia: Wikipedia Homological integration, Homological integration (definition). Also Wikidata Q5891419

History

2026-11-02: add by m2/dev

Hyperplane arrangement ZN5DWKSNPM

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

Mentions

wikipedia: Wikipedia List of combinatorial computational geometry topics#STLL, Hyperplane arrangement (definition)

History

2026-11-02: add by m2/dev

Simons' theorem ZN5M145N33

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

Mentions

wikipedia: Wikipedia Ursescu theorem#HAND, Simons' theorem (statement)

History

2026-11-02: add by m2/dev

Nuisance variable ZN5S44F8T2

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

Mentions

wikipedia: Wikipedia List of statistics articles#B12M, Nuisance variable (definition)

History

2026-11-02: add by m2/dev

Categorical distribution ZN64PJKHCD

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#H4JU, Categorical distribution (definition)

History

2026-11-02: add by m2/dev

Common sense ZN6A4JSDYZ

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

Mentions

wikipedia: Wikipedia Common sense, Common sense (definition). Also Wikidata Q332880

History

2026-11-02: add by m2/dev

ZN6F7NDGCC ZN6F7NDGCC

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

Mentions

arxiv: arXiv 2610.22218#760F (statement). In 338GKREFVP/e1, theorem
arxiv: arXiv 2610.22218#JKEP (statement). In 338GKREFVP/e1, theorem 2

History

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

Statement ZN6GGEEGNA

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

Mentions

wikipedia: Wikipedia Binomial theorem#UGFX, Statement (statement)

History

2026-11-02: add by m2/dev

Donnelly, Peter ZN6HF8N6C0

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

Mentions

wikipedia: Wikipedia List of statisticians#73O8, Donnelly, Peter (topic)

History

2026-11-02: add by m2/dev

ZN6M7E2XM6 ZN6M7E2XM6

URI	`m2://inv/ZN6M7E2XM6`
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 2609.30407#MPX6 (definition). In HNY6N561H5/e1, definition 2.4

History

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

ZN718CYFES ZN718CYFES

URI	`m2://inv/ZN718CYFES`
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 2204.01073#L96S (statement). In W4TYN4PGE8/e1, lemma 2.28

History

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

ZN72431AXA ZN72431AXA

URI	`m2://inv/ZN72431AXA`
Kind	definition
Layer	research
MSC	18-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 2403.16388#NLND (definition). In HH4ADHZ8XD/e1, definition 2.1

History

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

ZN7CY5XY95 ZN7CY5XY95

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

Mentions

arxiv: arXiv 2610.16631#ZF58 (statement). In T735PRQNJB/e1, theorem 5.6

History

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

The Formula ZN7QMTREH2

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

Mentions

wikipedia: Wikipedia Pesin Entropy Formula#MEM9, The Formula (statement)

History

2026-11-02: add by m2/dev

Alternating polynomial ZN7X8ATYMB

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

Mentions

wikipedia: Wikipedia Alternating polynomial, Alternating polynomial (definition). Also Wikidata Q4736415

History

2026-11-02: add by m2/dev

ZN7ZECMRNB ZN7ZECMRNB

URI	`m2://inv/ZN7ZECMRNB`
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.11441#G64A (statement). In RNXV4Q58TY/e1, lemma 2.3

History

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

ZN80STXPMN ZN80STXPMN

URI	`m2://inv/ZN80STXPMN`
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 2610.08776#PFVK (statement). In ZQ4M778EA7/e1, proposition 3.12

History

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

ZN827NEKZ9 ZN827NEKZ9

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

Mentions

austin_ula: austin_ula src/section4-1.xml#activity-eigen-geom (exercise). In 649HGZKE96, activity, section 4.1.2

History

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

Bohr–Van Leeuwen theorem ZN82YCG444

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

Mentions

mathlib_1000: mathlib_1000 Q890875, Bohr–van Leeuwen theorem (statement). Also Wikidata Q890875
thousand_plus: thousand_plus Q890875, Bohr–van Leeuwen theorem (statement). Also Wikidata Q890875, Wikipedia Bohr–van Leeuwen theorem
wikipedia: Wikipedia Bohr–Van Leeuwen theorem, Bohr–Van Leeuwen theorem (statement). Also Wikidata Q890875

History

2026-10-26: add by m2/dev

ZN87V9HN6H ZN87V9HN6H

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_bin-coeff.ptx#example-2 (example). In QKM9DD2H56, example, section 2.5

History

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

ZN8BQKWE32 ZN8BQKWE32

URI	`m2://inv/ZN8BQKWE32`
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.03555#MTHJ (statement). In 9JZJTRRVR1/e1, lemma 7.3

History

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

$q$-closure ZN8C7GTVG1

URI	`m2://inv/ZN8C7GTVG1`
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.07508#6IXE, $q$-closure (statement). In TPA3E67MKK/e1, lemma 5.1

History

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

Definition ZN8P5KNZW6

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

Mentions

wikipedia: Wikipedia Schiffler point#W880, Definition (definition)

History

2026-11-02: add by m2/dev

ZN8PVE1CKC ZN8PVE1CKC

URI	`m2://inv/ZN8PVE1CKC`
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.2047#LSBZ (statement). In F3MWRNBNED/e1, proposition 6.3

History

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

Connected-square reduction ZN8ZMFJJ2A

URI	`m2://inv/ZN8ZMFJJ2A`
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.38993#H108, Connected-square reduction (statement). In AFKQK866Y1/e1, lemma 2.3

History

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

Weinstock, Arnold ZN93ATZS0H

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

Mentions

wikipedia: Wikipedia List of statisticians#YFPI, Weinstock, Arnold (unknown)

History

2026-11-02: add by m2/dev

Down}stream expansion rate estimate for $\mathrm{md}^{-\delta} \circ F$ ZN9F04GVXG

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

Mentions

arxiv: arXiv 2610.10051#XZJK, Down}stream expansion rate estimate for $\mathrm{md}^{-\delta} \circ F$ (statement). In VCHH2AC34R/e1, proposition 3.5

History

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

Applications ZN9W9PD6MD

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

Mentions

wikipedia: Wikipedia Lagrange inversion theorem#0WG4, Applications (example)

History

2026-11-02: add by m2/dev

ZN9WGT4CRY ZN9WGT4CRY

URI	`m2://inv/ZN9WGT4CRY`
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.02689#EDA4 (statement). In 7BWXR38MNE/e1, lemma 2.7

History

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

Conditional trigonometric identity ZN9WQ94VE7

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

Mentions

wikipedia: Wikipedia List of trigonometric identities#MNV4, Conditional trigonometric identity (unknown)

History

2026-11-02: add by m2/dev

NSAKEY ZN9WSGEN26

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

Mentions

wikipedia: Wikipedia NSAKEY, NSAKEY (definition). Also Wikidata Q1945356

History

2026-11-02: add by m2/dev

Applications ZN9X4YEVNN

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

Mentions

wikipedia: Wikipedia Boundary value problem#AGGJ, Applications (example)

History

2026-11-02: add by m2/dev

ZNA4W29015 ZNA4W29015

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

Mentions

arxiv: arXiv 2609.20522#AT6P (statement)

History

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

Places under a constant-field extension ZNATAK96RE

URI	`m2://inv/ZNATAK96RE`
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.32834#SVZ7, Places under a constant-field extension (statement). In N4M6B8EMCW/e1, lemma 2.14

History

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

Principle of marginality ZNAW4YEMEA

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

Mentions

wikipedia: Wikipedia List of statistics articles#KLCG, Principle of marginality (statement)

History

2026-11-02: add by m2/dev

ZNAXFYH6R5 ZNAXFYH6R5

URI	`m2://inv/ZNAXFYH6R5`
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#BLSA (statement). In SFQBJBTW8K/e1, theorem 1.2

History

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

ZNAZC2EEES ZNAZC2EEES

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-15 (exercise). In E59CDZA4DP, exercise, section 11.1.5

History

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

sign function ZNBAQZEQK4

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

Mentions

wikidata: Wikidata Q236813, sign function (definition). Also ProofWiki Definition:Signum_Function
wikipedia: Wikipedia Sign function, Sign function (definition). Also Wikidata Q236813

History

2026-10-26: add by m2/dev

ZNBAWPYD1H ZNBAWPYD1H

URI	`m2://inv/ZNBAWPYD1H`
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.24930#E54F (statement)

History

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

ZNBHH5D1RH ZNBHH5D1RH

URI	`m2://inv/ZNBHH5D1RH`
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.30203#2I3T (statement)

History

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

Richard P. Stanley ZNBKN3EMXA

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

Mentions

wikipedia: Wikipedia Richard P. Stanley, Richard P. Stanley (topic). Also Wikidata Q936610

History

2026-11-02: add by m2/dev

ZNBRCSH7G2 ZNBRCSH7G2

URI	`m2://inv/ZNBRCSH7G2`
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 2108.03672#N9FQ (statement). In EZZSZ1F071/e1, fact 1.22

History

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

ZNBY5H0RXA ZNBY5H0RXA

URI	`m2://inv/ZNBY5H0RXA`
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 2511.17751#VWR9 (statement). In J39X0NB31S/e1, proposition 4.37

History

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

multiplicative principle ZNBZRGMNC0

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

Mentions

levin_dmoi: levin_dmoi index/2.1.1/multiplicative-principle, multiplicative principle (concept). In Y91XFCEVHQ, index, section 2.1.1

History

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

ZNC49MCR5G ZNC49MCR5G

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

Mentions

arxiv: arXiv 2610.05652#JB90 (statement). In 8BNPFYQDQX/e1, corollary 9.2

History

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

ZNCABJ0HZJ ZNCABJ0HZJ

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

Mentions

open_logic: open_logic content/many-valued-logic/three-valued-logics/lukasiewicz.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 42.5

History

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

Notations ZNCQ69TWV0

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

Mentions

wikipedia: Wikipedia Automorphisms of the symmetric and alternating groups#FK77, Notations (definition)

History

2026-11-02: add by m2/dev

isosceles triangle ZNCRXJ4R55

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

Mentions

wikidata: Wikidata Q875937, isosceles triangle (unknown). Also MathWorld IsoscelesTriangle
wikipedia: Wikipedia Isosceles triangle, Isosceles triangle (definition). Also Wikidata Q875937

History

2026-10-26: add by m2/dev

Example ZNCT9T7G80

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

Mentions

wikipedia: Wikipedia Divine equilibrium#L3K8, Example (example)

History

2026-11-02: add by m2/dev

ZNCZN3F84S ZNCZN3F84S

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

Mentions

arxiv: arXiv 2610.14803#0RQH (definition). In VAEVDTBD3B/e1, definition 4.12

History

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

Definition ZNDC3DJ19V

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

Mentions

wikipedia: Wikipedia Location parameter#8K8M, Definition (definition)

History

2026-11-02: add by m2/dev

ZNDJW7NPB9 ZNDJW7NPB9

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

Mentions

arxiv: arXiv 2609.36509#ZNMM (statement). In DPJ15KW23C/e1, lemma 8.3

History

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

ZNDM4C1TJ9 ZNDM4C1TJ9

URI	`m2://inv/ZNDM4C1TJ9`
Kind	statement
Layer	research
MSC	51-XX, 52-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.01087#YISL (statement). In 7QXAZXGNPQ/e1, lemma 5.1

History

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

HOL Light ZNDNM864ZX

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

Mentions

wikidata: Wikidata Q5635438, HOL Light (unknown). Also nLab HOL Light

History

2026-10-26: add by m2/dev

Mordell ZNDP0X7QR9

URI	`m2://inv/ZNDP0X7QR9`
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.14841#GG4A, Mordell (statement). In 6V5HP8W1ZG/e1, lemma 6

History

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

Ramanujan Constant ZNDS9J51XF

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

Mentions

wikipedia: Wikipedia Heegner number#WQGA, Ramanujan Constant (unknown)

History

2026-11-02: add by m2/dev

closed manifold ZNE2VAY0EM

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

Mentions

wikidata: Wikidata Q1517914, closed manifold (unknown). Also EoM Closed_manifold, MathWorld ClosedManifold, nLab closed manifold
wikipedia: Wikipedia Closed manifold, Closed manifold (definition). Also Wikidata Q1517914

History

2026-10-26: add by m2/dev

ZNE9GWVA7V ZNE9GWVA7V

URI	`m2://inv/ZNE9GWVA7V`
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.09565#FS5F (statement). In 7A5YZACF1E/e1, fact 1

History

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

Test statistic ZNEC4JMV30

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

Mentions

wikipedia: Wikipedia Test statistic, Test statistic (definition). Also Wikidata Q1461038

History

2026-11-02: add by m2/dev

rank ZNEFGKG9E7

URI	`m2://inv/ZNEFGKG9E7`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Rank of a matrix 0ZC9YTXZRY

Mentions

wikidata: Wikidata Q656784, rank (unknown). Also MathWorld MatrixRank
wikipedia: Wikipedia Rank (linear algebra), Rank (definition). Also Wikidata Q656784

History

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

ZNEH5XTN70 ZNEH5XTN70

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

Mentions

arxiv: arXiv 2610.17045#BYMA (statement). In PA6JQDSKQT/e1, theorem 7.12

History

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

ZNEQMDN34D ZNEQMDN34D

URI	`m2://inv/ZNEQMDN34D`
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.21278#P0FD (statement). In DCH1JJGGYH/e1, theorem B

History

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

ratio ZNEXQ9WDR4

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#DUTI, ratio (definition)

History

2026-11-02: add by m2/dev

ZNF14JXW9A ZNF14JXW9A

URI	`m2://inv/ZNF14JXW9A`
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.19249#JGXN (statement). In 2X586J6KQ1/e1, theorem 6.2

History

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

Pseudoisotopy theorem ZNFBNNNWS9

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

Mentions

wikipedia: Wikipedia Pseudoisotopy theorem, Pseudoisotopy theorem (statement). Also Wikidata Q7254880

History

2026-11-02: add by m2/dev

ZNFDCFBA6E ZNFDCFBA6E

URI	`m2://inv/ZNFDCFBA6E`
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 2509.05577#97WO (statement). In EFWBREMZAP/e1, proposition 3.2

History

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

ZNFMQTT6KF ZNFMQTT6KF

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

Mentions

napkin: napkin tex/riemann-surface/line-bundles.tex#definition-3 (definition). In RZP28ERRZV, definition, section 85.4

History

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

Unitary reconstruction ZNFQ82CJFX

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

Mentions

arxiv: arXiv 2610.11652#O7SK, Unitary reconstruction (statement). In VEXM27M8Q1/e1, corollary 5.5

History

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

Examples ZNFS46BHAC

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

Mentions

wikipedia: Wikipedia Ordered set operators#MTUU, Examples (example)

History

2026-11-02: add by m2/dev

Sierpiński space ZNFTW6X5DV

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

Mentions

wikipedia: Wikipedia List of examples in general topology#S85A, Sierpiński space (definition)
wikipedia: Wikipedia List of things named after Wacław Sierpiński#J2O1, Sierpiński space (definition)

History

2026-11-02: add by m2/dev

ZNG7JDB8FP ZNG7JDB8FP

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

Mentions

arxiv: arXiv 2610.03719#YVPR (statement). In 8MDK189ZMB/e1, proposition 3.10

History

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

ZNGC7B5GAR ZNGC7B5GAR

URI	`m2://inv/ZNGC7B5GAR`
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 2508.02432#HX4D (statement). In B366ACYB37/e1, fact 2

History

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

Rolin Wavre ZNGDGBS7GQ

URI	`m2://inv/ZNGDGBS7GQ`
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#0CZ3, Rolin Wavre (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1MJM, Rolin Wavre (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8HUM, Rolin Wavre (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T78B, Rolin Wavre (topic)

History

2026-11-02: add by m2/dev

Systat ZNH7JS5MXB

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

Mentions

wikipedia: Wikipedia List of statistical software#KOQ5, Systat (definition)

History

2026-11-02: add by m2/dev

Center for Study of Testing, Evaluation, and Educational Policy (CSTEEP) ZNHEFETAJB

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

Mentions

wikipedia: Wikipedia List of research centers at Boston College#9GDX, Center for Study of Testing, Evaluation, and Educational Policy (CSTEEP) (unknown)

History

2026-11-02: add by m2/dev

ZNHGFQHGYM ZNHGFQHGYM

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_logic-prop.ptx#example-3 (example). In Y91XFCEVHQ, example, section 4.1.2

History

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

Diagonalizable derivation ZNHHF3C3MK

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

Mentions

arxiv: arXiv 2610.08091#OOO2, Diagonalizable derivation (definition). In MS13WE3CSD/e1, definition 2.12

History

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

Haffner og Haagaas ZNHV516HDC

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

Mentions

wikipedia: Wikipedia Haffner og Haagaas, Haffner og Haagaas (definition). Also Wikidata Q19373484

History

2026-11-02: add by m2/dev

Bride's Chair ZNHYPH4NHD

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

Mentions

wikipedia: Wikipedia Bride's Chair, Bride's Chair (definition). Also Wikidata Q123774632

History

2026-11-02: add by m2/dev

Lsh ZNJAWY3CGK

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

Mentions

wikipedia: Wikipedia Lsh, Lsh (definition). Also Wikidata Q307566

History

2026-11-02: add by m2/dev

ZNJJGNA6G4 ZNJJGNA6G4

URI	`m2://inv/ZNJJGNA6G4`
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.12810#7E8M (statement). In DR35633CPN/e1, lemma 7.6

History

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

ZNJRT564H2 ZNJRT564H2

URI	`m2://inv/ZNJRT564H2`
Kind	unknown
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.07573#8YFM (unknown). In PZF6C15TP6/e1, unknown

History

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

ZNJVEJ9ZJ8 ZNJVEJ9ZJ8

URI	`m2://inv/ZNJVEJ9ZJ8`
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 2409.03730#VKC4 (statement). In ADEX39KM1T/e1, theorem 4.4

History

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

ZNJW7279X9 ZNJW7279X9

URI	`m2://inv/ZNJW7279X9`
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.12731#V50M (statement). In 2NCV1M6WYS/e1, lemma 4.1

History

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

Abdias Treu ZNK11MS5T1

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

Mentions

wikipedia: Wikipedia Abdias Treu, Abdias Treu (topic). Also Wikidata Q308164

History

2026-11-02: add by m2/dev

Polynomial composition ZNK5BZ9ECK

URI	`m2://inv/ZNK5BZ9ECK`
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.19243#5M8Z, Polynomial composition (statement). In 8CSXBTYKDT/e1, lemma 2.1

History

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

ZNK9TBNXJF ZNK9TBNXJF

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

Mentions

arxiv: arXiv 2609.36423#0K2D (statement). In Q5Z178SAHP/e1, theorem 5.6

History

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

log-metalog distribution ZNKH3QVXZ4

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

Mentions

wikipedia: Wikipedia List of probability distributions#SM5L, log-metalog distribution (definition)

History

2026-11-02: add by m2/dev

coefficient of variation ZNKKT4D9P9

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

Mentions

wikidata: Wikidata Q623738, coefficient of variation (unknown). Also MathWorld VariationCoefficient
wikipedia: Wikipedia Coefficient of variation, Coefficient of variation (definition). Also Wikidata Q623738

History

2026-10-26: add by m2/dev

Artin's induction theorem ZNKQPA38FB

URI	`m2://inv/ZNKQPA38FB`
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#LGB7, Artin's induction theorem (statement)

History

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

inductive-recursive type ZNKT0YCZA2

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

Mentions

hott_book: hott_book index/8.7/inductive-recursive-type, inductive-recursive type (concept). In N54F33XE07, index, section 8.7

History

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

Haar measure ZNKZ1T0CQF

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

Mentions

wikipedia: Wikipedia List of harmonic analysis topics#LO6Q, Haar measure (definition)
wikipedia: Wikipedia List of integration and measure theory topics#UKKK, Haar measure (definition)
wikipedia: Wikipedia List of Fourier analysis topics#WZE2, Haar measure (definition)

History

2026-11-02: add by m2/dev

Carleman's condition ZNM3Y0SW76

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

Mentions

wikipedia: Wikipedia Carleman's condition, Carleman's condition (definition). Also Wikidata Q5041151

History

2026-11-02: add by m2/dev

X̅ and s chart ZNMNVEAJ11

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

Mentions

wikipedia: Wikipedia X̅ and s chart, X̅ and s chart (definition). Also Wikidata Q2597861

History

2026-11-02: add by m2/dev

ZNMQSKAZ91 ZNMQSKAZ91

URI	`m2://inv/ZNMQSKAZ91`
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#ZV5U (statement). In G02N9D40B9/e1, proposition 5.1.7

History

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

Statement ZNMTPK5NTN

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

Mentions

wikipedia: Wikipedia Rodrigues' formula#5LI9, Statement (statement)

History

2026-11-02: add by m2/dev

disjoint union of manifolds ZNMWDG99G1

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

Mentions

mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > disjoint union of manifolds, disjoint union of manifolds (unknown). Also Mathlib IsManifold.disjointUnion

History

2026-10-26: add by m2/dev

ZNN2EAVAFT ZNN2EAVAFT

URI	`m2://inv/ZNN2EAVAFT`
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#8J8U (statement). In 9B5TNEBJHV/e1, lemma 1.6

History

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

ZNNFA1P4SS ZNNFA1P4SS

URI	`m2://inv/ZNNFA1P4SS`
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.13817#Z1E1 (statement). In BMSAXTDV47/e1, lemma 2.15

History

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

Martin Roček ZNNH6KWJRN

URI	`m2://inv/ZNNH6KWJRN`
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 Q16499829, Martin Roček (unknown). Also nLab Martin Roček

History

2026-10-26: add by m2/dev

radius of convergence ZNNH6RAVZY

URI	`m2://inv/ZNNH6RAVZY`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Radius of convergence 0N288P2TB5

Mentions

wikidata: Wikidata Q1428097, radius of convergence (concept). Also MathWorld RadiusofConvergence
wikipedia: Wikipedia Radius of convergence, Radius of convergence (definition). Also Wikidata Q1428097

History

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

Horizontal coordinate system ZNNKE3MMSZ

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

Mentions

wikipedia: Wikipedia Horizontal coordinate system, Horizontal coordinate system (definition). Also Wikidata Q625696

History

2026-11-02: add by m2/dev

Structure theorem for factorial amenable II$_1$ tracially complete $C^*$-algebras ZNNNB5TX8F

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

Mentions

arxiv: arXiv 2610.09390#7DHC, Structure theorem for factorial amenable II$_1$ tracially complete $C^*$-algebras (statement). In 7SSKW778T8/e1, theorem 5

History

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

Ron Rivest ZNNNNHHGC5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#UCIO, Ron Rivest (unknown)

History

2026-11-02: add by m2/dev

ZNNR6CTJ26 ZNNR6CTJ26

URI	`m2://inv/ZNNR6CTJ26`
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.06463#GEVY (statement). In 3WWY9K1K9V/e1, theorem 2

History

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

megaelectronvolt ZNNTZ3E94R

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

Mentions

wikidata: Wikidata Q72081071, megaelectronvolt (unknown). Also nLab MeV

History

2026-10-26: add by m2/dev

ZNNW2GFFH1 ZNNW2GFFH1

URI	`m2://inv/ZNNW2GFFH1`
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.24078#OJNJ (statement)

History

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

ZNNZR3JK1M ZNNZR3JK1M

URI	`m2://inv/ZNNZR3JK1M`
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.33219#IM97 (statement). In ETTQWMJZXJ/e1, lemma 4

History

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

ZNP23SCP72 ZNP23SCP72

URI	`m2://inv/ZNP23SCP72`
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.23975#C6ST (statement)

History

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

ZNP3X2CP2D ZNP3X2CP2D

URI	`m2://inv/ZNP3X2CP2D`
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.02751#0BCB (statement). In MWGXPXF3BW/e1, lemma 24

History

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

ZNP72QVDR8 ZNP72QVDR8

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

Mentions

arxiv: arXiv math/0008020#SDNO (statement). In 8K466RA3HH/e1, corollary 2

History

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

Interquartile range ZNPGKRZW69

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

Mentions

wikipedia: Wikipedia List of statistics articles#VHQO, Interquartile range (definition)

History

2026-11-02: add by m2/dev

ZNPHGN7RM9 ZNPHGN7RM9

URI	`m2://inv/ZNPHGN7RM9`
Kind	statement
Layer	research
MSC	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 2610.16203#29NO (statement). In 43TBS9P2PX/e1, proposition 2.10

History

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

Gladys Gregory ZNPJPTMMH6

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

Mentions

wikipedia: Wikipedia Gladys Gregory, Gladys Gregory (topic). Also Wikidata Q123615977

History

2026-11-02: add by m2/dev

ZNPPTGZGCX ZNPPTGZGCX

URI	`m2://inv/ZNPPTGZGCX`
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#SMZ0 (statement). In YNQHA63Z2B/e1, proposition 6.3

History

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

Edward Linfoot ZNPPYST1SA

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

Mentions

wikipedia: Wikipedia Edward Linfoot, Edward Linfoot (topic). Also Wikidata Q5344148

History

2026-11-02: add by m2/dev

514 (number) ZNPSMGKPYK

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

Mentions

wikipedia: Wikipedia 500 (number)#XNQX, 514 (number) (unknown)

History

2026-11-02: add by m2/dev

Graph Modelling Language ZNPT4NZC1V

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

Mentions

wikipedia: Wikipedia Graph Modelling Language, Graph Modelling Language (definition). Also Wikidata Q1543319

History

2026-11-02: add by m2/dev

Grünbaum–Nash-Williams conjecture ZNQ6SYS1DR

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

Mentions

wikipedia: Wikipedia Grünbaum–Nash-Williams conjecture, Grünbaum–Nash-Williams conjecture (conjecture). Also Wikidata Q135397353

History

2026-11-02: add by m2/dev

Sylvia Richardson ZNQ7N11N91

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

Mentions

wikipedia: Wikipedia List of presidents of the Royal Statistical Society#18B5, Sylvia Richardson (unknown)

History

2026-11-02: add by m2/dev

ZNQ8NQX22J ZNQ8NQX22J

URI	`m2://inv/ZNQ8NQX22J`
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.10372#9AWS (statement). In P77W283VXT/e1, lemma 6.4

History

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

\textbf{Explicit counterexample on the torus $\mathbb{T}^2$ ZNQHZ8M4HN

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

Mentions

arxiv: arXiv 2610.17032#RMKL, \textbf{Explicit counterexample on the torus $\mathbb{T}^2$ (example). In MXPK9A2HK2/e1, example B.5

History

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

\parencite[Thm. 2.7]{pritchardLinearQuadraticControl1987 ZNQJZ83CP5

URI	`m2://inv/ZNQJZ83CP5`
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.25431#8SYO, \parencite[Thm. 2.7]{pritchardLinearQuadraticControl1987 (statement)

History

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

Theorem 2.4, Theorem 4.3 ZNQSD25YC8

URI	`m2://inv/ZNQSD25YC8`
Kind	statement
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 2503.22636#LZHO, Theorem 2.4, Theorem 4.3 (statement). In 2X2A6MT0QD/e1, theorem 2.27

History

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

ZNQW9P4F4T ZNQW9P4F4T

URI	`m2://inv/ZNQW9P4F4T`
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.20892#BXUX (statement). In CPEWVB0XHR/e1, theorem

History

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

Full Domain Hash ZNR09Y83PB

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

Mentions

wikipedia: Wikipedia Full Domain Hash, Full Domain Hash (definition). Also Wikidata Q1473659

History

2026-11-02: add by m2/dev

ZNR4HE5MJ3 ZNR4HE5MJ3

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

Mentions

arxiv: arXiv 2204.13401#WKEL (statement). In B8MJT0GGW8/e1, theorem 4.29

History

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

ZNRAFG1NYF ZNRAFG1NYF

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

Mentions

arxiv: arXiv 2609.33531#N1UZ (statement). In HNMJEAR2ER/e1, theorem 5.1

History

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

constructive logic ZNRCER2D7W

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

Mentions

wikipedia: Wikipedia Glossary of logic#D4KL, constructive logic (definition)

History

2026-11-02: add by m2/dev

categorical trace ZNRHQAR9NC

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

Mentions

wikidata: Wikidata Q97359632, categorical trace (unknown). Also nLab categorical trace
wikipedia: Wikipedia Categorical trace, Categorical trace (definition). Also Wikidata Q97359632

History

2026-10-26: add by m2/dev

Definition ZNRK135S5P

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

Mentions

wikipedia: Wikipedia Value at risk#CYOK, Definition (definition)

History

2026-11-02: add by m2/dev

Minimum Environmental Perturbation Principle (MEPP) ZNRNW296XR

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

Mentions

wikipedia: Wikipedia Consumer-resource model#1PVT, Minimum Environmental Perturbation Principle (MEPP) (statement)

History

2026-11-02: add by m2/dev

Applications ZNRZAH1H7P

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

Mentions

wikipedia: Wikipedia Biangular coordinates#CXTN, Applications (example)

History

2026-11-02: add by m2/dev

ZNSABNCVHE ZNSABNCVHE

URI	`m2://inv/ZNSABNCVHE`
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.03988#NI2X (statement). In PQ2X97H1T9/e1, proposition 3.4

History

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

Two choices ZNSAEF4K33

URI	`m2://inv/ZNSAEF4K33`
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.23607#SYHW, Two choices (statement)

History

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

Kenny Paterson ZNSH7B11FE

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

Mentions

wikipedia: Wikipedia List of cryptographers#7XK4, Kenny Paterson (unknown)

History

2026-11-02: add by m2/dev

ZNSHV00XZN ZNSHV00XZN

URI	`m2://inv/ZNSHV00XZN`
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#F09F (statement)

History

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

ZNSS2HKWQS ZNSS2HKWQS

URI	`m2://inv/ZNSS2HKWQS`
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 2610.08885#I9G4 (statement). In B4RHB3CF12/e1, lemma 3.6

History

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

Linear combination of atomic orbitals molecular orbital method ZNT1FM26R9

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

Mentions

wikipedia: Wikipedia List of mathematics-based methods#DZJJ, Linear combination of atomic orbitals molecular orbital method (unknown)

History

2026-11-02: add by m2/dev

Reiko Sakamoto ZNT1QSNHAY

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

Mentions

wikipedia: Wikipedia Reiko Sakamoto (mathematician), Reiko Sakamoto (topic). Also Wikidata Q42314549

History

2026-11-02: add by m2/dev

ZNT32BKF71 ZNT32BKF71

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

Mentions

arxiv: arXiv 2610.03449#QYGS (statement). In 3XM05SYQ8D/e1, lemma 2.2

History

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

Proj construction ZNT447BJKN

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

Mentions

wikipedia: Wikipedia Proj construction, Proj construction (definition). Also Wikidata Q7248935

History

2026-11-02: add by m2/dev

ZNT5BRDDPG ZNT5BRDDPG

URI	`m2://inv/ZNT5BRDDPG`
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.13745#IN0P (statement). In CFJH0Q39FZ/e1, theorem 8.9

History

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

ZNT81YD9WK ZNT81YD9WK

URI	`m2://inv/ZNT81YD9WK`
Kind	statement
Layer	research
MSC	11-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 2508.21045#AJM5 (statement). In CGA36VE1C5/e1, fact 7.0.1

History

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

ZNTC1XF1P0 ZNTC1XF1P0

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#prop-4 (statement). In E59CDZA4DP, prop, section 1.4.2

History

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

ZNTKDW75W2 ZNTKDW75W2

URI	`m2://inv/ZNTKDW75W2`
Kind	definition
Layer	research
MSC	37-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.16388#G6O9 (definition). In Q62MDENP26/e1, definition 2.7

History

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

ZNTRKWQEB9 ZNTRKWQEB9

URI	`m2://inv/ZNTRKWQEB9`
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.16123#9G22 (statement). In 6VR4TY5BGV/e1, theorem 8.1

History

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

Orthogonality relations ZNTTK5M8GZ

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

Mentions

wikipedia: Wikipedia Character theory#DRAA, Orthogonality relations (unknown)

History

2026-11-02: add by m2/dev

ZNV0WZ7HJS ZNV0WZ7HJS

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 8.6

History

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

ZNV30Q637Y ZNV30Q637Y

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

Mentions

arxiv: arXiv 2610.08226#BM5K (statement). In V6EPE8XHAD/e1, proposition 10.1

History

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

ZNV3FPYH0G ZNV3FPYH0G

URI	`m2://inv/ZNV3FPYH0G`
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 2412.20238#4A4F (statement). In V8CA0STSPB/e1, theorem 3

History

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

ZNV43JC8EX ZNV43JC8EX

URI	`m2://inv/ZNV43JC8EX`
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.22825#F7PG (definition)

History

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

Unitarily invariant norm ZNV62X1F6H

URI	`m2://inv/ZNV62X1F6H`
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.24522#BA3Y, Unitarily invariant norm (definition)

History

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

From Summetria to Symmetry: The Making of a Revolutionary Scientific Concept ZNVHESSRKX

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

Mentions

wikipedia: Wikipedia From Summetria to Symmetry: The Making of a Revolutionary Scientific Concept, From Summetria to Symmetry: The Making of a Revolutionary Scientific Concept (definition). Also Wikidata Q139965129

History

2026-11-02: add by m2/dev

Adamaszek and Adams ZNVJ0JGW1J

URI	`m2://inv/ZNVJ0JGW1J`
Kind	statement
Layer	research
MSC	26-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 2503.19729#6YCP, Adamaszek and Adams (statement). In 40YZ43TS8K/e1, theorem 2.14

History

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

Projective range ZNVP9PA26N

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

Mentions

wikipedia: Wikipedia Projective range, Projective range (definition). Also Wikidata Q7249469

History

2026-11-02: add by m2/dev

ZNVT22XP20 ZNVT22XP20

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

Mentions

arxiv: arXiv 2610.06899#RQSW (conjecture). In 5Z2K9JGFSS/e1, conjecture 1.3

History

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

ZNW0KMWCBX ZNW0KMWCBX

URI	`m2://inv/ZNW0KMWCBX`
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 math/0003117#78L2 (statement). In WD2NCBV9F0/e1, lemma 13.12

History

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

Differential calculus ZNW22ZDA42

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#HV40, Differential calculus (definition)

History

2026-11-02: add by m2/dev

ZNW9WSNC2X ZNW9WSNC2X

URI	`m2://inv/ZNW9WSNC2X`
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 2609.18777#ZQ12 (definition). In TFZDPHDF7V/e1, definition A.5

History

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

cochleoid ZNWAVRWVPS

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

Mentions

wikidata: Wikidata Q4929992, cochleoid (unknown). Also MathWorld Cochleoid
wikipedia: Wikipedia Cochleoid, Cochleoid (definition). Also Wikidata Q4929992

History

2026-10-26: add by m2/dev

Riemann's theorem ZNWB3Y27JM

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

Mentions

wikipedia: Wikipedia Removable singularity#VMIR, Riemann's theorem (statement)

History

2026-11-02: add by m2/dev

Felsenstein's tree-pruning algorithm ZNWBZEQJJN

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

Mentions

wikipedia: Wikipedia Felsenstein's tree-pruning algorithm, Felsenstein's tree-pruning algorithm (definition). Also Wikidata Q5442616

History

2026-11-02: add by m2/dev

Frank Smithies ZNWDW0CF14

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

Mentions

wikipedia: Wikipedia Frank Smithies, Frank Smithies (topic). Also Wikidata Q5489681

History

2026-11-02: add by m2/dev

Properties ZNWRFJN9WY

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

Mentions

wikipedia: Wikipedia Unit interval#DKXY, Properties (statement)

History

2026-11-02: add by m2/dev

ZNX7E2HJS4 ZNX7E2HJS4

URI	`m2://inv/ZNX7E2HJS4`
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.13931#W4C5 (statement). In EXA79VR78Q/e1, proposition 2.2

History

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

double negation, law of ZNX89E3X06

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

Mentions

hott_book: hott_book index/9.2/double-negation-law-of, double negation, law of (concept). In N54F33XE07, index, section 9.2

History

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

Stanley Osher ZNXF2F4EW0

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0QW5, Stanley Osher (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5TQM, Stanley Osher (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ALI4, Stanley Osher (topic)

History

2026-11-02: add by m2/dev

Properties of the Green operators ZNXKZY2SX9

URI	`m2://inv/ZNXKZY2SX9`
Kind	statement
Layer	research
MSC	37-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.04179#IKCD, Properties of the Green operators (statement). In D64RQ09KBP/e1, lemma 6.5

History

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

Ezra Ted Newman ZNXP24H3ST

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#72DS, Ezra Ted Newman (unknown)

History

2026-11-02: add by m2/dev

Rosemary A. Bailey ZNXYR9MVVY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JK69, Rosemary A. Bailey (topic)

History

2026-11-02: add by m2/dev

Spectrahedron ZNY0ANYE0V

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

Mentions

wikipedia: Wikipedia Spectrahedron, Spectrahedron (definition). Also Wikidata Q6400937

History

2026-11-02: add by m2/dev

Relationships between principles ZNY2WA7A90

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

Mentions

wikipedia: Wikipedia Pure inductive logic#5DN9, Relationships between principles (statement)

History

2026-11-02: add by m2/dev

zero ZNY38VKKQR

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

Mentions

hott_book: hott_book index/8.1/zero, zero (concept). In N54F33XE07, index, section 8.1

History

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

John Nunn ZNY6WJVQN5

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

Mentions

wikipedia: Wikipedia John Nunn, John Nunn (topic). Also Wikidata Q450419

History

2026-11-02: add by m2/dev

ZNY736RQ5A ZNY736RQ5A

URI	`m2://inv/ZNY736RQ5A`
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.32977#IUWA (statement). In 4KT9TK3MG4/e1, lemma E.3

History

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

Function space $X$ ZNY8QJAHVA

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

Mentions

arxiv: arXiv 2610.08434#U5HB, Function space $X$ (definition). In VN8087G2FC/e1, definition 2.1

History

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

ZNYRC91YP9 ZNYRC91YP9

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-planar.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 5.3

History

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

Statement ZNYV8T5M60

URI	`m2://inv/ZNYV8T5M60`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (the cue heading names a section and not one item)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Sylow theorems#SIQL, Statement (statement)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

ZNYYJWA4V1 ZNYYJWA4V1

URI	`m2://inv/ZNYYJWA4V1`
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.03337#9YL3 (statement). In VH7EZDGTNA/e1, corollary 2.5

History

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

Sufficient meta-sample regime ZNZ63TJR7W

URI	`m2://inv/ZNZ63TJR7W`
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.31458#AMZA, Sufficient meta-sample regime (statement). In SNWC76WKWT/e1, corollary 5.1

History

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

Consecutive framings ZNZ6WN5GW6

URI	`m2://inv/ZNZ6WN5GW6`
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.29839#WTSW, Consecutive framings (statement)

History

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

ZNZ7M3WVVF ZNZ7M3WVVF

URI	`m2://inv/ZNZ7M3WVVF`
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.30823#DQH9 (statement). In 1YHQ9YNQ68/e1, lemma 3.2

History

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

ZNZ8F3ZZSK ZNZ8F3ZZSK

URI	`m2://inv/ZNZ8F3ZZSK`
Kind	definition
Layer	research
MSC	20-XX, 22-XX, 46-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.27192#NEDN (definition)

History

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

logic, constructive vs classical ZNZCGRQ4DV

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

Mentions

hott_book: hott_book index/9.2/logic-constructive-vs-classical, logic, constructive vs classical (concept). In N54F33XE07, index, section 9.2

History

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

Examples ZNZCPC96GF

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

Mentions

wikipedia: Wikipedia Dynamical system#NV15, Examples (example)

History

2026-11-02: add by m2/dev

ZNZERNJS0V ZNZERNJS0V

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#exercise:closednessofriemannintegrable (exercise). In E59CDZA4DP, exercise, section 5.5.4

History

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

For signals with power-law-decaying autocorrelation ZNZG0QX0QW

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

Mentions

wikipedia: Wikipedia Detrended fluctuation analysis#IVT2, For signals with power-law-decaying autocorrelation (statement)

History

2026-11-02: add by m2/dev

ZNZN1NBYBQ ZNZN1NBYBQ

URI	`m2://inv/ZNZN1NBYBQ`
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.01737#X846 (statement). In M4JGP708F4/e1, fact 2.6

History

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

ZNZPAYBQ4G ZNZPAYBQ4G

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

Mentions

arxiv: arXiv 2609.32524#WOYD (example). In XGCND7R0B0/e1, example 3.3

History

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

ZNZQ7N8R8V ZNZQ7N8R8V

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

Mentions

arxiv: arXiv 2610.15643#J0SA (statement). In 7QFBJCRPW1/e1, theorem 4.3

History

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

ZNZVTSW5CE ZNZVTSW5CE

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

Mentions

arxiv: arXiv 2609.23230#5NBD (definition)

History

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