Inventory rows Z9

Leontief production function Z900Y6WVY4

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

Mentions

wikipedia: Wikipedia Leontief production function, Leontief production function (definition). Also Wikidata Q1819524

History

2026-11-02: add by m2/dev

Z902PFTS8W Z902PFTS8W

URI	`m2://inv/Z902PFTS8W`
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 2502.16151#NC4J (statement). In CFCTBV1Z93/e1, theorem 2.1

History

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

Definitions Z906H0SXV8

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

Mentions

wikipedia: Wikipedia Intrinsic metric#51PR, Definitions (definition)

History

2026-11-02: add by m2/dev

Z90ADQZMK3 Z90ADQZMK3

URI	`m2://inv/Z90ADQZMK3`
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 1804.06366#9UDY (statement). In 89XYDVXG38/e1, theorem 2.12

History

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

rational Z90EA1H7XG

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

Mentions

wikipedia: Wikipedia Glossary of module theory#YW3X, rational (definition)

History

2026-11-02: add by m2/dev

Z90MZGWV9F Z90MZGWV9F

URI	`m2://inv/Z90MZGWV9F`
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.00789#LRLM (definition). In 4WPYBTARS2/e1, definition 2.29

History

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

Powerfully bad primes Z90RNSZ1V5

URI	`m2://inv/Z90RNSZ1V5`
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.08424#YT73, Powerfully bad primes (definition). In BVD2HAAKD5/e1, definition 1.6

History

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

Variants Z90VJRGJEH

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

Mentions

wikipedia: Wikipedia Dirty paper coding#9W5J, Variants (statement)

History

2026-11-02: add by m2/dev

Z90XY3PGNK Z90XY3PGNK

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-3.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 2.3

History

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

Torus compression Z90Y74GZEC

URI	`m2://inv/Z90Y74GZEC`
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.11143#S3MV, Torus compression (statement). In 9CS15SV662/e1, theorem 3.1

History

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

Almost Covering Lemma Z912JXV8FN

URI	`m2://inv/Z912JXV8FN`
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 2603.21971#01CA, Almost Covering Lemma (statement). In R6KSZ9H8CY/e1, lemma 5.1

History

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

Z9132Q1BSR Z9132Q1BSR

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

Mentions

arxiv: arXiv 0806.0678#PPBY (definition). In 5RMV7VP13X/e1, definition 1.6

History

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

support Z91JP6PKYM

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#AKU9, support (definition)

History

2026-11-02: add by m2/dev

Same-ray and cross-ray kernels Z91MYSK0VE

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

Mentions

arxiv: arXiv 2609.27752#X4A1, Same-ray and cross-ray kernels (statement)

History

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

Nearly independent random coordinate blocks Z91QD7XC6B

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

Mentions

arxiv: arXiv 2609.38228#28O7, Nearly independent random coordinate blocks (statement). In 9YAE8FNQST/e1, corollary 3.10

History

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

Biometrics Z91W1S80YJ

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

Mentions

wikipedia: Wikipedia Biometrics (journal), Biometrics (definition). Also Wikidata Q2025724

History

2026-11-02: add by m2/dev

Z920P5431N Z920P5431N

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

Mentions

arxiv: arXiv 2610.18246#P2J3 (statement). In SN6F0MPPVF/e1, corollary B

History

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

uniformly convergent series Z920VSR23B

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

Mentions

wikidata: Wikidata Q91257411, uniformly convergent series (unknown). Also EoM Uniformly-convergent_series

History

2026-10-26: add by m2/dev

Z9220ZYXYW Z9220ZYXYW

URI	`m2://inv/Z9220ZYXYW`
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.05259#7SB4 (example). In X1J5HKPS3R/e1, example 1.6

History

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

The circle Z9271PXMZ7

URI	`m2://inv/Z9271PXMZ7`
Kind	example
Layer	research
MSC	20-XX, 22-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.24777#J5HU, The circle (example)

History

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

Open problems Z92N5RZQMY

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

Mentions

wikipedia: Wikipedia Yang–Mills theory#LC5A, Open problems (statement)

History

2026-11-02: add by m2/dev

Properness of every component Z92XFGW9XC

URI	`m2://inv/Z92XFGW9XC`
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 2407.02022#S87O, Properness of every component (statement). In RZDNWV9E29/e1, proposition 3.5

History

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

Algorithms Z931FT1PVA

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

Mentions

wikipedia: Wikipedia Feedback arc set#NF68, Algorithms (definition)

History

2026-11-02: add by m2/dev

Cross slope Z932Z53WH7

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

Mentions

wikipedia: Wikipedia Cross slope, Cross slope (definition). Also Wikidata Q2122885

History

2026-11-02: add by m2/dev

Z93CE8KAP4 Z93CE8KAP4

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

Mentions

arxiv: arXiv 2609.25391#LYNN (statement)

History

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

Economics and partial differential equations: Minimax theorems Z93XCXHB1G

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

Mentions

wikipedia: Wikipedia Quasiconvex function#8IVY, Economics and partial differential equations: Minimax theorems (statement)

History

2026-11-02: add by m2/dev

Z93XH8CGNQ Z93XH8CGNQ

URI	`m2://inv/Z93XH8CGNQ`
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.23470#5O3R (statement)

History

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

Welington de Melo Z93YE9SSJY

URI	`m2://inv/Z93YE9SSJY`
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#DLK9, Welington de Melo (topic)

History

2026-11-02: add by m2/dev

Z93YRAEB82 Z93YRAEB82

URI	`m2://inv/Z93YRAEB82`
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.00312#J5VR (statement). In 41NFABHFXH/e1, theorem 1.5

History

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

Imbert's acceleration theorems Z94AH93RB6

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

Mentions

wikipedia: Wikipedia Fourier–Motzkin elimination#DJUL, Imbert's acceleration theorems (statement)

History

2026-11-02: add by m2/dev

Examples Z94FTZ0X2C

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

Mentions

wikipedia: Wikipedia Ruelle zeta function#H33I, Examples (example)

History

2026-11-02: add by m2/dev

Kronecker's method Z94MBE47NY

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

Mentions

wikidata: Wikidata Q20877540, Kronecker's method (concept). Also EoM Kronecker_method, MathWorld KroneckersAlgorithm

History

2026-10-26: add by m2/dev

complete Z94SJ475B5

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#CBVK, complete (definition)

History

2026-11-02: add by m2/dev

The near-null representation, identified exactly Z94WVQMAHG

URI	`m2://inv/Z94WVQMAHG`
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.25120#BJ78, The near-null representation, identified exactly (statement)

History

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

Z952PBSKRX Z952PBSKRX

URI	`m2://inv/Z952PBSKRX`
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 2503.08018#V0I7 (statement). In TN93YFN45W/e1, corollary 4.8

History

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

Z95C1EKB00 Z95C1EKB00

