Inventory rows AX

Example AX001XRF48

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

Mentions

wikipedia: Wikipedia Gammoid#NJYU, Example (example)

History

2026-11-02: add by m2/dev

Mean AX08B505WE

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

Mentions

wikipedia: Wikipedia List of paradoxes#L0CW, Mean (definition)

History

2026-11-02: add by m2/dev

AX0AM0M6M4 AX0AM0M6M4

URI	`m2://inv/AX0AM0M6M4`
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.18205#KTBM (statement). In Y37VAPDKE4/e1, lemma 10

History

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

Formal definition AX0DZ3ERN1

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

Mentions

wikipedia: Wikipedia Herman ring#W1QX, Formal definition (definition)

History

2026-11-02: add by m2/dev

Purchasing power parity AX0JSWRXQH

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

Mentions

wikipedia: Wikipedia Purchasing power parity, Purchasing power parity (definition). Also Wikidata Q82135

History

2026-11-02: add by m2/dev

Jean Bricmont AX0PZ3TNM4

URI	`m2://inv/AX0PZ3TNM4`
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#EHIZ, Jean Bricmont (unknown)

History

2026-11-02: add by m2/dev

Sandra Mitchell Hedetniemi AX0QCFKRYN

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

Mentions

wikipedia: Wikipedia Sandra Mitchell Hedetniemi, Sandra Mitchell Hedetniemi (topic). Also Wikidata Q98400385

History

2026-11-02: add by m2/dev

Conditional shape invariance and its pooling limit AX0RW6R5E6

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

Mentions

arxiv: arXiv 2609.25545#V7B8, Conditional shape invariance and its pooling limit (statement)

History

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

negative, type AX0SA6DCCY

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

Mentions

hott_book: hott_book index/1.12/negative-type, negative, type (concept). In N54F33XE07, index, section 1.12

History

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

AX0VP3WNYS AX0VP3WNYS

URI	`m2://inv/AX0VP3WNYS`
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.12324#M4RN (statement). In CJDCSSCF1V/e1, proposition IV.1

History

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

AX0X8NXCJ1 AX0X8NXCJ1

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

Mentions

arxiv: arXiv 2609.25289#XGY2 (definition)

History

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

Running Gap AX11WEXZCK

URI	`m2://inv/AX11WEXZCK`
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#0MOV, Running Gap (statement). In WD2NCBV9F0/e1, lemma 15.12

History

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

AX1209QZ0M AX1209QZ0M

URI	`m2://inv/AX1209QZ0M`
Kind	statement
Layer	research
MSC	20-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.06699#HNI8 (statement). In GXHKRV5BPY/e1, proposition 5.14

History

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

Bernoulli's principle AX12Z5KA2J

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#FKY8, Bernoulli's principle (statement)

History

2026-11-02: add by m2/dev

Tsallis statistics AX139V6K9C

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

Mentions

wikipedia: Wikipedia List of statistics articles#CIDV, Tsallis statistics (definition)

History

2026-11-02: add by m2/dev

Expansion of $B$ AX1EG8X8CV

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

Mentions

arxiv: arXiv 2610.10821#5JLS, Expansion of $B$ (statement). In RWNP4FEE65/e1, lemma 3.20

History

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

AX1NM98SD3 AX1NM98SD3

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

History

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

Joanne Wendelberger AX1NPRT0Y1

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

Mentions

wikipedia: Wikipedia Joanne Wendelberger, Joanne Wendelberger (topic). Also Wikidata Q76490908

History

2026-11-02: add by m2/dev

One-dimensional space AX1PBGQQRT

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

Mentions

wikipedia: Wikipedia One-dimensional space, One-dimensional space (definition). Also Wikidata Q208920

History

2026-11-02: add by m2/dev

List of things named after Eduard Heine AX1PK7JAEY

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#AH1G, List of things named after Eduard Heine (topic)

History

2026-11-02: add by m2/dev

Concha Gómez AX1RVNZX37

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

Mentions

wikipedia: Wikipedia Concha Gómez, Concha Gómez (topic). Also Wikidata Q63117672

History

2026-11-02: add by m2/dev

Star AX1T5VDHJY

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#ILY9, Star (definition)

History

2026-11-02: add by m2/dev

millennium AX1YD9FDY4

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

Mentions

wikidata: Wikidata Q36507, millennium (definition). Also ProofWiki Definition:Time/Unit/Millennium

History

2026-10-26: add by m2/dev

AX1ZSBT7GK AX1ZSBT7GK

URI	`m2://inv/AX1ZSBT7GK`
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.14099#HNPR (statement). In D77GXFTKFH/e1, theorem 17

History

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

Athanasius Kircher AX295NB4ED

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

Mentions

wikipedia: Wikipedia List of cryptographers#4VR4, Athanasius Kircher (topic)

History

2026-11-02: add by m2/dev

Thirty-six officers problem AX29VAW58K

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

Mentions

wikipedia: Wikipedia List of impossible puzzles#AC9P, Thirty-six officers problem (definition)

History

2026-11-02: add by m2/dev

AX2CXR42SF AX2CXR42SF

URI	`m2://inv/AX2CXR42SF`
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.02628#EYP5 (statement). In G4S9C5M1A4/e1, lemma B.2

History

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

Definitions AX2KG1BJRX

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

Mentions

wikipedia: Wikipedia Complete field#UE6S, Definitions (definition)

History

2026-11-02: add by m2/dev

AX2XPYEQBT AX2XPYEQBT

URI	`m2://inv/AX2XPYEQBT`
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 2406.06548#9S3X (statement). In SCC2N3WNYE/e1, corollary 6.1

History

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

Stochastic modeling AX2ZXPV96F

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

Mentions

wikipedia: Wikipedia List of types of systems theory#GXBJ, Stochastic modeling (definition)

History

2026-11-02: add by m2/dev

AX30VD3FP3 AX30VD3FP3

URI	`m2://inv/AX30VD3FP3`
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#266Y (statement). In W6Y6NPK648/e1, proposition 5.16

History

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

AX347SFDBX AX347SFDBX

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

Mentions

arxiv: arXiv 2610.16225#M10F (definition). In H3DJV9YQW1/e1, definition 2.8

History

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

AX39S6WPXX AX39S6WPXX

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

Mentions

arxiv: arXiv 2609.26745#QRB1 (statement)

History

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

Lenglart's inequality AX3KF6VF44

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

Mentions

wikipedia: Wikipedia Lenglart's inequality, Lenglart's inequality (statement). Also Wikidata Q108821976

History

2026-11-02: add by m2/dev

Ehrenfest theorem AX3PGSD1ZZ

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

Mentions

wikipedia: Wikipedia Ehrenfest theorem, Ehrenfest theorem (statement). Also Wikidata Q908669

History

2026-11-02: add by m2/dev

Hermann Weyl AX3WTYJPE3

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

Mentions

wikidata: Wikidata Q71029, Hermann Weyl (unknown). Also nLab Hermann Weyl
wikipedia: Wikipedia Hermann Weyl, Hermann Weyl (topic). Also Wikidata Q71029

History

2026-10-26: add by m2/dev

Algorithm AX3Z6BVRNS

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

Mentions

wikipedia: Wikipedia Tiger (hash function)#JP2I, Algorithm (definition)

History

2026-11-02: add by m2/dev

AX42DS8CYS AX42DS8CYS

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

Mentions

arxiv: arXiv alg-geom/9506022#3U22 (statement). In AQGEM4XAKD/e1, theorem 5.1

History

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

AX45TCNYQ9 AX45TCNYQ9

URI	`m2://inv/AX45TCNYQ9`
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.16821#RDEU (statement). In EFSGMHG5BW/e1, lemma 3.1

History

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

AX49S2708B AX49S2708B

URI	`m2://inv/AX49S2708B`
Kind	definition
Layer	research
MSC	16-XX, 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 2607.00146#JIR1 (definition). In 6KR7Z5ETRY/e1, definition 3.16

History

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

AX4C1KQV0W AX4C1KQV0W

URI	`m2://inv/AX4C1KQV0W`
Kind	definition
Layer	research
MSC	16-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 2609.21703#6LF0 (definition)

History

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

AX4C991MDG AX4C991MDG

URI	`m2://inv/AX4C991MDG`
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 2203.00606#NHNW (statement). In 3WBQFVX65D/e1, theorem 3.2

History

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

AX4K4MVW3Z AX4K4MVW3Z

URI	`m2://inv/AX4K4MVW3Z`
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#PRU6 (statement). In DPJ15KW23C/e1, corollary 9.7

History

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

AX4TBVRPVY AX4TBVRPVY

URI	`m2://inv/AX4TBVRPVY`
Kind	definition
Layer	research
MSC	37-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.20131#CBY2 (definition). In 29D4TTE3J2/e1, definition 2.1

History

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

AX4THHVKFH AX4THHVKFH

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

Mentions

arxiv: arXiv 2610.13142#BXK2 (statement). In KYW4YMVQAB/e1, theorem 2

History

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

AX4V5KZ1Q0 AX4V5KZ1Q0

URI	`m2://inv/AX4V5KZ1Q0`
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 2309.15424#Z8GS (statement). In NXYZ1EAWKN/e1, corollary 3.1

History

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

radical of an ideal AX4V62550F

URI	`m2://inv/AX4V62550F`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Radical of an ideal 437YRCNYRJ

Mentions

wikidata: Wikidata Q1199022, radical of an ideal (unknown). Also MathWorld IdealRadical
wikipedia: Wikipedia Radical of an ideal, Radical of an ideal (definition). Also Wikidata Q1199022

History

2026-10-26: add by m2/dev

AX4ZP79XZ6 AX4ZP79XZ6

URI	`m2://inv/AX4ZP79XZ6`
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.34522#3JYZ (statement). In 1HJGW3Z6Q8/e1, corollary 1.2

History

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

AX54ZMPJFH AX54ZMPJFH

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

Mentions

napkin: napkin tex/calculus/differentiate.tex#definition-1 (definition). In RZP28ERRZV, definition, section 30.1

History

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

John L. Horn AX59NE4V1Y

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

Mentions

wikipedia: Wikipedia John L. Horn, John L. Horn (topic). Also Wikidata Q6243608

History

2026-11-02: add by m2/dev

AX5J71MTKT AX5J71MTKT

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

Mentions

arxiv: arXiv 2609.22551#B1BE (statement)

History

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

Definition AX5JYHE6MT

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

Mentions

wikipedia: Wikipedia Enthalpy#8XIR, Definition (definition)

History

2026-11-02: add by m2/dev

Generalizations AX5M0JMP00

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

Mentions

wikipedia: Wikipedia Hensel's lemma#X8ST, Generalizations (statement)

History

2026-11-02: add by m2/dev

AX5R04QP04 AX5R04QP04

URI	`m2://inv/AX5R04QP04`
Kind	problem
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 2407.20385#THUU (problem). In PZRSZ19KAH/e1, problem Problem

History

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

Helly's selection theorem AX5RJR4JMD

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

Mentions

mathlib_1000: mathlib_1000 Q3984017, Helly's selection theorem (statement). Also Wikidata Q3984017
thousand_plus: thousand_plus Q3984017, Helly's selection theorem (statement). Also Wikidata Q3984017, Wikipedia Helly's selection theorem
wikipedia: Wikipedia Helly's selection theorem, Helly's selection theorem (statement). Also Wikidata Q3984017

History

2026-10-26: add by m2/dev

Crisis AX5SZ9Y023

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

Mentions

wikipedia: Wikipedia Crisis (dynamical systems), Crisis (definition). Also Wikidata Q5185947

History

2026-11-02: add by m2/dev

Observable (quantum mechanics) AX6070F384

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

Mentions

wikipedia: Wikipedia Observable#U337, Observable (quantum mechanics) (unknown)

History

2026-11-02: add by m2/dev

File size bound under bounded-average compliance AX64WN8MVP

URI	`m2://inv/AX64WN8MVP`
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.11007#PNBN, File size bound under bounded-average compliance (statement). In MF0H78XZXC/e1, proposition A.3

History

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

Symmedian AX654F7QKV

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

Mentions

wikipedia: Wikipedia List of triangle topics#0X9Y, Symmedian (definition)

History

2026-11-02: add by m2/dev

AX6Y3G5VTN AX6Y3G5VTN

URI	`m2://inv/AX6Y3G5VTN`
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.17442#QIB7 (statement). In 6ADGJ51W1P/e1, lemma 3.2

History

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

AX6YZMJB9G AX6YZMJB9G

URI	`m2://inv/AX6YZMJB9G`
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.16704#0BE7 (statement). In Q7CWPC7PXY/e1, proposition 2.3

History

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

Pierre Remond de Montmort AX70RAEHB3

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

Mentions

wikipedia: Wikipedia Pierre Remond de Montmort, Pierre Remond de Montmort (topic). Also Wikidata Q474930

History

2026-11-02: add by m2/dev

AX72H25XKC AX72H25XKC

URI	`m2://inv/AX72H25XKC`
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 2309.01359#GGEK (statement). In BFV19FC2G7/e1, lemma 3.1

History

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

Polytopological space AX73AK25K7

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

Mentions

wikipedia: Wikipedia Glossary of general topology#QV0F, Polytopological space (definition)

History

2026-11-02: add by m2/dev

$\epsilon$-net argument for the minimum eigenvalue AX76NSN26Y

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

Mentions

arxiv: arXiv 2609.22338#HN77, $\epsilon$-net argument for the minimum eigenvalue (statement)

History

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

AX76ZJY84X AX76ZJY84X

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

Mentions

arxiv: arXiv 2609.30113#K1LK (definition)

History

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

AX7H86WR09 AX7H86WR09

URI	`m2://inv/AX7H86WR09`
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.29605#43VY (statement)

History

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

AX7NMKHSR3 AX7NMKHSR3

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

Mentions

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

History

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