URI	`m2://inv/Z95C1EKB00`
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.07122#AV07 (statement). In W0ZHX9DHPV/e1, proposition 18

History

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

Telman Malikov Z95E1AGJMR

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

Mentions

wikipedia: Wikipedia Telman Malikov, Telman Malikov (topic). Also Wikidata Q12846495

History

2026-11-02: add by m2/dev

Z95NVHZ3Q0 Z95NVHZ3Q0

URI	`m2://inv/Z95NVHZ3Q0`
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.20008#2Y66 (conjecture). In 60SZ4NYPHF/e1, conjecture 4

History

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

Z95XFVBE68 Z95XFVBE68

URI	`m2://inv/Z95XFVBE68`
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 2403.15255#1ATT (statement). In G691MXMYW0/e1, corollary 3.17

History

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

*{Theorem 1.4 Z9614WX6QQ

URI	`m2://inv/Z9614WX6QQ`
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 2405.02275#A2CD, *{Theorem 1.4 (statement). In 1QXCNGRWV1/e1, theorem 4.8

History

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

Node2vec Z9631JJWP7

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

Mentions

wikipedia: Wikipedia Node2vec, Node2vec (definition). Also Wikidata Q96396069

History

2026-11-02: add by m2/dev

Z96B1KT34C Z96B1KT34C

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

Mentions

arxiv: arXiv 2610.10413#5TOC (statement). In 68MTQ59QTQ/e1, lemma A.4

History

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

Properties weaker than having an identity Z96F1YXM38

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

Mentions

wikipedia: Wikipedia Rng (algebra)#5D78, Properties weaker than having an identity (statement)

History

2026-11-02: add by m2/dev

Example Z96HN7ZX61

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

Mentions

wikipedia: Wikipedia Evaluation strategy#OON0, Example (example)

History

2026-11-02: add by m2/dev

Z96MNP8XJ5 Z96MNP8XJ5

URI	`m2://inv/Z96MNP8XJ5`
Kind	statement
Layer	research
MSC	05-XX, 60-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 2610.10481#XH9S (statement). In ETV3D93XYD/e1, corollary 3

History

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

Theorem Z96N78ZGKB

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

Mentions

wikipedia: Wikipedia Projection-valued measure#FGGX, Theorem (statement)

History

2026-11-02: add by m2/dev

Z96TH2HGXZ Z96TH2HGXZ

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

Mentions

arxiv: arXiv 2610.10469#0KVC (definition). In Q39BEKW6D9/e1, definition 2.12

History

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

Z96WPEPEKK Z96WPEPEKK

URI	`m2://inv/Z96WPEPEKK`
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.36181#1Z5G (statement). In 1KSE33PVS6/e1, proposition 6

History

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

Z9787RB0G5 Z9787RB0G5

URI	`m2://inv/Z9787RB0G5`
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.09672#F9IQ (statement). In TXBXCPP0QH/e1, lemma 40

History

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

Z97C3V4J9H Z97C3V4J9H

URI	`m2://inv/Z97C3V4J9H`
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.19086#DM9T (statement). In RDW99P4ZZJ/e1, theorem 1.1

History

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

Pseudorandom generator theorem Z97N9FN9E4

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

Mentions

wikipedia: Wikipedia List of theorems#93Q2, Pseudorandom generator theorem (statement)

History

2026-11-02: add by m2/dev

Z97RG2HHJP Z97RG2HHJP

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

Mentions

arxiv: arXiv 2609.27151#BZUF (statement)

History

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

3301 (number) Z97RN0NHAQ

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

Mentions

wikipedia: Wikipedia 3000 (number)#OP2H, 3301 (number) (unknown)

History

2026-11-02: add by m2/dev

Procedure Z97SF45MTW

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

Mentions

wikipedia: Wikipedia Hidden subgroup problem#ESOJ, Procedure (definition)

History

2026-11-02: add by m2/dev

Z97VPSZAE4 Z97VPSZAE4

URI	`m2://inv/Z97VPSZAE4`
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 2610.17442#KCNU (example). In 6ADGJ51W1P/e1, example 1

History

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

Hp-FEM Z97XVFK6EY

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

Mentions

wikipedia: Wikipedia Hp-FEM, Hp-FEM (definition). Also Wikidata Q17027720

History

2026-11-02: add by m2/dev

Examples Z985KJDEJX

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

Mentions

wikipedia: Wikipedia Regular category#WRNO, Examples (example)

History

2026-11-02: add by m2/dev

Ellipsoid Z98CZ4VRK3

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#A1ZE, Ellipsoid (definition)
wikipedia: Wikipedia List of complex and algebraic surfaces#SQSO, Ellipsoid (definition)
wikipedia: Wikipedia List of solids derived from the sphere#XI82, Ellipsoid (definition)
wikipedia: Wikipedia List of surfaces#8NWD, Ellipsoid (definition)

History

2026-11-02: add by m2/dev

Z98EJZC38B Z98EJZC38B

URI	`m2://inv/Z98EJZC38B`
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 1606.05058#JV90 (statement). In V6392C0ANF/e1, theorem D.1

History

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

List of representations of e Z98YF4N0SA

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

Mentions

wikipedia: Wikipedia List of representations of e, List of representations of e (topic). Also Wikidata Q2742267

History

2026-11-02: add by m2/dev

logos Z98Z8QEPQ1

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

Mentions

wikidata: Wikidata Q180832, logos (unknown). Also nLab logos (in philosophy)
wikipedia: Wikipedia Logos, Logos (definition). Also Wikidata Q180832

History

2026-10-26: add by m2/dev

planar graph Z99BYAE8VS

URI	`m2://inv/Z99BYAE8VS`
Kind	definition
Layer	textbook
MSC	35-XX, 47-XX, 58-XX, 81-XX
Sources	3
Outcome	node (a node has the same name as the row)
Node	Planar graph 029JQEK15B

Mentions

arxiv: arXiv 2610.10964#ZFHT, Planar graph (definition). In 16KVMD76PZ/e1, definition 2.1
wikidata: Wikidata Q547823, planar graph (definition). Also EoM Graph,_planar, MathWorld PlanarGraph, nLab planar graph, ProofWiki Definition:Planar_Graph
wikipedia: Wikipedia Planar graph, Planar graph (definition). Also Wikidata Q547823

History

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

Z9A4AQ7TJ8 Z9A4AQ7TJ8

URI	`m2://inv/Z9A4AQ7TJ8`
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.39736#LR6R (statement). In BB1XJ47PVW/e1, lemma 9

History

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

Z9A5JC2RYN Z9A5JC2RYN

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

Mentions

arxiv: arXiv 2610.04600#IS5N (statement). In 4V64K0DYSV/e1, theorem C.1

History

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

Sheaf associated to a module Z9ADZ7KBW6

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

Mentions

wikipedia: Wikipedia Sheaf of modules#ZQPS, Sheaf associated to a module (unknown)

History

2026-11-02: add by m2/dev

power of four Z9AEZ52XFK

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

Mentions

wikidata: Wikidata Q113401032, power of four (object). Also OEIS A000302

History

2026-10-26: add by m2/dev

Blind experiment Z9AK96CHJB

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

Mentions

wikipedia: Wikipedia List of statistics articles#UW2F, Blind experiment (definition)

History

2026-11-02: add by m2/dev

Bing's recognition theorem Z9AKC5KBHZ

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

Mentions

mathlib_1000: mathlib_1000 Q4914101, Bing's recognition theorem (statement). Also Wikidata Q4914101
thousand_plus: thousand_plus Q4914101, Bing's recognition theorem (statement). Also Wikidata Q4914101, Wikipedia Bing's recognition theorem
wikipedia: Wikipedia Bing's recognition theorem, Bing's recognition theorem (statement). Also Wikidata Q4914101

History

2026-10-26: add by m2/dev

Z9APRQV0YJ Z9APRQV0YJ

URI	`m2://inv/Z9APRQV0YJ`
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.08956#TW7C (statement). In DEE631KR3A/e1, lemma 5

History

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

classical mathematics Z9AWXRK3DH

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

Mentions

wikidata: Wikidata Q5128339, classical mathematics (unknown). Also nLab classical mathematics

History

2026-10-26: add by m2/dev

Z9AZXEVT19 Z9AZXEVT19

URI	`m2://inv/Z9AZXEVT19`
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 2610.01411#94OT (statement). In SD28S3K7BT/e1, proposition 14

History

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

Equipossibility Z9B03W87SP

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

Mentions

wikipedia: Wikipedia Equipossibility, Equipossibility (definition). Also Wikidata Q5384590

History

2026-11-02: add by m2/dev

Z9B4AWJPKC Z9B4AWJPKC

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

Mentions

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

History

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

Stable full field algebra Z9B9CSR63B

URI	`m2://inv/Z9B9CSR63B`
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 2610.08787#9ND6, Stable full field algebra (definition). In CCQ5XXWYDZ/e1, definition A.2

History

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

Examples Z9BBNAQPGW

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

Mentions

wikipedia: Wikipedia Distinguished space#2NYA, Examples (example)

History

2026-11-02: add by m2/dev

Z9BDDHDHX4 Z9BDDHDHX4

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

Mentions

arxiv: arXiv 2609.39293#2B7F (statement). In S26QVW5613/e1, lemma 4.9.1

History

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

Z9BRVXEBEK Z9BRVXEBEK

URI	`m2://inv/Z9BRVXEBEK`
Kind	definition
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 2609.31365#2JT4 (definition). In 19GENJ3NCP/e1, definition 4.2

History

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

Spectral geometry Z9C386M3D1

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#7NTO, Spectral geometry (definition)

History

2026-11-02: add by m2/dev

Smoothness and dimension Z9C4ESQMJZ

URI	`m2://inv/Z9C4ESQMJZ`
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.03520#347L, Smoothness and dimension (statement). In CSRZ9CWK69/e1, lemma 2.2

History

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

Stationary sequence Z9C56B31X2

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

Mentions

wikipedia: Wikipedia List of statistics articles#YB0P, Stationary sequence (definition)

History

2026-11-02: add by m2/dev

Arndt von Haeseler Z9C67H7P1N

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

Mentions

wikipedia: Wikipedia List of German mathematicians#4R4J, Arndt von Haeseler (unknown)

History

2026-11-02: add by m2/dev

Z9C6TZ4TSH Z9C6TZ4TSH

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

Mentions

arxiv: arXiv 2609.40191#SLK9 (statement). In F0D8VSM4Z4/e1, proposition 6.1

History

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

The Weyl character formula Z9CB5PZZ6B

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

Mentions

wikipedia: Wikipedia Compact group#X49D, The Weyl character formula (statement)

History

2026-11-02: add by m2/dev

Z9CGEJ068C Z9CGEJ068C

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

Mentions

arxiv: arXiv 2510.12502#LKDI (statement). In 3A4K47Y9F2/e1, theorem 3.38

History

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

Z9CJQDMF6E Z9CJQDMF6E

URI	`m2://inv/Z9CJQDMF6E`
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.20466#CF1E (statement). In M4ZVJWM8YA/e1, lemma A.13

History

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

Relativistic chaos Z9CNX0E8PZ

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

Mentions

wikipedia: Wikipedia Relativistic chaos, Relativistic chaos (topic). Also Wikidata Q17083799

History

2026-11-02: add by m2/dev

Artin L-function Z9CZGFZXNA

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

Mentions

wikipedia: Wikipedia List of things named after Emil Artin#G30R, Artin L-function (definition)

History

2026-11-02: add by m2/dev

Z9D52HCQ3F Z9D52HCQ3F

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

Mentions

arxiv: arXiv 2610.08633#V26I (definition). In 7MV7RGDVXF/e1, definition 3.1.1

History

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

Z9D8FA3NDS Z9D8FA3NDS

URI	`m2://inv/Z9D8FA3NDS`
Kind	definition
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 2609.21914#9LGW (definition)

History

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

Coercivity of the discrete energy Z9DB3590MD

URI	`m2://inv/Z9DB3590MD`
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.05313#JGIL, Coercivity of the discrete energy (statement). In 8XPN1A2GR0/e1, lemma 5.9

History

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

Disconnected positivity for even completed cycles Z9DFF5JQEM

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

Mentions

arxiv: arXiv 2609.20572#ZX3E, Disconnected positivity for even completed cycles (statement)

History

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

Legendre, Adrien-Marie Z9DRJRTRQD

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

Mentions

wikipedia: Wikipedia List of statisticians#X309, Legendre, Adrien-Marie (topic)

History

2026-11-02: add by m2/dev

Z9DST6T7SV Z9DST6T7SV

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

Mentions

arxiv: arXiv 2007.14459#3M1O (definition). In SGQ7VFEZ22/e1, definition 4.2

History

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

Construction Z9DW0WJJ8Z

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

Mentions

wikipedia: Wikipedia 31 great circles of the spherical icosahedron#XA1W, Construction (definition)

History

2026-11-02: add by m2/dev

Bonferroni inequalities Z9DWF1XZ09

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

Mentions

wikipedia: Wikipedia List of statistics articles#KR5Q, Bonferroni inequalities (statement)

History

2026-11-02: add by m2/dev

Z9DX1DFSX0 Z9DX1DFSX0

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 58.3

History

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

Z9DXYKAQ7R Z9DXYKAQ7R

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

Mentions

arxiv: arXiv 2610.09900#AP63 (statement). In ATSYBWEMMP/e1, theorem 3.6

History

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

Z9DY7MZN42 Z9DY7MZN42

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-65 (exercise). In VNMV985MXX, exercise, section 2.1

History

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

Z9E4YNXRXR Z9E4YNXRXR

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

Mentions

arxiv: arXiv 2610.18016#UZE8 (statement). In V5PVKDKGGG/e1, proposition 2.2

History

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

Counterexamples Z9EB5KH354

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

Mentions

wikipedia: Wikipedia Convergence in measure#24UR, Counterexamples (counterexample)

History

2026-11-02: add by m2/dev

Three-class Gaussian simplex Z9ED7E22DK

URI	`m2://inv/Z9ED7E22DK`
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.39190#HCG4, Three-class Gaussian simplex (statement). In J144J3ANFZ/e1, corollary 3.14

History

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

Z9EG01842K Z9EG01842K

URI	`m2://inv/Z9EG01842K`
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.19260#P6J6 (statement). In PWXT7J9JX3/e1, proposition 5.7

History

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

Algebra tile Z9EPXBVDNH

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

Mentions

wikipedia: Wikipedia Algebra tile, Algebra tile (definition). Also Wikidata Q4723977

History

2026-11-02: add by m2/dev

Legendre symbol Z9EPYCE8YW

URI	`m2://inv/Z9EPYCE8YW`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Legendre symbol 01J8AMV9RS

Mentions

wikidata: Wikidata Q748339, Legendre symbol (unknown). Also MathWorld LegendreSymbol
wikipedia: Wikipedia Legendre symbol, Legendre symbol (definition). Also Wikidata Q748339

History

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

Z9ESQB47KK Z9ESQB47KK

URI	`m2://inv/Z9ESQB47KK`
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.21552#EGOA (statement)

History

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

Applications Z9ETNS85ZA

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

Mentions

wikipedia: Wikipedia Lieb's square ice constant#SHJ7, Applications (example)

History

2026-11-02: add by m2/dev

Z9F4J41P0N Z9F4J41P0N

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

Mentions

arxiv: arXiv 2610.08052#TJ8Q (statement). In 672XAVEQ34/e1, proposition 5.5

History

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

Z9FA0WVE47 Z9FA0WVE47

URI	`m2://inv/Z9FA0WVE47`
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 2605.30285#6XMV (statement). In YMY0NNSM27/e1, proposition 2.4

History

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

Pavuluri Mallana Z9FGK4EM8Z

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#PM4C, Pavuluri Mallana (unknown)

History

2026-11-02: add by m2/dev

Z9FGZ1MNDJ Z9FGZ1MNDJ

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

Mentions

arxiv: arXiv 2609.38068#QMEG (statement). In 67GE5M1GGD/e1, lemma 5.10

History

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

Paper key Z9FJPJQ3HM

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

Mentions

wikipedia: Wikipedia Paper key, Paper key (definition). Also Wikidata Q7132703

History

2026-11-02: add by m2/dev

depression Z9FMMP3A87

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

Mentions

hott_book: hott_book index/B.4/depression, depression (concept). In N54F33XE07, index, section B.4

History

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

Z9FTG2EBP9 Z9FTG2EBP9

URI	`m2://inv/Z9FTG2EBP9`
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 math/9602216#YXP1 (statement). In SD43497T8C/e1, theorem 4.4

History

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

ACME v2 Z9FV05CVZ8

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

Mentions

wikipedia: Wikipedia Automatic Certificate Management Environment#ST9Y, ACME v2 (unknown)

History

2026-11-02: add by m2/dev

Z9G1W896SA Z9G1W896SA

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

Mentions

arxiv: arXiv 2609.33015#UFMX (statement). In W6Y6NPK648/e1, lemma 4.13

History

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

Z9GABXBXTJ Z9GABXBXTJ

URI	`m2://inv/Z9GABXBXTJ`
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.20231#NZNV (statement)

History

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

Anton Gerasimov Z9GAXJ18KF

URI	`m2://inv/Z9GAXJ18KF`
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#2Z6C, Anton Gerasimov (unknown)

History

2026-11-02: add by m2/dev

Brockett's Necessary Condition Z9GBS597A7

URI	`m2://inv/Z9GBS597A7`
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.33164#QEHZ, Brockett's Necessary Condition (statement). In YVS9GK29QW/e1, theorem 6.4.1

History

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

sorting algorithm Z9GCG239EX

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

Mentions

wikidata: Wikidata Q181593, sorting algorithm (unknown). Also MathWorld Sorting
wikipedia: Wikipedia Sorting algorithm, Sorting algorithm (definition). Also Wikidata Q181593

History

2026-10-26: add by m2/dev

caves, walls of Z9GEGZ2CB3

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

Mentions

hott_book: hott_book index/8.2/caves-walls-of, caves, walls of (concept). In N54F33XE07, index, section 8.2

History

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

Z9GEPREY34 Z9GEPREY34

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

Mentions

arxiv: arXiv 2504.02065#O5YT (definition). In 60CK7P5F36/e1, definition 6.1

History

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

Noncentral chi distribution Z9GF77WFWJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#L0IE, Noncentral chi distribution (definition)

History

2026-11-02: add by m2/dev

Z9GFHYY1YC Z9GFHYY1YC

URI	`m2://inv/Z9GFHYY1YC`
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.13260#OXCX (statement). In ZBQX9341RV/e1, proposition 10.3

History

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

Applications Z9GPS91X06

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

Mentions

wikipedia: Wikipedia Weber number#0R71, Applications (example)

History

2026-11-02: add by m2/dev

Two-variable logic with counting Z9H313Q9T0

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

Mentions

wikipedia: Wikipedia Two-variable logic#4PDV, Two-variable logic with counting (unknown)

History

2026-11-02: add by m2/dev

Z9H44FFQWC Z9H44FFQWC

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

Mentions

arxiv: arXiv math/9201244#9FYA (definition). In 7D3HCN21MK/e1, definition 1.7

History

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

Archimedean graph Z9H60JXYTF

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

Mentions

wikidata: Wikidata Q22093490, Archimedean graph (unknown). Also MathWorld ArchimedeanGraph
wikipedia: Wikipedia Archimedean graph, Archimedean graph (definition). Also Wikidata Q22093490

History

2026-10-26: add by m2/dev

Continuity Z9H6BADDAM

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

Mentions

wikipedia: Wikipedia Bjerknes' equation#UL9N, Continuity (statement)

History

2026-11-02: add by m2/dev

Z9H75REFNP Z9H75REFNP

URI	`m2://inv/Z9H75REFNP`
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.06909#M7K4 (statement). In F1EF8XE30A/e1, lemma 4.1

History

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

On Indivisible Lines Z9H7K3KXTB

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

Mentions

wikipedia: Wikipedia On Indivisible Lines, On Indivisible Lines (definition). Also Wikidata Q3302740

History

2026-11-02: add by m2/dev

Z9H9FX9CYP Z9H9FX9CYP

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

Mentions

arxiv: arXiv 2609.34382#PDCF (conjecture). In MEF2VCAYXS/e1, conjecture 4.2

History

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

Z9HCV20JF0 Z9HCV20JF0

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphalgorithms_shortest-paths.ptx#problem-1 (example). In QKM9DD2H56, problem, section 12.3

History

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

George W. Hart Z9HDFRJNND

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

Mentions

wikipedia: Wikipedia List of geometers#LHUD, George W. Hart (unknown)

History

2026-11-02: add by m2/dev

implication Z9HGMEZH7G

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

Mentions

wikipedia: Wikipedia Glossary of logic#XE4A, implication (definition)

History

2026-11-02: add by m2/dev

universal, property, of coproduct Z9HQ1KE615

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

Mentions

hott_book: hott_book index/1.15/universal-property-of-coproduct, universal, property, of coproduct (concept). In N54F33XE07, index, section 1.15

History

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

Z9HQX9HKY7 Z9HQX9HKY7

URI	`m2://inv/Z9HQX9HKY7`
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.35030#6KPN (statement). In DPT4P2BTEW/e1, lemma 7.1

History

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

Heisenberg picture Z9HVG9BRD8

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

Mentions

wikipedia: Wikipedia Heisenberg picture, Heisenberg picture (definition). Also Wikidata Q900653

History

2026-11-02: add by m2/dev

Z9HVV1301T Z9HVV1301T

URI	`m2://inv/Z9HVV1301T`
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#5JXD (statement). In E7W2HDNEKJ/e1, lemma 8.1

History

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

E. W. Cheney Z9HZ904MQS

URI	`m2://inv/Z9HZ904MQS`
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#8C6U, E. W. Cheney (topic)

History

2026-11-02: add by m2/dev

Z9J2YDRCVK Z9J2YDRCVK

URI	`m2://inv/Z9J2YDRCVK`
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 2406.01036#RRDZ (definition). In 6VX2G6RTH7/e1, definition 2.1

History

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

connected components Z9J7J46P4S

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

Mentions

mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > connected components, connected components (unknown). Also Mathlib connectedComponent

History

2026-10-26: add by m2/dev

Z9JEMGA5S0 Z9JEMGA5S0

URI	`m2://inv/Z9JEMGA5S0`
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.26357#YBSJ (statement)

History

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

Z9JG5H59YR Z9JG5H59YR

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#example-7 (example). In E59CDZA4DP, example, section 5.3.2

History

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

Szekeres snark Z9JJYNGQ5D

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

Mentions

wikidata: Wikidata Q3487139, Szekeres snark (concept). Also House of Graphs 1338, MathWorld SzekeresSnark
wikipedia: Wikipedia Szekeres snark, Szekeres snark (definition). Also Wikidata Q3487139

History

2026-10-26: add by m2/dev

Definition Z9JKE4DTVN

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

Mentions

wikipedia: Wikipedia Incidence coloring#1TQS, Definition (definition)

History

2026-11-02: add by m2/dev

A Brief History of Time Z9JKHYMKD9

URI	`m2://inv/Z9JKHYMKD9`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q471726, A Brief History of Time (unknown). Also ProofWiki Book:Stephen_W._Hawking/A_Brief_History_of_Time

History

2026-10-26: add by m2/dev

Cartan–Eilenberg resolution Z9JWBCMW9Y

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

Mentions

wikipedia: Wikipedia Cartan–Eilenberg resolution, Cartan–Eilenberg resolution (definition). Also Wikidata Q5047047

History

2026-11-02: add by m2/dev

Z9JXNEXMGD Z9JXNEXMGD

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

Mentions

wikipedia: Wikipedia Bose–Einstein condensate#9MJC (problem)

History

2026-11-02: add by m2/dev

Vladimir Horowitz Z9JZA561M5

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#1C3K, Vladimir Horowitz (unknown)

History

2026-11-02: add by m2/dev

Z9JZNT7WF7 Z9JZNT7WF7

URI	`m2://inv/Z9JZNT7WF7`
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.00144#EUGK (statement). In HAZGBX88B3/e1, lemma 2.3

History

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

Local multiplicity Z9K03Y0YP2

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

Mentions

arxiv: arXiv 2609.34382#JTO6, Local multiplicity (definition). In MEF2VCAYXS/e1, definition 2.10

History

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

Principles Z9K629Y16M

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

Mentions

wikipedia: Wikipedia Auguste Kerckhoffs#3RJF, Principles (statement)

History

2026-11-02: add by m2/dev

Z9K6NEAX8H Z9K6NEAX8H

URI	`m2://inv/Z9K6NEAX8H`
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 2609.35191#PIDA (statement). In W9Z6S1PDTP/e1, lemma 7.1

History

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

Z9KBC2XSB2 Z9KBC2XSB2

URI	`m2://inv/Z9KBC2XSB2`
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.26401#WGI6 (statement)

History

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

Z9KCJ6XK7Y Z9KCJ6XK7Y

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

Mentions

arxiv: arXiv 2610.21092#AZMS (statement). In AGJE43FTF8/e1, lemma 7.9

History

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

ombilic Z9KCQK6GXC

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#21LI, ombilic (definition)

History

2026-11-02: add by m2/dev

Z9KHX6JTC8 Z9KHX6JTC8

URI	`m2://inv/Z9KHX6JTC8`
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.10840#2J7Q (statement). In JSJQEPY71E/e1, theorem 3.11

History

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

Z9KJAKDHCN Z9KJAKDHCN

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

Mentions

arxiv: arXiv 2610.05696#EVLN (statement). In MG81A9XJTQ/e1, lemma IV.1

History

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

tractor bundle Z9KXX7GX68

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

Mentions

wikidata: Wikidata Q7831649, tractor bundle (unknown). Also nLab tractor bundle
wikipedia: Wikipedia Tractor bundle, Tractor bundle (definition). Also Wikidata Q7831649

History

2026-10-26: add by m2/dev

Benjamin Weiss Z9M1PJHVWR

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

Mentions

wikipedia: Wikipedia Benjamin Weiss, Benjamin Weiss (topic). Also Wikidata Q15455202

History

2026-11-02: add by m2/dev

Z9M2KG2842 Z9M2KG2842

URI	`m2://inv/Z9M2KG2842`
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.28702#3AFX (statement)

History

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

one edge of a triangle: regular cells, non-embedded source maps Z9M69B0BSE

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

Mentions

arxiv: arXiv 2609.32733#23FZ, one edge of a triangle: regular cells, non-embedded source maps (example). In PCAS8S14J6/e1, example D.8

History

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

Z9M8KCN9C8 Z9M8KCN9C8

URI	`m2://inv/Z9M8KCN9C8`
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 2403.01959#DCRH (statement). In 5YMNGJRC6Y/e1, proposition 4.9

History

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

Newton's law of gravitation Z9MCT4H5D8

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

Mentions

wikipedia: Wikipedia Kepler's laws of planetary motion#DV1M, Newton's law of gravitation (statement)

History

2026-11-02: add by m2/dev

tidy data Z9MGG1QY64

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#8DRN, tidy data (definition)

History

2026-11-02: add by m2/dev

Z9MJXTHY6V Z9MJXTHY6V

URI	`m2://inv/Z9MJXTHY6V`
Kind	statement
Layer	research
MSC	35-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.32233#GP6K (statement). In V42PPD7SWH/e1, theorem 6.10

History

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

canonical module Z9MSBMNSG7

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

Mentions

wikipedia: Wikipedia Glossary of module theory#89MZ, canonical module (definition)

History

2026-11-02: add by m2/dev

Z9MXG03SXQ Z9MXG03SXQ

URI	`m2://inv/Z9MXG03SXQ`
Kind	statement
Layer	research
MSC	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.29877#RQAZ (statement)

History

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

Z9N22P4WST Z9N22P4WST

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

History

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

Z9N40QQ72R Z9N40QQ72R

URI	`m2://inv/Z9N40QQ72R`
Kind	definition
Layer	research
MSC	03-XX, 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 math/0406514#W7W9 (definition). In CY1FE8W1ZW/e1, definition 0.28

History

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

Z9NA7R2XV5 Z9NA7R2XV5

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

Mentions

arxiv: arXiv 2609.22557#TWP1 (statement)

History

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

Z9ND1WE74Q Z9ND1WE74Q

URI	`m2://inv/Z9ND1WE74Q`
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.14914#AHZW (statement). In CHC3T113Y4/e1, proposition 6.5

History

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

Cyclic incidence-history Hamiltonian Z9NF8DD4PP

URI	`m2://inv/Z9NF8DD4PP`
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 2610.14081#JMUV, Cyclic incidence-history Hamiltonian (definition). In DCCKKQ7Y21/e1, definition IV.1

History

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

Von Neumann conjecture Z9NG09V0T8

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

Mentions

wikipedia: Wikipedia Von Neumann conjecture, Von Neumann conjecture (statement). Also Wikidata Q939072

History

2026-11-02: add by m2/dev

Z9NN4P2VQC Z9NN4P2VQC

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

Mentions

arxiv: arXiv 2609.25801#2W6H (statement)

History

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

Z9NNDCX63B Z9NNDCX63B

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

Mentions

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

History

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

Example Z9NNHAQJ50

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

Mentions

wikipedia: Wikipedia Torus action#C0I9, Example (example)

History

2026-11-02: add by m2/dev

Z9NVJCG5HR Z9NVJCG5HR

URI	`m2://inv/Z9NVJCG5HR`
Kind	definition
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.04046#3D8O (definition). In 3THDT8WNF7/e1, definition 2

History

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

von Neumann bicommutant theorem Z9P1ENKF2Z

URI	`m2://inv/Z9P1ENKF2Z`
Kind	statement
Layer	textbook
MSC	46-XX
Sources	4
Outcome	open
Node	Von Neumann bicommutant theorem BSA6GFT8SQ

Mentions

mathlib_1000: mathlib_1000 Q528987, Von Neumann bicommutant theorem (statement). Also Wikidata Q528987
thousand_plus: thousand_plus Q528987, Von Neumann bicommutant theorem (statement). Also Wikidata Q528987, Wikipedia Von Neumann bicommutant theorem
wikidata: Wikidata Q528987, von Neumann bicommutant theorem (statement). Also nLab bicommutant theorem
wikipedia: Wikipedia Von Neumann bicommutant theorem, Von Neumann bicommutant theorem (statement). Also Wikidata Q528987

History

2026-10-26: add by m2/dev

Z9PACQ0WCY Z9PACQ0WCY

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

Mentions

arxiv: arXiv 2610.21092#JX9O (statement). In AGJE43FTF8/e1, lemma 7.8

History

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

Alternating algebra Z9PDYE4JQA

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

Mentions

wikipedia: Wikipedia Alternating algebra, Alternating algebra (definition). Also Wikidata Q28401084

History

2026-11-02: add by m2/dev

Axiom of Euclid Z9PFJRMC9R

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

Mentions

wikipedia: Wikipedia Tarski's axioms#J73M, Axiom of Euclid (statement)

History

2026-11-02: add by m2/dev

Z9PJKGX3VD Z9PJKGX3VD

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

Mentions

active_calculus: active_calculus source/sec-1-5-units.xml#def-1-5-central-difference (definition). In 907G4C4EJ1, definition, section 1.5.3

History

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

Z9PMC8CQCG Z9PMC8CQCG

URI	`m2://inv/Z9PMC8CQCG`
Kind	definition
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.25301#B5B7 (definition)

History

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

Polysyllogism Z9PSS3W011

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

Mentions

wikipedia: Wikipedia Polysyllogism, Polysyllogism (definition). Also Wikidata Q2498324

History

2026-11-02: add by m2/dev

Z9PW0BCW2C Z9PW0BCW2C

URI	`m2://inv/Z9PW0BCW2C`
Kind	statement
Layer	research
MSC	30-XX, 32-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.10505#F444 (statement). In JW8HH6EPG2/e1, lemma 4.24

History

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

Z9Q6DBDR60 Z9Q6DBDR60

URI	`m2://inv/Z9Q6DBDR60`
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.21800#DJGH (statement). In CMAEC39BKK/e1, theorem 2.3

History

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

Hexagonal tiling Z9Q70VZ9E3

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

Mentions

wikipedia: Wikipedia List of Euclidean uniform tilings#3QUU, Hexagonal tiling (object)

History

2026-11-02: add by m2/dev

Z9Q7BK0YHR Z9Q7BK0YHR

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

Mentions

hott_book: hott_book reals.tex#interval-Heine-Borel (statement). In N54F33XE07, cor, section B.5

History

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

identity theorem Z9Q7J6VQED

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

Mentions

lebl_scv: lebl_scv index/B/identity-theorem, identity theorem (concept). In VNMV985MXX, index, section B

History

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

Cellular Message Encryption Algorithm Z9QATRSWWA

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#B4Z7, Cellular Message Encryption Algorithm (definition)

History

2026-11-02: add by m2/dev

Genetic epidemiology Z9QHZE6WCB

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

Mentions

wikipedia: Wikipedia List of statistics articles#IDL2, Genetic epidemiology (topic)

History

2026-11-02: add by m2/dev

Z9QTX29EP5 Z9QTX29EP5

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

Mentions

arxiv: arXiv 2610.05168#ZC9E (statement). In 2PW0WEPJBH/e1, theorem 1

History

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

Henri Darmon Z9QV4H3RFS

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#I5CE, Henri Darmon (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GFZ7, Henri Darmon (unknown)

History

2026-11-02: add by m2/dev

Varignon's theorem Z9QWKJJQQ9

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

Mentions

wikipedia: Wikipedia List of theorems#TZ8Y, Varignon's theorem (statement)

History

2026-11-02: add by m2/dev

Grunwald–Winstein equation Z9QWXTS6V8

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

Mentions

wikipedia: Wikipedia Grunwald–Winstein equation, Grunwald–Winstein equation (definition). Also Wikidata Q5612160

History

2026-11-02: add by m2/dev

$f_\sharp$ is homotopy invariant Z9QXMAFZZX

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

Mentions

napkin: napkin tex/topology/fundamental-group.tex#lem:fsharp_homotopy_invariant, $f_\sharp$ is homotopy invariant (statement). In RZP28ERRZV, lemma, section 98.3

History

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

trigonometry, fundamental trigonometric identity Z9R3YYB4DN

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

Mentions

active_calculus: active_calculus index/2.4.1/trigonometry-fundamental-trigonometric-identity, trigonometry, fundamental trigonometric identity (concept). In 907G4C4EJ1, index, section 2.4.1

History

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

Z9RADZTNHQ Z9RADZTNHQ

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

Mentions

arxiv: arXiv 2610.02061#XN9Q (statement). In F5STMSPR6X/e1, lemma 6.1

History

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

Categorical likelihood with arbitrary prior Z9RGQ6SYP4

URI	`m2://inv/Z9RGQ6SYP4`
Kind	example
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.19573#PQTI, Categorical likelihood with arbitrary prior (example). In NM6Z2R61CN/e1, example 7

History

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

Z9RHJNSDS9 Z9RHJNSDS9

URI	`m2://inv/Z9RHJNSDS9`
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.20013#HGO2 (statement). In SC5JZQKZH6/e1, theorem 5.1

History

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

Z9RJWWJ9ZK Z9RJWWJ9ZK

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

Mentions

arxiv: arXiv 2308.05066#IQDX (unknown). In 1QSCT53ZED/e1, unknown 9.5

History

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

Z9RK7M0XS2 Z9RK7M0XS2

URI	`m2://inv/Z9RK7M0XS2`
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.05646#UTL7 (statement). In K7Z6TZDFYK/e1, lemma 2.1

History

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

Z9RMZZ6H0R Z9RMZZ6H0R

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

Mentions

napkin: napkin tex/alg-geom/localization.tex#definition-4 (definition). In RZP28ERRZV, definition, section 21.4

History

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

Z9RQY845HV Z9RQY845HV

URI	`m2://inv/Z9RQY845HV`
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 2609.27295#ZVL6 (statement)

History

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

William Brouncker, 2nd Viscount Brouncker Z9RY65X7FR

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

Mentions

wikipedia: Wikipedia William Brouncker, 2nd Viscount Brouncker, William Brouncker, 2nd Viscount Brouncker (topic). Also Wikidata Q451693

History

2026-11-02: add by m2/dev

Statement of Arden's rule Z9S028ZRAE

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

Mentions

wikipedia: Wikipedia Arden's rule#5L4N, Statement of Arden's rule (statement)

History

2026-11-02: add by m2/dev

Z9S31PC02E Z9S31PC02E

URI	`m2://inv/Z9S31PC02E`
Kind	definition
Layer	research
MSC	03-XX, 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 math/0406514#TOOS (definition). In CY1FE8W1ZW/e1, definition 0.97

History

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

Anomaly cancellation Z9SF4PRDGS

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

Mentions

wikipedia: Wikipedia Anomaly (physics)#D9Z9, Anomaly cancellation (unknown)

History

2026-11-02: add by m2/dev

Z9SJ802S4Y Z9SJ802S4Y

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

Mentions

arxiv: arXiv 2610.20385#XLP9 (statement). In 54HS9AHWPE/e1, proposition 6.1

History

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

Continental drift Z9SP0V60DE

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#QPUE, Continental drift (unknown)

History

2026-11-02: add by m2/dev

Stable point Z9SPBFDPGS

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

Mentions

wikipedia: Wikipedia List of mathematical properties of points#5J25, Stable point (definition)

History

2026-11-02: add by m2/dev

Thomas N. Hibbard Z9SZ2KTBJA

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

Mentions

wikipedia: Wikipedia Thomas N. Hibbard, Thomas N. Hibbard (topic). Also Wikidata Q19958083

History

2026-11-02: add by m2/dev

open, cut Z9T3T9BV57

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

Mentions

hott_book: hott_book index/B.2/open-cut, open, cut (concept). In N54F33XE07, index, section B.2

History

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

Duas Barras Z9TDPV0GMN

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

Mentions

wikipedia: Wikipedia List of places with numeric names#N4NK, Duas Barras (unknown)

History

2026-11-02: add by m2/dev

Z9TED4RB4K Z9TED4RB4K

URI	`m2://inv/Z9TED4RB4K`
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 2609.25468#YS9K (statement)

History

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

Definition Z9THSVN972

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

Mentions

wikipedia: Wikipedia Resolvent (Galois theory)#3333, Definition (definition)

History

2026-11-02: add by m2/dev

Safe Operating Margin Z9TKQ620S4

URI	`m2://inv/Z9TKQ620S4`
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.25589#BLUA, Safe Operating Margin (statement)

History

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

Z9TRPZB26V Z9TRPZB26V

URI	`m2://inv/Z9TRPZB26V`
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.17677#JRZA (statement). In 5E9G06XJKC/e1, lemma D.19

History

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

Western Chain Z9TWTBBB9M

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

Mentions

wikipedia: Wikipedia List of places with numeric names#UUDP, Western Chain (unknown)

History

2026-11-02: add by m2/dev

Four-valued logic Z9TZPWFJGA

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

Mentions

wikipedia: Wikipedia Four-valued logic, Four-valued logic (definition). Also Wikidata Q5474962

History

2026-11-02: add by m2/dev

Maximum-cardinality search Z9V25KQTS6

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

Mentions

wikipedia: Wikipedia List of graph theory topics#HT99, Maximum-cardinality search (unknown)

History

2026-11-02: add by m2/dev

Multiple Kamp\'e de F\'eriet form of the $A$-components Z9V5CKNCT5

URI	`m2://inv/Z9V5CKNCT5`
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.22027#G8NJ, Multiple Kamp\'e de F\'eriet form of the $A$-components (statement)

History

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

Z9V93XN5MW Z9V93XN5MW

URI	`m2://inv/Z9V93XN5MW`
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.15369#XYPO (statement). In JESNVAZEYT/e1, theorem 1

History

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

multitape Turing machine Z9VESAEJMZ

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

Mentions

wikidata: Wikidata Q1392048, multitape Turing machine (definition). Also ProofWiki Definition:Multitape_Turing_Machine
wikipedia: Wikipedia Multitape Turing machine, Multitape Turing machine (definition). Also Wikidata Q1392048

History

2026-10-26: add by m2/dev

Information Flow Analysis Z9VM63R6K0

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

Mentions

wikipedia: Wikipedia Information flow (information theory)#LOL2, Information Flow Analysis (unknown)

History

2026-11-02: add by m2/dev

Open problems Z9VN4CN053

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

Mentions

wikipedia: Wikipedia Graph coloring game#7Z2W, Open problems (statement)

History

2026-11-02: add by m2/dev

Martin Wilk Z9VP1F7QJG

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#U0K5, Martin Wilk (unknown)

History

2026-11-02: add by m2/dev

Euler–Mascheroni constant Z9VVDHNTCY

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people#X4J6, Euler–Mascheroni constant (conjecture)

History

2026-11-02: add by m2/dev

Z9VVX76HF9 Z9VVX76HF9

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

Mentions

arxiv: arXiv 2508.03972#FFKR (example). In 2JD3KNKJ1P/e1, example 3.5

History

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

Z9VW191JXB Z9VW191JXB

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

Mentions

arxiv: arXiv 2609.31489#ZY4P (statement). In ZKBG58PN1J/e1, theorem 4.4

History

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

Macbeath surface Z9VXV78R3R

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#BGU0, Macbeath surface (definition)

History

2026-11-02: add by m2/dev

Jian Ding Z9W177DV76

URI	`m2://inv/Z9W177DV76`
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#PLDK, Jian Ding (topic)

History

2026-11-02: add by m2/dev

Charles Lembourg Z9W43BCWYS

URI	`m2://inv/Z9W43BCWYS`
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#1MGJ, Charles Lembourg (unknown)

History

2026-11-02: add by m2/dev

multiplication by a smooth function Z9W6ZPC27W

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

Mentions

mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > multiplication by a smooth function, multiplication by a smooth function (unknown)

History

2026-10-26: add by m2/dev

differentiation Z9WS9BWJGX

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#TI4M, differentiation (definition)

History

2026-11-02: add by m2/dev

Pavlo Ishchenko Z9X077K9ND

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#CC6Y, Pavlo Ishchenko (unknown)

History

2026-11-02: add by m2/dev

Z9X3DDCDQZ Z9X3DDCDQZ

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

Mentions

arxiv: arXiv 2610.22205#LURZ (definition). In 7REABAAQED/e1, definition

History

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

Z9X4WW49N8 Z9X4WW49N8

URI	`m2://inv/Z9X4WW49N8`
Kind	statement
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#PQ9H (statement). In KWB9M5YH9G/e1, theorem 2.2

History

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

Klein quartic Z9X63N0CCR

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

Mentions

wikipedia: Wikipedia List of manifolds#TWIG, Klein quartic (definition)

History

2026-11-02: add by m2/dev

Definitions Z9X7SXQ8P2

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

Mentions

wikipedia: Wikipedia Jacobi polynomials#NYXR, Definitions (definition)

History

2026-11-02: add by m2/dev

Z9XH414N8P Z9XH414N8P

URI	`m2://inv/Z9XH414N8P`
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.14458#YPJK (statement). In WJ76MVYAZQ/e1, corollary 3.6

History

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

Z9XJT94WTM Z9XJT94WTM

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

Mentions

arxiv: arXiv 2609.28514#KBTQ (statement)

History

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

matrix Z9XW3C0XR1

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#ULHF, matrix (definition)

History

2026-11-02: add by m2/dev

Kepler (lunar crater) Z9XYDAYZB9

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

Mentions

wikipedia: Wikipedia List of things named after Johannes Kepler#2VSZ, Kepler (lunar crater) (unknown)

History

2026-11-02: add by m2/dev

Z9Y1H41ENR Z9Y1H41ENR

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#theorem-3 (statement). In P1C114YBXG, theorem, section 1

History

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

Emmy Noether Z9Y1RB042P

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

Mentions

wikipedia: Wikipedia List of women logicians#QZEX, Emmy Noether (topic)

History

2026-11-02: add by m2/dev

Markov chain Monte Carlo Z9Y5RT81HQ

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#XL6V, Markov chain Monte Carlo (definition)

History

2026-11-02: add by m2/dev

Coefficient of determination Z9YBKV724P

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

Mentions

austin_ula: austin_ula src/section6-5.xml#definition-1, Coefficient of determination (definition). In 649HGZKE96, definition, section 6.5.3

History

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

Z9YBVZ3Y4E Z9YBVZ3Y4E

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

Mentions

arxiv: arXiv 2609.36412#E4A6 (statement). In 6HKGGCMBCK/e1, theorem 1.4

History

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

Stolz–Cesàro theorem Z9YDMJC0EZ

URI	`m2://inv/Z9YDMJC0EZ`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	3
Outcome	node (a node has the same name as the row)
Node	Stolz–Cesàro theorem 0Q3AKZV74D

Mentions

mathlib_1000: mathlib_1000 Q1052752, Stolz–Cesàro theorem (statement). Also Wikidata Q1052752
thousand_plus: thousand_plus Q1052752, Stolz–Cesàro theorem (statement). Also Wikidata Q1052752, Wikipedia Stolz–Cesàro theorem
wikipedia: Wikipedia Stolz–Cesàro theorem, Stolz–Cesàro theorem (statement). Also Wikidata Q1052752

History

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

Generalizations Z9YGE3M4D5

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

Mentions

wikipedia: Wikipedia Eilenberg–Niven theorem#WHRK, Generalizations (statement)

History

2026-11-02: add by m2/dev

Uses Z9YX65V0HK

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

Mentions

wikipedia: Wikipedia Truncated triakis octahedron#R57Y, Uses (example)

History

2026-11-02: add by m2/dev

Examples Z9YZ8PAD5B

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

Mentions

wikipedia: Wikipedia Differential poset#62WH, Examples (example)

History

2026-11-02: add by m2/dev

Z9Z2BAP3DD Z9Z2BAP3DD

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

Mentions

arxiv: arXiv 2609.29450#AL1V (statement)

History

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

Skewes' number Z9Z64ZKP8Z

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

Mentions

wikidata: Wikidata Q477645, Skewes' number (definition). Also MathWorld SkewesNumber, ProofWiki Definition:Skewes'_Number
wikipedia: Wikipedia Skewes's number, Skewes's number (definition). Also Wikidata Q477645

History

2026-10-26: add by m2/dev

Z9Z8VRT9H1 Z9Z8VRT9H1

URI	`m2://inv/Z9Z8VRT9H1`
Kind	example
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.37578#ILC3 (example). In D7NDCWSDJE/e1, example 1

History

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

Harris–Benedict equation Z9ZR0QCFE7

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

Mentions

wikipedia: Wikipedia Harris–Benedict equation, Harris–Benedict equation (definition). Also Wikidata Q5664730

History

2026-11-02: add by m2/dev

Uses Z9ZTT1Z2RQ

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

Mentions

wikipedia: Wikipedia Zech's logarithm#LOHS, Uses (example)

History

2026-11-02: add by m2/dev

Knots Unravelled Z9ZX5RNT4D

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

Mentions

wikipedia: Wikipedia Knots Unravelled, Knots Unravelled (definition). Also Wikidata Q104881972

History

2026-11-02: add by m2/dev