Examples AX7RMXWHJM

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

Mentions

wikipedia: Wikipedia Syllogism#DAU8, Examples (example)

History

2026-11-02: add by m2/dev

Generalizations AX7RQVQ39V

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

Mentions

wikipedia: Wikipedia Diameter#4L27, Generalizations (statement)

History

2026-11-02: add by m2/dev

AX7XACDXEH AX7XACDXEH

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

Mentions

austin_ula: austin_ula src/section3-5.xml#activity-1 (exercise). In 649HGZKE96, activity, section 3.5.2

History

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

AX84VH50XE AX84VH50XE

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

History

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

Dirac spectrum AX8AQTAV0X

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

Mentions

wikipedia: Wikipedia Dirac spectrum, Dirac spectrum (definition). Also Wikidata Q5280162

History

2026-11-02: add by m2/dev

cone, of a sphere AX8NQ7FADJ

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

Mentions

hott_book: hott_book index/5.7/cone-of-a-sphere, cone, of a sphere (concept). In N54F33XE07, index, section 5.7

History

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

AX8QAVCFWS AX8QAVCFWS

URI	`m2://inv/AX8QAVCFWS`
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.16225#QDU1 (statement). In H3DJV9YQW1/e1, proposition 1.14

History

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

AX8T27H8YJ AX8T27H8YJ

URI	`m2://inv/AX8T27H8YJ`
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.32832#MDWS (statement). In VS7P86QHFR/e1, lemma 1

History

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

Affine representation AX8VPPPJJX

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

Mentions

wikipedia: Wikipedia List of group theory topics#6PLG, Affine representation (definition)
wikipedia: Wikipedia List of representation theory topics#ZN0B, Affine representation (definition)
wikipedia: Wikipedia List of abstract algebra topics#A8MW, Affine representation (definition)

History

2026-11-02: add by m2/dev

Bernhard Korte AX8YXQ9DAW

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

Mentions

wikipedia: Wikipedia Bernhard Korte, Bernhard Korte (topic). Also Wikidata Q90604

History

2026-11-02: add by m2/dev

Blackman window AX959BT5RG

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

Mentions

wikipedia: Wikipedia Window function#ERDP, Blackman window (unknown)

History

2026-11-02: add by m2/dev

Existence of fixed points AX989H377Q

URI	`m2://inv/AX989H377Q`
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.22513#E22D, Existence of fixed points (statement)

History

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

Applications AX9C35P0JM

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

Mentions

wikipedia: Wikipedia Vesica piscis#T3F6, Applications (example)

History

2026-11-02: add by m2/dev

AX9CWPBFRC AX9CWPBFRC

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-3 (exercise). In E59CDZA4DP, exercise, section 1.1.4

History

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

Definitions AX9GP0PS8A

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

Mentions

wikipedia: Wikipedia Semiprime ring#NQ8D, Definitions (definition)

History

2026-11-02: add by m2/dev

Duncan's new multiple range test AX9JPNSXV2

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

Mentions

wikipedia: Wikipedia List of statistics articles#EKQA, Duncan's new multiple range test (definition)

History

2026-11-02: add by m2/dev

AX9JQVG8B2 AX9JQVG8B2

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

Mentions

napkin: napkin tex/rep-theory/semisimple.tex#proof-6 (proof). In RZP28ERRZV, proof, section 81.4

History

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

AX9KQJCAG6 AX9KQJCAG6

URI	`m2://inv/AX9KQJCAG6`
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 2610.18377#QQU5 (statement). In KYJJMC50SJ/e1, lemma 3.2

History

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

AX9M9WEK44 AX9M9WEK44

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

Mentions

open_logic: open_logic content/incompleteness/theories-computability/interpretability.tex#cor-3 (statement). In PKGMM3P5QY, cor, section 30.11

History

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

AX9N1PDVEZ AX9N1PDVEZ

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

Mentions

arxiv: arXiv 2610.03373#NU8P (statement). In ZA7DBT3NWR/e1, lemma 3.12

History

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

AX9RNCEKMP AX9RNCEKMP

URI	`m2://inv/AX9RNCEKMP`
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.40260#QWRY (statement). In 524FZAC6NB/e1, theorem 12

History

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

Francesca Dominici AXA0ZWN8ZE

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

Mentions

wikipedia: Wikipedia Francesca Dominici, Francesca Dominici (topic). Also Wikidata Q42308653

History

2026-11-02: add by m2/dev

AXAG3EJA7T AXAG3EJA7T

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

Mentions

arxiv: arXiv 2609.22847#LKIE (statement)

History

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

Linear congruence theorem AXAJ4JYVS4

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

Mentions

wikipedia: Wikipedia List of theorems#RAVT, Linear congruence theorem (statement)

History

2026-11-02: add by m2/dev

Quadrifolium AXAMAAHJBY

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#F1XV, Quadrifolium (definition)
wikipedia: Wikipedia List of curves#GIZI, Quadrifolium (definition)

History

2026-11-02: add by m2/dev

AXAMVGT051 AXAMVGT051

URI	`m2://inv/AXAMVGT051`
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 2604.10080#N2XW (statement). In KM2FWKP93A/e1, theorem 5.5

History

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

Extensions AXAQ4BKYN1

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

Mentions

wikipedia: Wikipedia No-hair theorem#2BGY, Extensions (statement)

History

2026-11-02: add by m2/dev

Order-5-4 floret pentagonal tiling AXAZ44Y273

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

Mentions

wikipedia: Wikipedia Snub tetrapentagonal tiling#TBV2, Order-5-4 floret pentagonal tiling (unknown)

History

2026-11-02: add by m2/dev

AXAZAAXN0E AXAZAAXN0E

URI	`m2://inv/AXAZAAXN0E`
Kind	statement
Layer	research
MSC	14-XX, 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 2609.31523#S5OB (statement). In 2BET1RE1F6/e1, proposition 3.10

History

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

SageMath AXB09CH82C

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#X0UF, SageMath (unknown)

History

2026-11-02: add by m2/dev

predicate AXB4A445RZ

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

Mentions

levin_dmoi: levin_dmoi index/1.2.3/predicate, predicate (concept). In Y91XFCEVHQ, index, section 1.2.3

History

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

Redlich–Kwong equation of state AXB9Y7SV0Y

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

Mentions

wikipedia: Wikipedia Redlich–Kwong equation of state, Redlich–Kwong equation of state (definition). Also Wikidata Q903139

History

2026-11-02: add by m2/dev

Definition AXBB0CD17S

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

Mentions

wikipedia: Wikipedia McNemar's test#KTAJ, Definition (definition)

History

2026-11-02: add by m2/dev

AXBB1TWFAP AXBB1TWFAP

URI	`m2://inv/AXBB1TWFAP`
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.07180#YNH0 (statement). In TM4H1RV0BQ/e1, lemma 5.2

History

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

Kalman filter AXBCY1XYP9

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

Mentions

wikidata: Wikidata Q846780, Kalman filter (unknown). Also MathWorld KalmanFilter
wikipedia: Wikipedia Kalman filter, Kalman filter (definition). Also Wikidata Q846780

History

2026-10-26: add by m2/dev

Local regularity at non-atomic points AXBGC508WB

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

Mentions

arxiv: arXiv 2610.15180#RSPI, Local regularity at non-atomic points (statement). In AMRWRJDNKJ/e1, theorem B.3

History

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

AXBHJ2XAX1 AXBHJ2XAX1

URI	`m2://inv/AXBHJ2XAX1`
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.19311#21ZE (statement). In 3MFD6RSV41/e1, lemma 5.3

History

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

Lefschetz fixed-point theorem AXBJ44NKY0

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

Mentions

mathlib_1000: mathlib_1000 Q657469, Lefschetz fixed-point theorem (statement). Also Wikidata Q657469
mathlib_1000: mathlib_1000 Q657469X, Lefschetz–Hopf theorem (statement). Also Wikidata Q657469
thousand_plus: thousand_plus Q657469, Lefschetz fixed-point theorem (statement). Also Wikidata Q657469, Wikipedia Lefschetz fixed-point theorem
thousand_plus: thousand_plus Q657469X, Lefschetz–Hopf theorem (statement). Also Wikidata Q657469, Wikipedia Lefschetz–Hopf theorem
wikipedia: Wikipedia Lefschetz fixed-point theorem, Lefschetz fixed-point theorem (statement). Also Wikidata Q657469

History

2026-10-26: add by m2/dev

electrical resistance AXBNAFDRHC

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

Mentions

wikidata: Wikidata Q25358, electrical resistance (definition). Also ProofWiki Definition:Resistance

History

2026-10-26: add by m2/dev

AXBSMAHQ75 AXBSMAHQ75

URI	`m2://inv/AXBSMAHQ75`
Kind	example
Layer	research
MSC	05-XX, 16-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 2509.04068#QTYJ (example). In Y7TVAQE9PF/e1, example Example

History

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

Adolphe Buhl AXBTKTQHE2

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

Mentions

wikipedia: Wikipedia Adolphe Buhl, Adolphe Buhl (topic). Also Wikidata Q2824789

History

2026-11-02: add by m2/dev

AXBVFEJMW0 AXBVFEJMW0

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

Mentions

arxiv: arXiv 2609.32300#A24P (statement). In VNE8N0D2FB/e1, lemma 3.1

History

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

instant AXBX04M11C

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

Mentions

wikidata: Wikidata Q16963779, instant (definition). Also ProofWiki Definition:Instant_of_Time

History

2026-10-26: add by m2/dev

Definition AXC26VYDZ5

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

Mentions

wikipedia: Wikipedia Positive and negative predictive values#5MAG, Definition (definition)

History

2026-11-02: add by m2/dev

Bootstrap aggregating AXC36B96AH

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

Mentions

wikipedia: Wikipedia List of algorithms#DDIQ, Bootstrap aggregating (definition)

History

2026-11-02: add by m2/dev

Properties AXC4VPTNKN

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

Mentions

wikipedia: Wikipedia Iverson bracket#1P1A, Properties (statement)

History

2026-11-02: add by m2/dev

Adleman–Pomerance–Rumely primality test AXC5VTD23Z

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

Mentions

wikipedia: Wikipedia Adleman–Pomerance–Rumely primality test, Adleman–Pomerance–Rumely primality test (definition). Also Wikidata Q4683276

History

2026-11-02: add by m2/dev

AXC69Z85TP AXC69Z85TP

URI	`m2://inv/AXC69Z85TP`
Kind	statement
Layer	research
MSC	26-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.14842#QGV1 (statement). In MQXT5RQE0C/e1, lemma 2.3

History

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

Example AXC81E6B16

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

Mentions

wikipedia: Wikipedia Trachtenberg system#VLFC, Example (example)

History

2026-11-02: add by m2/dev

AXCAGXW6K9 AXCAGXW6K9

URI	`m2://inv/AXCAGXW6K9`
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.10949#ER0K (statement). In ANP2XNAH91/e1, theorem 5

History

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

Bessel process AXCBZMADPB

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

Mentions

wikipedia: Wikipedia List of stochastic processes topics#8JI5, Bessel process (definition)
wikipedia: Wikipedia List of statistics articles#82YS, Bessel process (definition)

History

2026-11-02: add by m2/dev

Constant-preserving composition AXCCCGREH1

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

Mentions

arxiv: arXiv 2610.16069#TKW0, Constant-preserving composition (statement). In MBJA03ES8N/e1, corollary 7.2

History

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

AXCCTCZX1C AXCCTCZX1C

URI	`m2://inv/AXCCTCZX1C`
Kind	definition
Layer	research
MSC	35-XX, 53-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.08484#L7QA (definition). In C2HJ1CCJ0S/e1, definition 1

History

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

Additive basis AXCKM2XXMR

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

Mentions

wikidata: Wikidata Q96371464, Additive basis (unknown). Also EoM Additive_basis

History

2026-10-26: add by m2/dev

A. J. Casson AXCMYQDYNC

URI	`m2://inv/AXCMYQDYNC`
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#G6ZI, A. J. Casson (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZVIZ, A. J. Casson (unknown)

History

2026-11-02: add by m2/dev

Michael Atiyah AXCQV15GEJ

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

Mentions

wikidata: Wikidata Q208356, Michael Atiyah (unknown). Also nLab Michael Atiyah
wikipedia: Wikipedia Michael Atiyah, Michael Atiyah (topic). Also Wikidata Q208356

History

2026-10-26: add by m2/dev

AXCSEQ7PNW AXCSEQ7PNW

URI	`m2://inv/AXCSEQ7PNW`
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.28306#UW0N (statement)

History

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

Larry Guth AXCTM62FW2

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

Mentions

wikipedia: Wikipedia Larry Guth, Larry Guth (topic). Also Wikidata Q6490439

History

2026-11-02: add by m2/dev

figure-eight knot AXCTZNXY2C

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

Mentions

arxiv: arXiv 2610.18803#U6K6, figure-eight knot (example). In VG8AF124T3/e1, example 5.7

History

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

Hausdorff distance AXCV26PM49

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

Mentions

mathlib_overview: mathlib_overview Topology > Metric spaces > Hausdorff distance, Hausdorff distance (unknown). Also Mathlib Metric.hausdorffEDist

History

2026-10-26: add by m2/dev

Lemma AXD3PGQXBK

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

Mentions

wikipedia: Wikipedia Christoffel–Darboux formula#C2O3, Lemma (statement)

History

2026-11-02: add by m2/dev

George Pólya AXDJ79BFNW

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#DQIF, George Pólya (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9O8A, George Pólya (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SFED, George Pólya (unknown)

History

2026-11-02: add by m2/dev

Seventy Mile, Queensland AXDSP664ZT

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

Mentions

wikipedia: Wikipedia List of places with numeric names#7VPY, Seventy Mile, Queensland (unknown)

History

2026-11-02: add by m2/dev

Guido De Philippis AXDWBR027V

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

Mentions

wikipedia: Wikipedia Guido De Philippis, Guido De Philippis (topic). Also Wikidata Q25929361

History

2026-11-02: add by m2/dev

AXDWDPVG3W AXDWDPVG3W

URI	`m2://inv/AXDWDPVG3W`
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.18219#L6H5 (statement). In X1AGBB90EH/e1, lemma 7.21

History

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

AXE0G1FGH0 AXE0G1FGH0

URI	`m2://inv/AXE0G1FGH0`
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 2104.00162#D2WB (statement). In HVGT9D84WV/e1, corollary 3.10

History

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

Global variational correctness AXE4KM5S73

URI	`m2://inv/AXE4KM5S73`
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.05767#K7MV, Global variational correctness (statement). In BG6MTYCXWS/e1, theorem 2.5

History

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

Fisher face AXE76DQ6JS

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

Mentions

wikipedia: Wikipedia Linear discriminant analysis#GBEE, Fisher face (unknown)

History

2026-11-02: add by m2/dev

AXEA4FWM21 AXEA4FWM21

URI	`m2://inv/AXEA4FWM21`
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.40207#AT45 (statement). In JXTG8KP95P/e1, proposition 1.6

History

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

Applications AXEACEGT16

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

Mentions

wikipedia: Wikipedia Langlands decomposition#IX3W, Applications (example)

History

2026-11-02: add by m2/dev

property P AXEBJTEB3W

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#723P, property P (definition)

History

2026-11-02: add by m2/dev

AXEBWKFS7Q AXEBWKFS7Q

URI	`m2://inv/AXEBWKFS7Q`
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.18312#N7JE (statement). In NPEVE32HFP/e1, lemma 7.9

History

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

Cognitive pretesting AXED6KTB6V

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

Mentions

wikipedia: Wikipedia Cognitive pretesting, Cognitive pretesting (definition). Also Wikidata Q5141230

History

2026-11-02: add by m2/dev

uniqueness, principle, for identities between functions AXEF604N6F

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

Mentions

hott_book: hott_book index/1.9/uniqueness-principle-for-identities-between-functions, uniqueness, principle, for identities between functions (concept). In N54F33XE07, index, section 1.9

History

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

AXEJEMRC76 AXEJEMRC76

URI	`m2://inv/AXEJEMRC76`
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.17589#XKKS (statement). In GSTK4569X1/e1, lemma 8.1

History

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

Albert–Brauer–Hasse–Noether theorem AXEW9F41EH

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

Mentions

wikipedia: Wikipedia List of theorems#X384, Albert–Brauer–Hasse–Noether theorem (statement)

History

2026-11-02: add by m2/dev

AXF11HBQRZ AXF11HBQRZ

URI	`m2://inv/AXF11HBQRZ`
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.12817#K4HB (statement). In FPSGZ5S6YF/e1, lemma 4.1

History

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

Decidability (logic) AXF1XCDX90

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#C660, Decidability (logic) (definition)

History

2026-11-02: add by m2/dev

Generic Langevin equation AXF8G50NN3

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

Mentions

wikipedia: Wikipedia Langevin equation#QF6N, Generic Langevin equation (unknown)

History

2026-11-02: add by m2/dev

Foundations of Computational Mathematics AXFSYGRRF4

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

Mentions

wikipedia: Wikipedia List of mathematical societies#DSPY, Foundations of Computational Mathematics (unknown)

History

2026-11-02: add by m2/dev

Relative K-group AXFX53J37H

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

Mentions

wikipedia: Wikipedia Algebraic K-theory#NLG7, Relative K-group (unknown)

History

2026-11-02: add by m2/dev

AXFYPRXHNQ AXFYPRXHNQ

URI	`m2://inv/AXFYPRXHNQ`
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 2406.19866#PG3I (statement). In 9F94CEQ1ZM/e1, corollary 2.5

History

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

AXG7EYPHWP AXG7EYPHWP

URI	`m2://inv/AXG7EYPHWP`
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-nd.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 27.7

History

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

Truncated triakis tetrahedron AXGCZ6VZ15

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

Mentions

wikipedia: Wikipedia Truncated triakis tetrahedron, Truncated triakis tetrahedron (definition). Also Wikidata Q3538670

History

2026-11-02: add by m2/dev

AXGDVMYRQJ AXGDVMYRQJ

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-9 (exercise). In E9HS8K3A52, exercise, section 6.1.1

History

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

Anjing Qu AXGETA4R3V

URI	`m2://inv/AXGETA4R3V`
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#MMVY, Anjing Qu (unknown)

History

2026-11-02: add by m2/dev

AXGJXV5JAP AXGJXV5JAP

URI	`m2://inv/AXGJXV5JAP`
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#NHJT (statement). In 9YAE8FNQST/e1, theorem 26.2

History

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

AXGN86ER63 AXGN86ER63

URI	`m2://inv/AXGN86ER63`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-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 1804.05688#T5QL (statement). In M8F4PDHH3S/e1, proposition 4.4

History

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

Tissot's indicatrix AXGPMFEJ90

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

Mentions

wikipedia: Wikipedia Tissot's indicatrix, Tissot's indicatrix (definition). Also Wikidata Q534527

History

2026-11-02: add by m2/dev

Fractional FTOC AXGRE5XHXE

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

Mentions

arxiv: arXiv 2610.08253#GL54, Fractional FTOC (statement). In 6AD2CTF0QF/e1, theorem 2.8

History

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

AXGSBZAF3Q AXGSBZAF3Q

URI	`m2://inv/AXGSBZAF3Q`
Kind	statement
Layer	research
MSC	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 2609.25321#FUSZ (statement)

History

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

Domenico Chelucci AXH184R81W

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

Mentions

wikipedia: Wikipedia Domenico Chelucci, Domenico Chelucci (topic). Also Wikidata Q18945196

History

2026-11-02: add by m2/dev

K-mer AXHCBP2YP5

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

Mentions

wikipedia: Wikipedia K-mer, K-mer (definition). Also Wikidata Q6322851

History

2026-11-02: add by m2/dev

Michael Saunders AXHD5F6JWF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WKMY, Michael Saunders (unknown)

History

2026-11-02: add by m2/dev

AXHJRA5J2Z AXHJRA5J2Z

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

Mentions

arxiv: arXiv 2609.24593#O4Y4 (statement)

History

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

AXHQ70KCFP AXHQ70KCFP

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

Mentions

arxiv: arXiv 2609.23605#7SHN (statement)

History

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

Definition AXHS8HQCA3

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

Mentions

wikipedia: Wikipedia Gauss congruence#NBHM, Definition (definition)

History

2026-11-02: add by m2/dev

contravariant tensor AXHYF1D0XT

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

Mentions

wikidata: Wikidata Q77982958, contravariant tensor (unknown). Also MathWorld ContravariantTensor

History

2026-10-26: add by m2/dev

Spin group AXHYPGY9AQ

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

Mentions

wikipedia: Wikipedia Glossary of tensor theory#F9XB, Spin group (definition)

History

2026-11-02: add by m2/dev

Data fusion AXHZYA0JP7

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

Mentions

wikipedia: Wikipedia Data fusion, Data fusion (definition). Also Wikidata Q456962

History

2026-11-02: add by m2/dev

AXJES17DJ8 AXJES17DJ8

URI	`m2://inv/AXJES17DJ8`
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.33250#7DIB (statement). In JCTD510XJ0/e1, theorem 3.2

History

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

AXJGBFT4GV AXJGBFT4GV

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

Mentions

arxiv: arXiv 2610.12108#R907 (statement). In JQH3FHYPW3/e1, corollary 3.9

History

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

Pentagram dipyramid AXJHW32RTC

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

Mentions

wikipedia: Wikipedia Pentagrammic prism#C1TT, Pentagram dipyramid (unknown)

History

2026-11-02: add by m2/dev

Definition AXJM7APQNF

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

Mentions

wikipedia: Wikipedia Series (mathematics)#2YKE, Definition (definition)

History

2026-11-02: add by m2/dev

AXJMED46D5 AXJMED46D5

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

Mentions

arxiv: arXiv 2610.13877#NKAT (statement). In NBMA6DBKJG/e1, theorem 1.6

History

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

AXJTC92JW0 AXJTC92JW0

URI	`m2://inv/AXJTC92JW0`
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.06206#RV87 (statement). In A7611PTXVQ/e1, lemma 2.8

History

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

Remark AXJVXJXFFT

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

Mentions

wikipedia: Wikipedia Direct integral#6CCD, Remark (unknown)

History

2026-11-02: add by m2/dev

Fixed-point collapse AXJWAJAJBC

URI	`m2://inv/AXJWAJAJBC`
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.27908#LEQA, Fixed-point collapse (statement)

History

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

Compact Lorentzian sides and pseudo-causal return AXK5C3BBDD

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

Mentions

arxiv: arXiv 2609.27136#0ZAI, Compact Lorentzian sides and pseudo-causal return (example)

History

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

hull AXKGDQDE1X

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#B5H2, hull (definition)

History

2026-11-02: add by m2/dev

Norm choice by rescaling AXKMSXJ9P9

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

Mentions

arxiv: arXiv 2609.30301#VV7P, Norm choice by rescaling (statement). In 7NS75J7HAM/e1, lemma 9.35

History

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

AXKT95VRG7 AXKT95VRG7

URI	`m2://inv/AXKT95VRG7`
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.18544#GVT5 (statement). In HT5MC1SPD9/e1, lemma 4.5

History

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

Eden Golan AXKYZ8PNSE

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#DWN1, Eden Golan (unknown)

History

2026-11-02: add by m2/dev

Applications AXM3DC46M6

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

Mentions

wikipedia: Wikipedia Moore–Penrose inverse#S1AK, Applications (example)

History

2026-11-02: add by m2/dev

first-order logic AXM6865B4D

URI	`m2://inv/AXM6865B4D`
Kind	definition
Layer	textbook
MSC	03B10
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Predicate logic 086QKPF0A6

Mentions

wikidata: Wikidata Q4055684, first-order logic (topic). Also EoM Predicate_calculus, nLab predicate logic
wikipedia: Wikipedia First-order logic, First-order logic (definition). Also Wikidata Q4055684

History

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

Repeat-accumulate code AXMGJXK5NX

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#XMF8, Repeat-accumulate code (unknown)

History

2026-11-02: add by m2/dev

Judy Goldsmith AXMJCHF1BP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#TMSG, Judy Goldsmith (unknown)

History

2026-11-02: add by m2/dev

De Bruijn–Newman constant AXMK23NG81

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#LU73, De Bruijn–Newman constant (object)

History

2026-11-02: add by m2/dev

AXMKZB744F AXMKZB744F

URI	`m2://inv/AXMKZB744F`
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.01968#DJNB (statement). In 9QE553Z0J5/e1, lemma 2.1

History

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

AXMXHFPA2W AXMXHFPA2W

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

Mentions

hott_book: hott_book reals.tex#RC-continuous-eq (statement). In N54F33XE07, lem, section B.3.2

History

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

AXN455DQTB AXN455DQTB

URI	`m2://inv/AXN455DQTB`
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.21098#6CBV (statement)

History

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

AXN62T8RND AXN62T8RND

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

Mentions

arxiv: arXiv 2610.00843#UT87 (statement). In 1K7M5TD0M2/e1, corollary 6.2

History

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

AXN697ZBGT AXN697ZBGT

URI	`m2://inv/AXN697ZBGT`
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#8IUH (statement). In WD2NCBV9F0/e1, corollary 16.5

History

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

Frechet-Hoeffding copula bounds AXNA20EGH7

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

Mentions

wikipedia: Wikipedia Copula (statistics)#TTMZ, Frechet-Hoeffding copula bounds (unknown)

History

2026-11-02: add by m2/dev

Zoll surface AXNAQRHJ1W

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

Mentions

wikipedia: Wikipedia Zoll surface, Zoll surface (definition). Also Wikidata Q8073569

History

2026-11-02: add by m2/dev

Botvinnik--Piazza--Rosenberg AXNPD93VFC

URI	`m2://inv/AXNPD93VFC`
Kind	statement
Layer	research
MSC	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 2005.03073#Y0Q9, Botvinnik--Piazza--Rosenberg (statement). In P2ETMXKVDS/e1, theorem 1.6

History

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

AXNRRCY9FB AXNRRCY9FB

URI	`m2://inv/AXNRRCY9FB`
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.08766#IKDL (statement). In QA4JM9SHPA/e1, lemma D.1

History

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

Helen Wilson AXNWT581FZ

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

Mentions

wikipedia: Wikipedia Helen Wilson (mathematician), Helen Wilson (topic). Also Wikidata Q28199990

History

2026-11-02: add by m2/dev

jump discontinuity AXP3JXN50D

URI	`m2://inv/AXP3JXN50D`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Jump discontinuity 004FH91BN5

Mentions

wikidata: Wikidata Q77871488, jump discontinuity (unknown). Also MathWorld JumpDiscontinuity

History

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

XOP instruction set AXP6FZHJRS

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

Mentions

wikipedia: Wikipedia XOP instruction set, XOP instruction set (definition). Also Wikidata Q8042372

History

2026-11-02: add by m2/dev

Notation AXP77RFEPW

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

Mentions

wikipedia: Wikipedia Order type#H88H, Notation (definition)

History

2026-11-02: add by m2/dev

AXP8WXS9YB AXP8WXS9YB

URI	`m2://inv/AXP8WXS9YB`
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#H95C (statement). In 9B5TNEBJHV/e1, corollary 2.11

History

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

Ultra-commutative ring spectra AXPEYPEMBV

URI	`m2://inv/AXPEYPEMBV`
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.21675#9A4Z, Ultra-commutative ring spectra (definition). In TB1294GY5X/e1, definition B.22

History

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

AXPGJNFZC3 AXPGJNFZC3

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

Mentions

arxiv: arXiv 2609.26896#9K2E (definition)

History

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

Definition AXPPB8SSPN

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

Mentions

wikipedia: Wikipedia Quasiconformal mapping#288R, Definition (definition)

History

2026-11-02: add by m2/dev

AXPR74JRS8 AXPR74JRS8

URI	`m2://inv/AXPR74JRS8`
Kind	definition
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.13423#1CZX (definition). In 9JWYWC92M3/e1, definition 1

History

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

Selected mean geometry AXPTSBHZAM

URI	`m2://inv/AXPTSBHZAM`
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.11309#S45I, Selected mean geometry (statement). In TTEAQA1XXR/e1, lemma F.3

History

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

Properties AXPX13S7DC

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

Mentions

wikipedia: Wikipedia Minimal polynomial (linear algebra)#ZYSV, Properties (statement)

History

2026-11-02: add by m2/dev

James Lockhart AXPXYND592

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

Mentions

wikipedia: Wikipedia James Lockhart (banker), James Lockhart (topic). Also Wikidata Q21557953

History

2026-11-02: add by m2/dev

TI-30 AXQ0R8JZCB

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

Mentions

wikipedia: Wikipedia TI-30, TI-30 (definition). Also Wikidata Q2384284

History

2026-11-02: add by m2/dev

Siblings AXQ2TD3NPM

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

Mentions

arxiv: arXiv math/0003117#7X5D, Siblings (definition). In WD2NCBV9F0/e1, definition 13.6

History

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

AXQA0MZTNY AXQA0MZTNY

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

Mentions

napkin: napkin tex/alg-geom/quasi-proj.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 24.2.1

History

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

Avi Wigderson AXQB0BBQ3Q

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

Mentions

wikipedia: Wikipedia Avi Wigderson, Avi Wigderson (topic). Also Wikidata Q92957

History

2026-11-02: add by m2/dev

Richard Schroeppel AXQCQM7W5X

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

Mentions

wikipedia: Wikipedia Richard Schroeppel, Richard Schroeppel (topic). Also Wikidata Q2150561

History

2026-11-02: add by m2/dev

AXQK8HRGBN AXQK8HRGBN

URI	`m2://inv/AXQK8HRGBN`
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#NE4I (statement). In E7W2HDNEKJ/e1, theorem 4.17

History

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

AXR7VB1MGY AXR7VB1MGY

URI	`m2://inv/AXR7VB1MGY`
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 2110.06338#5NN5 (statement). In W1VVK7WDPK/e1, lemma 4.10

History

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

George C. Tiao AXRCREK0DJ

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

Mentions

wikipedia: Wikipedia George C. Tiao, George C. Tiao (topic). Also Wikidata Q10896784

History

2026-11-02: add by m2/dev

Applications AXRDR3DQ8W

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

Mentions

wikipedia: Wikipedia Quantum tunnelling#NNPY, Applications (example)

History

2026-11-02: add by m2/dev

Nielsen transformation AXREQDGW6B

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

Mentions

wikipedia: Wikipedia List of group theory topics#BOJZ, Nielsen transformation (definition)

History

2026-11-02: add by m2/dev

Corollary AXRM1KKF9D

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

Mentions

wikipedia: Wikipedia Gauss's lemma (polynomials)#W7RR, Corollary (statement)

History

2026-11-02: add by m2/dev

AXRP0BVY7T AXRP0BVY7T

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

Mentions

arxiv: arXiv 2609.28677#TF1X (statement)

History

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

AXRPBSC2D5 AXRPBSC2D5

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

Mentions

open_logic: open_logic content/normal-modal-logic/frame-definability/second-order-definability.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 53.4

History

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

AXRRZC2M9H AXRRZC2M9H

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

Mentions

arxiv: arXiv 2610.20909#RDDE (statement). In 7ZBX5WVEZP/e1, theorem 1.3

History

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

AXRXGD0PA9 AXRXGD0PA9

URI	`m2://inv/AXRXGD0PA9`
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.02852#LQCV (statement). In HX6FXCYGKA/e1, lemma 3.2

History

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

AXS4EAVRE7 AXS4EAVRE7

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

Mentions

arxiv: arXiv 2609.33805#2I5U (statement). In XM98BX97RT/e1, proposition 1.1

History

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

quetta AXS4EPYTVR

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

Mentions

wikidata: Wikidata Q107915098, quetta (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/Quetta-

History

2026-10-26: add by m2/dev

Mathematical diagram AXS5T59SVV

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

Mentions

wikipedia: Wikipedia Mathematical diagram, Mathematical diagram (definition). Also Wikidata Q5574851

History

2026-11-02: add by m2/dev

Explained sum of squares AXS6GBS4AZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#RDFY, Explained sum of squares (definition)

History

2026-11-02: add by m2/dev

Invariant evolution and energy conservation AXSJ4F1XP7

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

Mentions

arxiv: arXiv 2501.09848#F2KW, Invariant evolution and energy conservation (statement). In HF7YNMW39N/e1, corollary 6.2

History

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

AXSNBZNRTT AXSNBZNRTT

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-5 (statement). In VNMV985MXX, thm, section 1.2

History

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

Schanuel's lemma AXSR6XX30X

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

Mentions

wikipedia: Wikipedia Schanuel's lemma, Schanuel's lemma (statement). Also Wikidata Q1816943

History

2026-11-02: add by m2/dev

AXSTHCYEK1 AXSTHCYEK1

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

Mentions

open_logic: open_logic content/set-theory/choice/vitali.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 71.6

History

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

AXSYSRN2PS AXSYSRN2PS

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

History

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

Pixel geometry AXT1W00CZN

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#4JU0, Pixel geometry (unknown)

History

2026-11-02: add by m2/dev

Syskey AXT31HT2DK

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

Mentions

wikipedia: Wikipedia Syskey, Syskey (definition). Also Wikidata Q4050521

History

2026-11-02: add by m2/dev

AXT4514HQ3 AXT4514HQ3

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

Mentions

arxiv: arXiv 2610.18847#JBFG (statement). In DZ12XTTJSM/e1, lemma 2.2

History

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

AXT4B644YH AXT4B644YH

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_permutations.ptx#exa_strings_perm (example). In QKM9DD2H56, example, section 2.2

History

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

AXTC1QE80H AXTC1QE80H

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

Mentions

open_logic: open_logic content/normal-modal-logic/frame-definability/second-order-definability.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 53.4

History

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

Dihedral group AXTCQ4QZRW

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

Mentions

napkin: napkin tex/H113/quotient.tex#example-2, Dihedral group (example). In RZP28ERRZV, example, section 3.1

History

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

Vague topology AXTDCKFJEP

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

Mentions

wikipedia: Wikipedia List of topologies#DF38, Vague topology (definition)
wikipedia: Wikipedia List of topologies#WRSF, Vague topology (definition)

History

2026-11-02: add by m2/dev

Fractional set cover AXTJMX5EYD

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

Mentions

arxiv: arXiv 2610.09810#H50E, Fractional set cover (definition). In B6PCH930FV/e1, definition 16

History

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

It\^o identities from a nonzero starting point AXTNGN0Y81

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

Mentions

arxiv: arXiv 2610.06480#5CV4, It\^o identities from a nonzero starting point (statement). In 2Y47E704Z9/e1, lemma 6.3

History

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

AXTP62EKBH AXTP62EKBH

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-10 (statement). In P1C114YBXG, theorem, section u1

History

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

Ted Harris AXTTZEGB5X

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

Mentions

wikipedia: Wikipedia Ted Harris (mathematician), Ted Harris (topic). Also Wikidata Q7693271

History

2026-11-02: add by m2/dev

The inverse of the displayed Dirichlet certificates AXTX8WDGSM

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

Mentions

arxiv: arXiv 2610.19461#BGZW, The inverse of the displayed Dirichlet certificates (statement). In D5X5P2QD6A/e1, theorem 3.2

History

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

Commutation theorem for finite traces AXTYXM36E5

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

Mentions

wikipedia: Wikipedia Commutation theorem for traces#DZNX, Commutation theorem for finite traces (statement)

History

2026-11-02: add by m2/dev

AXV3ENAF9F AXV3ENAF9F

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-2 (exercise). In E59CDZA4DP, exercise, section 2.1.5

History

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

AXVG1N7011 AXVG1N7011

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

Mentions

arxiv: arXiv 2610.19791#ZTG5 (statement). In AVDB4KJ6XB/e1, lemma 4.7

History

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

AXVKWNRPTV AXVKWNRPTV

URI	`m2://inv/AXVKWNRPTV`
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.06419#9JRZ (statement). In JSZRXT3W3E/e1, proposition 6.2

History

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

AXVWFPHPVR AXVWFPHPVR

URI	`m2://inv/AXVWFPHPVR`
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 2303.00676#FFT4 (statement). In 5351H04TJY/e1, theorem 4.19

History

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

AXW26XJF6B AXW26XJF6B

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

Mentions

arxiv: arXiv 2610.20025#LINY (example). In 4W1WR4JB89/e1, example 2.19

History

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

AXW7XVNDG0 AXW7XVNDG0

URI	`m2://inv/AXW7XVNDG0`
Kind	definition
Layer	research
MSC	17-XX, 57-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 2401.14143#YGZP (definition). In 7WV4JVGEN1/e1, definition 3.1

History

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

Saccheri–Legendre theorem AXWBNDP2CC

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

Mentions

wikipedia: Wikipedia List of theorems#VS7I, Saccheri–Legendre theorem (statement)

History

2026-11-02: add by m2/dev

Peggy Stevenson AXWCYPR6PK

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#0ROH, Peggy Stevenson (unknown)

History

2026-11-02: add by m2/dev

AXWD6F8C1G AXWD6F8C1G

URI	`m2://inv/AXWD6F8C1G`
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.00934#ZIZ9 (definition). In SHCQDPCF2J/e1, definition 2.1

History

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

Octonion AXWZG3DHVH

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

Mentions

wikipedia: Wikipedia List of numbers#UDN8, Octonion (definition)

History

2026-11-02: add by m2/dev

AXX5ZRM6WG AXX5ZRM6WG

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

Mentions

arxiv: arXiv 2610.14060#J7XC (definition). In X47RYAZF8P/e1, definition 3.20

History

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

AXX87WT2K4 AXX87WT2K4

URI	`m2://inv/AXX87WT2K4`
Kind	problem
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#7ZMV (problem). In 7REABAAQED/e1, problem

History

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

Transverse knot AXXMH33Z69

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

Mentions

wikipedia: Wikipedia Transverse knot, Transverse knot (definition). Also Wikidata Q7835433

History

2026-11-02: add by m2/dev

Upper-quantile submeasure AXXQPNJG14

URI	`m2://inv/AXXQPNJG14`
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#4BE9, Upper-quantile submeasure (statement). In 9YAE8FNQST/e1, lemma 11.20

History

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

AXXV0QM6ZM AXXV0QM6ZM

URI	`m2://inv/AXXV0QM6ZM`
Kind	statement
Layer	research
MSC	16-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.21954#XQQZ (statement). In F2XATDBRK4/e1, proposition 4

History

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

Statistical Applications in Genetics and Molecular Biology AXXXM5FCSC

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

Mentions

wikipedia: Wikipedia Statistical Applications in Genetics and Molecular Biology, Statistical Applications in Genetics and Molecular Biology (definition). Also Wikidata Q7604369

History

2026-11-02: add by m2/dev

AXY3KEYYD5 AXY3KEYYD5

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

Mentions

open_logic: open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#ex-2 (example). In PKGMM3P5QY, ex, section 53.6

History

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

AXY59TQC6T AXY59TQC6T

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

Mentions

arxiv: arXiv 2609.30750#2051 (example). In DACV7NTAAK/e1, example D.6

History

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

AXY5DS9JKF AXY5DS9JKF

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

Mentions

arxiv: arXiv 1204.5958#8PT9 (statement). In XYCBKM4WKY/e1, theorem 16

History

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

Mode-number parity and the excitation ceiling AXYAVA0ZVH

URI	`m2://inv/AXYAVA0ZVH`
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.22564#CU0O, Mode-number parity and the excitation ceiling (statement)

History

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

threshold for similar copies AXYDMCQNTQ

URI	`m2://inv/AXYDMCQNTQ`
Kind	statement
Layer	research
MSC	26-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.04000#TANZ, threshold for similar copies (statement). In CBCCH5VTMQ/e1, theorem 4.7

History

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

AXYMGGVTQD AXYMGGVTQD

URI	`m2://inv/AXYMGGVTQD`
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.35683#WD9T (statement). In A4S9A3X494/e1, theorem 2

History

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

AXYSSH3MKM AXYSSH3MKM

URI	`m2://inv/AXYSSH3MKM`
Kind	statement
Layer	research
MSC	20-XX, 22-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 math/0512416#5IKZ (statement). In WJD9YPGGYH/e1, proposition 5.2

History

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

Hatted basis AXYTW4C69B

URI	`m2://inv/AXYTW4C69B`
Kind	definition
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.12326#9AIU, Hatted basis (definition). In 9S7HGSEX6Q/e1, definition 4.6

History

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

Example AXYZJFFHP3

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

Mentions

wikipedia: Wikipedia Converse accident#QA9R, Example (example)

History

2026-11-02: add by m2/dev

AXZP63NXZ4 AXZP63NXZ4

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

Mentions

arxiv: arXiv 2610.15432#SFWF (statement). In D1DFM4WYEW/e1, proposition 5.3

History

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

Hardy hierarchy AXZV66VW64

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

Mentions

wikipedia: Wikipedia Hardy hierarchy, Hardy hierarchy (definition). Also Wikidata Q5656649

History

2026-11-02: add by m2/dev

covariant functor AXZYQ6XTG7

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

Mentions

hott_book: hott_book index/8.6/covariant-functor, covariant functor (concept). In N54F33XE07, index, section 8.6

History

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