Inventory rows AJ

Allen, R. G. D. AJ001P5MCC

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

Mentions

wikipedia: Wikipedia List of statisticians#FHUY, Allen, R. G. D. (unknown)

History

2026-11-02: add by m2/dev

The case $b = 0$ AJ00AGKVXS

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

Mentions

arxiv: arXiv 2610.01924#K36X, The case $b = 0$ (statement). In CB89152EQW/e1, lemma 22

History

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

Clique-sum AJ08E6NT9S

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

Mentions

wikipedia: Wikipedia Clique-sum, Clique-sum (definition). Also Wikidata Q5134410

History

2026-11-02: add by m2/dev

AJ0JQ9H78P AJ0JQ9H78P

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

Mentions

hott_book: hott_book categories.tex#ct:hocat (example). In N54F33XE07, eg, section 2.9

History

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

Order statistics AJ0S255N2N

URI	`m2://inv/AJ0S255N2N`
Kind	statement
Layer	research
MSC	62-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 1007.0842#D3GT, Order statistics (statement). In SEBS9D5AC5/e1, lemma 5.1

History

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

AJ0T8EZ3Y3 AJ0T8EZ3Y3

URI	`m2://inv/AJ0T8EZ3Y3`
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 2207.11097#Q0QJ (statement). In 13H5BTAXHF/e1, proposition 1

History

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

AJ0W4QK8AW AJ0W4QK8AW

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

Mentions

arxiv: arXiv 2204.04317#NK0G (statement). In 49V3ANDZTY/e1, lemma 4.2

History

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

Formal ethics AJ0ZE90GAJ

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

Mentions

wikipedia: Wikipedia Formal ethics, Formal ethics (definition). Also Wikidata Q5469961

History

2026-11-02: add by m2/dev

The algorithm AJ15J0VPTC

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

Mentions

wikipedia: Wikipedia Counting points on elliptic curves#R7TV, The algorithm (definition)

History

2026-11-02: add by m2/dev

Point Processes AJ1AM3GYE7

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

Mentions

wikipedia: Wikipedia Point Processes, Point Processes (definition). Also Wikidata Q104880754

History

2026-11-02: add by m2/dev

AJ1PS11TVV AJ1PS11TVV

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

Mentions

napkin: napkin tex/alg-geom/bezout.tex#corollary-2 (statement). In RZP28ERRZV, corollary, section 20.5

History

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

trisectrix of Maclaurin AJ2381CPN9

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

Mentions

wikidata: Wikidata Q3294140, trisectrix of Maclaurin (concept). Also MathWorld MaclaurinTrisectrix
wikipedia: Wikipedia Trisectrix of Maclaurin, Trisectrix of Maclaurin (definition). Also Wikidata Q3294140

History

2026-10-26: add by m2/dev

Example AJ24RC0GNT

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

Mentions

wikipedia: Wikipedia Exact differential equation#A1NU, Example (example)

History

2026-11-02: add by m2/dev

Lori Thombs AJ268GJANP

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#F6KT, Lori Thombs (topic)

History

2026-11-02: add by m2/dev

Full state feedback AJ2C5FVCYH

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

Mentions

wikipedia: Wikipedia Full state feedback, Full state feedback (definition). Also Wikidata Q925922

History

2026-11-02: add by m2/dev

Bounded least-squares empirical process AJ2M5RR1N3

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

Mentions

arxiv: arXiv 2609.31458#7TTZ, Bounded least-squares empirical process (statement). In SNWC76WKWT/e1, lemma I.2

History

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

AJ2QAW642V AJ2QAW642V

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

Mentions

arxiv: arXiv 2610.05232#0CDR (statement). In DA3VN96YX2/e1, proposition 2.1

History

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

mixed number AJ31PT9Y2R

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

Mentions

wikidata: Wikidata Q10338613, mixed number (unknown). Also MathWorld MixedFraction

History

2026-10-26: add by m2/dev

Proposition AJ33ESQDGZ

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

Mentions

wikipedia: Wikipedia Nilradical of a ring#TPNY, Proposition (statement)

History

2026-11-02: add by m2/dev

Boué–Dupuis formula AJ33Q3CBJQ

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

Mentions

wikipedia: Wikipedia Boué–Dupuis formula#8R71, Boué–Dupuis formula (statement)

History

2026-11-02: add by m2/dev

$\TT^d$ with a $C^2$-type class AJ3HR25HVY

URI	`m2://inv/AJ3HR25HVY`
Kind	statement
Layer	research
MSC	35-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.20106#E24F, $\TT^d$ with a $C^2$-type class (statement). In 6HMZ36ZBXA/e1, corollary 6.8

History

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

AJ3N9TT787 AJ3N9TT787

URI	`m2://inv/AJ3N9TT787`
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.32439#JTX5 (statement). In GD8D1YH7K4/e1, corollary 2.1

History

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

Doppler tomography AJ3T7P2WVZ

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

Mentions

wikipedia: Wikipedia Inverse problem#O2S4, Doppler tomography (unknown)

History

2026-11-02: add by m2/dev

$\tau$-hitting Set AJ3Z1W2JPM

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

Mentions

arxiv: arXiv 2609.33219#5OGT, $\tau$-hitting Set (definition). In ETTQWMJZXJ/e1, definition 5

History

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

Tong, Howell AJ407FAB94

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

Mentions

wikipedia: Wikipedia List of statisticians#ZVCU, Tong, Howell (unknown)

History

2026-11-02: add by m2/dev

Wiener–Hopf method AJ40SPX161

URI	`m2://inv/AJ40SPX161`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Wiener–Hopf method H4NXEY6QTZ

Mentions

wikidata: Wikidata Q2079672, Wiener–Hopf method (concept). Also EoM Wiener-Hopf method, MathWorld Wiener-HopfMethod
wikipedia: Wikipedia Wiener–Hopf method, Wiener–Hopf method (definition). Also Wikidata Q2079672

History

2026-10-26: add by m2/dev

pseudo AJ4MB02BXY

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#JINI, pseudo (definition)

History

2026-11-02: add by m2/dev

AJ4Q765BBW AJ4Q765BBW

URI	`m2://inv/AJ4Q765BBW`
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.28009#L19Y (statement)

History

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

Susan Hilsenbeck AJ4TF5VCKB

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

Mentions

wikipedia: Wikipedia Susan Hilsenbeck, Susan Hilsenbeck (topic). Also Wikidata Q88295118

History

2026-11-02: add by m2/dev

Gaetano Fichera AJ4ZG1V387

URI	`m2://inv/AJ4ZG1V387`
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#2DU9, Gaetano Fichera (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EN2Y, Gaetano Fichera (topic)

History

2026-11-02: add by m2/dev

AJ514GEV7J AJ514GEV7J

URI	`m2://inv/AJ514GEV7J`
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 2112.05010#96JH (statement). In 4SZNPS3Z00/e1, theorem 4.9

History

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

Example AJ5748DEAX

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

Mentions

wikipedia: Wikipedia Elliptic Gauss sum#91BI, Example (example)

History

2026-11-02: add by m2/dev

the Witt layers of the profile AJ5CHE6C0V

URI	`m2://inv/AJ5CHE6C0V`
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.09298#62PX, the Witt layers of the profile (statement). In 1SPQ4J3AWY/e1, proposition 8.3

History

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

$\bKU_G$ as a telescopic localization AJ5CQPZB3F

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

Mentions

arxiv: arXiv 2610.21675#QNVW, $\bKU_G$ as a telescopic localization (statement). In TB1294GY5X/e1, theorem 5.16

History

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

Gödel number AJ5DKNZXN0

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#6W33, Gödel number (definition)

History

2026-11-02: add by m2/dev

AJ5DRV4P2N AJ5DRV4P2N

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/compactness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 9.9

History

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

AJ5P41D6AX AJ5P41D6AX

URI	`m2://inv/AJ5P41D6AX`
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.33679#S6ZK (statement). In 3N9E9T6AF5/e1, lemma 5.2

History

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

Shadow mapping AJ5Q63PKTN

URI	`m2://inv/AJ5Q63PKTN`
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#83JL, Shadow mapping (unknown)

History

2026-11-02: add by m2/dev

AJ5QE26SR5 AJ5QE26SR5

URI	`m2://inv/AJ5QE26SR5`
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 2609.20860#IBXE (statement)

History

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

AJ5VY0KKE2 AJ5VY0KKE2

URI	`m2://inv/AJ5VY0KKE2`
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.18555#M74A (statement). In JPR62EY6A5/e1, theorem 3

History

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

Coulomb wave function AJ5XSGV7R1

URI	`m2://inv/AJ5XSGV7R1`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Coulomb wave function CJ9MSY7CRM

Mentions

wikidata: Wikidata Q17007968, Coulomb wave function (unknown). Also MathWorld CoulombWaveFunction
wikipedia: Wikipedia Coulomb wave function, Coulomb wave function (definition). Also Wikidata Q17007968

History

2026-10-26: add by m2/dev

Marie Davidian AJ622YY243

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

Mentions

wikipedia: Wikipedia Marie Davidian, Marie Davidian (topic). Also Wikidata Q42138537

History

2026-11-02: add by m2/dev

First-order phase transition AJ67B485V1

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

Mentions

wikipedia: Wikipedia Phase transition#GZSF, First-order phase transition (unknown)

History

2026-11-02: add by m2/dev

The Node Potential in Closed Form AJ693XGRAN

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

Mentions

arxiv: arXiv 2610.13222#OJMX, The Node Potential in Closed Form (statement). In Z6WA2R0J50/e1, lemma 4.1

History

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

AJ6DTMVWQP AJ6DTMVWQP

URI	`m2://inv/AJ6DTMVWQP`
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.26948#PSG5 (statement)

History

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

Examples and counterexamples AJ6G5KPCEC

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

Mentions

wikipedia: Wikipedia Contractible space#DARU, Examples and counterexamples (example)

History

2026-11-02: add by m2/dev

Bernoulli process AJ6PDMK0MT

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

Mentions

wikipedia: Wikipedia List of stochastic processes topics#2GSR, Bernoulli process (definition)

History

2026-11-02: add by m2/dev

Algorithms AJ7594K06Y

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

Mentions

wikipedia: Wikipedia Latin square#WKZN, Algorithms (definition)

History

2026-11-02: add by m2/dev

Covariance term AJ75M9QXRR

URI	`m2://inv/AJ75M9QXRR`
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.06372#97OJ, Covariance term (statement). In G3E1P350Z6/e1, proposition 5.2

History

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

Julia Ward AJ778ZCEQ1

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

Mentions

wikipedia: Wikipedia Julia Ward, Julia Ward (topic). Also Wikidata Q56192176

History

2026-11-02: add by m2/dev

Density of attainable critical defects on one shell AJ7E8V1239

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

Mentions

arxiv: arXiv 2609.24930#WCI4, Density of attainable critical defects on one shell (statement)

History

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

Tony Lévy AJ7MK8Q2PB

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

Mentions

wikipedia: Wikipedia Tony Lévy, Tony Lévy (topic). Also Wikidata Q16266792

History

2026-11-02: add by m2/dev

AJ7NAH5ZNY AJ7NAH5ZNY

URI	`m2://inv/AJ7NAH5ZNY`
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.20225#SM96 (statement)

History

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

AJ7NS3CBC6 AJ7NS3CBC6

URI	`m2://inv/AJ7NS3CBC6`
Kind	problem
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.20915#TQPN (problem). In 5M1SXP75D9/e1, problem 7.4

History

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

AJ7NYZCCJJ AJ7NYZCCJJ

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

Mentions

arxiv: arXiv 2609.20675#ZDZ7 (statement)

History

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

Theorem (CLT under reversibility) AJ7SD4ZQKR

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

Mentions

wikipedia: Wikipedia Markov chain Monte Carlo#8EVL, Theorem (CLT under reversibility) (statement)

History

2026-11-02: add by m2/dev

Applications AJ8E1DMWZ9

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

Mentions

wikipedia: Wikipedia Copy detection pattern#JQC9, Applications (example)

History

2026-11-02: add by m2/dev

Definitions AJ8F46702V

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

Mentions

wikipedia: Wikipedia Neighbourhood (mathematics)#9USZ, Definitions (definition)

History

2026-11-02: add by m2/dev

Definition AJ8J47Z8F4

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

Mentions

wikipedia: Wikipedia Subset#8ZPX, Definition (definition)

History

2026-11-02: add by m2/dev

High-probability convergence guarantee of budgeted certification AJ97J49MEP

URI	`m2://inv/AJ97J49MEP`
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.21139#GD94, High-probability convergence guarantee of budgeted certification (statement). In E3NM0QN6KK/e1, proposition 2

History

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

AJ9FA05QSH AJ9FA05QSH

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

Mentions

arxiv: arXiv 2609.30200#5OLO (statement)

History

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

The reduced count has small variance AJ9HB67XWQ

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

Mentions

arxiv: arXiv 2610.15265#3EXA, The reduced count has small variance (statement). In TCQ1JBR84Y/e1, lemma 7

History

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

Angle AJ9J032WEQ

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#B997, Angle (definition)

History

2026-11-02: add by m2/dev

AJ9T6941P3 AJ9T6941P3

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

Mentions

arxiv: arXiv 2412.20238#YUPJ (statement). In V8CA0STSPB/e1, theorem 14

History

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

AJ9Y6PFQCV AJ9Y6PFQCV

URI	`m2://inv/AJ9Y6PFQCV`
Kind	example
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#A8HU (example). In 1KSE33PVS6/e1, example 28

History

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

AJA1T167NH AJA1T167NH

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

Mentions

active_calculus: active_calculus source/activities/act-6-3-2.xml#act-6-3-2 (exercise). In 907G4C4EJ1, activity, section 6.3.3

History

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

Panov's condition for a truncated blow-up AJAB8XMKGH

URI	`m2://inv/AJAB8XMKGH`
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.20735#RTID, Panov's condition for a truncated blow-up (statement)

History

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

\sf CH AJAQRGM2E7

URI	`m2://inv/AJAQRGM2E7`
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.35180#CY97, \sf CH (statement). In ZA34B1CR9M/e1, lemma 3.13

History

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

Cho et al.\ , Theorem 2.1 AJAR3MMSM9

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

Mentions

arxiv: arXiv 2610.20849#YJE7, Cho et al.\ , Theorem 2.1 (statement). In HK7FV97MFD/e1, lemma 4.2

History

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

AJB8C5PGPN AJB8C5PGPN

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

Mentions

arxiv: arXiv 2610.08873#T3VH (statement). In 7WMNVJBAVR/e1, theorem 5.15

History

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

AJBK9YSH9B AJBK9YSH9B

URI	`m2://inv/AJBK9YSH9B`
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.23341#1PHJ (statement)

History

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

$C$-global localization AJBMH0JNGJ

URI	`m2://inv/AJBMH0JNGJ`
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#J4HS, $C$-global localization (definition). In TB1294GY5X/e1, definition 7.3

History

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

Doob, Joseph Leo AJBX9MW610

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

Mentions

wikipedia: Wikipedia List of statisticians#5SVF, Doob, Joseph Leo (topic)

History

2026-11-02: add by m2/dev

chimpanzees AJC0DTADTR

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#A1AP, chimpanzees (unknown)

History

2026-11-02: add by m2/dev

Maximum degree in superlinear preferential attachment trees AJC1P44K2H

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

Mentions

arxiv: arXiv 2609.30098#36DU, Maximum degree in superlinear preferential attachment trees (statement)

History

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

AJC37G2CM8 AJC37G2CM8

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

Mentions

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

History

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

Stability of the optimal martingale coupling AJC3XTMNTQ

URI	`m2://inv/AJC3XTMNTQ`
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#LUBQ, Stability of the optimal martingale coupling (statement). In 9YAE8FNQST/e1, corollary 18.25

History

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

Domatic number AJC4PK81ZE

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#SH3M, Domatic number (definition)

History

2026-11-02: add by m2/dev

Analysis on fractals AJC88GRPVW

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

Mentions

wikipedia: Wikipedia Analysis on fractals, Analysis on fractals (topic). Also Wikidata Q4751108

History

2026-11-02: add by m2/dev

AJC8T79BG0 AJC8T79BG0

URI	`m2://inv/AJC8T79BG0`
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.16883#2L61 (statement). In TYS9N30M63/e1, lemma A.3

History

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

Properties AJCAHVB59D

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

Mentions

wikipedia: Wikipedia Θ10#TNN8, Properties (statement)

History

2026-11-02: add by m2/dev

Minkowski's question mark function AJCBWNFKB2

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

Mentions

wikipedia: Wikipedia List of mathematical functions#8W0N, Minkowski's question mark function (definition)

History

2026-11-02: add by m2/dev

Formal definitions AJCG5EYZQF

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

Mentions

wikipedia: Wikipedia Fibred category#CD1W, Formal definitions (definition)

History

2026-11-02: add by m2/dev

Applications AJCGT90J10

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

Mentions

wikipedia: Wikipedia Commutant lifting theorem#631P, Applications (example)

History

2026-11-02: add by m2/dev

George David Birkhoff AJCGV9VEVP

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#TU8J, George David Birkhoff (topic)

History

2026-11-02: add by m2/dev

Shrawan Kumar AJCJA98E1K

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#AMCQ, Shrawan Kumar (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X37I, Shrawan Kumar (topic)

History

2026-11-02: add by m2/dev

Prince Chatri Chalerm Yukol AJCP11VMV7

URI	`m2://inv/AJCP11VMV7`
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#YRRC, Prince Chatri Chalerm Yukol (unknown)

History

2026-11-02: add by m2/dev

Semikis square tiling AJCWYXXEH0

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

Mentions

wikipedia: Wikipedia Chamfered square tiling#4RHM, Semikis square tiling (unknown)

History

2026-11-02: add by m2/dev

AJDFTWGW11 AJDFTWGW11

URI	`m2://inv/AJDFTWGW11`
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 2510.12502#S8R6 (definition). In 3A4K47Y9F2/e1, definition 2.24

History

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

AJDM1Y18BC AJDM1Y18BC

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

Mentions

arxiv: arXiv 2609.30579#E2A8 (statement). In FDYZFDHZH9/e1, corollary 3.8

History

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

AJDN96DMKY AJDN96DMKY

URI	`m2://inv/AJDN96DMKY`
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 2210.06147#1JZK (statement). In 94RBNQA07A/e1, proposition 3.18

History

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

Henneberg surface AJDZVW52X7

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#ML6M, Henneberg surface (definition)

History

2026-11-02: add by m2/dev

Spectral mapping theorem; , Theorem 3.13 AJE0WA6XGH

URI	`m2://inv/AJE0WA6XGH`
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 2610.18078#3VI7, Spectral mapping theorem; , Theorem 3.13 (statement). In YVK8EFSYNJ/e1, theorem 3.6

History

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

AJEK63MRS8 AJEK63MRS8

URI	`m2://inv/AJEK63MRS8`
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 1902.04230#2X53 (statement). In 22JZ68FGCW/e1, proposition 3.5

History

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

AJEM2FW21T AJEM2FW21T

URI	`m2://inv/AJEM2FW21T`
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 2404.06445#FXCI (conjecture). In 12JKZ8EN52/e1, conjecture 8.9

History

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

AJEM3RGK0R AJEM3RGK0R

URI	`m2://inv/AJEM3RGK0R`
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.09483#MFWF (statement). In N1MQ8F9JN6/e1, lemma 5.6

History

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

Explicit limiting $A$-components AJEMDJJ9CR

URI	`m2://inv/AJEMDJJ9CR`
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#0903, Explicit limiting $A$-components (statement)

History

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

Robert H. Coats AJEN88VD37

URI	`m2://inv/AJEN88VD37`
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#79QW, Robert H. Coats (unknown)

History

2026-11-02: add by m2/dev

Examples AJEQFSGNKK

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

Mentions

wikipedia: Wikipedia Gram–Euler theorem#ZR37, Examples (example)

History

2026-11-02: add by m2/dev

AJESG0KSH1 AJESG0KSH1

URI	`m2://inv/AJESG0KSH1`
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.13114#SJ3G (statement). In 38RG49M1NB/e1, theorem 2.1

History

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

Examples AJET0AEGSV

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

Mentions

wikipedia: Wikipedia Multibrot set#DFWF, Examples (example)

History

2026-11-02: add by m2/dev

A coefficient identity AJEZMKQGMV

URI	`m2://inv/AJEZMKQGMV`
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#YF3X, A coefficient identity (statement). In RWNP4FEE65/e1, lemma 3.19

History

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

AJF0VGJRV1 AJF0VGJRV1

URI	`m2://inv/AJF0VGJRV1`
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.11757#FCKX (statement). In VSJRVTHWWA/e1, theorem 3.1

History

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

Russell's paradox AJF1MKPEPQ

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

Mentions

wikipedia: Wikipedia New Foundations#M6SU, Russell's paradox (statement)

History

2026-11-02: add by m2/dev

AJF3VAJ6M4 AJF3VAJ6M4

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

Mentions

arxiv: arXiv 2609.40290#ORX0 (statement). In 4K1CNBYJHF/e1, proposition 3.1

History

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

AJF7K5PKYC AJF7K5PKYC

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

Mentions

arxiv: arXiv 2603.28861#IDI0 (statement). In A3VQ2TNRKK/e1, corollary 5.3

History

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

AJFC5A9M6A AJFC5A9M6A

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_proofs.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 3.8

History

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

AJFFTWKDXD AJFFTWKDXD

URI	`m2://inv/AJFFTWKDXD`
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.23779#YZTX (statement)

History

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

Rolando Chuaqui AJFNMCMBSB

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

Mentions

wikipedia: Wikipedia Rolando Chuaqui, Rolando Chuaqui (topic). Also Wikidata Q26838292

History

2026-11-02: add by m2/dev

Artin–Schreier theory AJFTGJA0HR

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

Mentions

wikipedia: Wikipedia Artin–Schreier theory, Artin–Schreier theory (topic). Also Wikidata Q713056

History

2026-11-02: add by m2/dev

AJG884CZ22 AJG884CZ22

URI	`m2://inv/AJG884CZ22`
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.30407#ZU7Y (statement). In HNY6N561H5/e1, theorem 3.2

History

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

Unconstrained flows give Jeffreys divergence and full Fisher information AJGC7TB8Z8

URI	`m2://inv/AJGC7TB8Z8`
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.31544#C054, Unconstrained flows give Jeffreys divergence and full Fisher information (statement). In TX449S1VZV/e1, proposition A.9

History

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

AJGRRC384E AJGRRC384E

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

Mentions

arxiv: arXiv 1903.07030#J77U (example). In 9H45HQE7AZ/e1, example 3.20

History

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

Unsolved problem AJGSP7DJ5P

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

Mentions

wikipedia: Wikipedia Floor and ceiling functions#QO58, Unsolved problem (statement)

History

2026-11-02: add by m2/dev

Convex bipartite graph AJGWGQQWEY

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

Mentions

wikipedia: Wikipedia Convex bipartite graph, Convex bipartite graph (definition). Also Wikidata Q5166515

History

2026-11-02: add by m2/dev

Robert Remak AJH47V6AS1

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#9LEF, Robert Remak (topic)

History

2026-11-02: add by m2/dev

AJH695G9RZ AJH695G9RZ

URI	`m2://inv/AJH695G9RZ`
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 2609.38436#TALD (statement). In 702AF3E4AF/e1, theorem 3.16

History

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

AJH7JQB3EZ AJH7JQB3EZ

URI	`m2://inv/AJH7JQB3EZ`
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.31907#I3L5 (statement). In 6B2PCEGCYZ/e1, proposition 3.5

History

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

Formula AJHB27H02T

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

Mentions

wikipedia: Wikipedia Gompertz function#YQZK, Formula (statement)

History

2026-11-02: add by m2/dev

AJHCSKW143 AJHCSKW143

URI	`m2://inv/AJHCSKW143`
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#83VD (statement). In E7W2HDNEKJ/e1, proposition 10.9

History

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

AJHDZD66N1 AJHDZD66N1

URI	`m2://inv/AJHDZD66N1`
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.02944#WEGK (example). In 1F99Z64AB7/e1, example

History

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

Aise Johan de Jong AJHE720DWK

URI	`m2://inv/AJHE720DWK`
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 Q371475, Aise Johan de Jong (unknown). Also nLab Aise Johan de Jong
wikipedia: Wikipedia Aise Johan de Jong, Aise Johan de Jong (topic). Also Wikidata Q371475

History

2026-10-26: add by m2/dev

AJHFA3WMY7 AJHFA3WMY7

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

Mentions

hott_book: hott_book hlevels.tex#thm:modal-mono (statement). In N54F33XE07, lem, section 6.6

History

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

Definitions and examples AJHPC1BCDC

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

Mentions

wikipedia: Wikipedia Component (graph theory)#2R3E, Definitions and examples (definition)

History

2026-11-02: add by m2/dev

AJHTKA6J38 AJHTKA6J38

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

Mentions

arxiv: arXiv 2609.23994#JBUP (statement)

History

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

AJHXTFQAY0 AJHXTFQAY0

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-304 (exercise). In VNMV985MXX, exercise, section 6.7

History

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

AJHY5NAT1A AJHY5NAT1A

URI	`m2://inv/AJHY5NAT1A`
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#VXT0 (statement). In E7W2HDNEKJ/e1, lemma 8.2

History

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

AJJ43F3JF6 AJJ43F3JF6

URI	`m2://inv/AJJ43F3JF6`
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.31907#CKJ9 (statement). In 6B2PCEGCYZ/e1, corollary 3.12

History

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

Properties AJJE26S1ED

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

Mentions

wikipedia: Wikipedia Coherent sheaf#XKLE, Properties (statement)

History

2026-11-02: add by m2/dev

Geminus of Rhodos AJJJARD5C0

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

Mentions

wikidata: Wikidata Q379987, Geminus of Rhodos (unknown). Also ProofWiki Mathematician:Geminus_of_Rhodes

History

2026-10-26: add by m2/dev

AJJN7JC602 AJJN7JC602

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 50.13

History

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

Hilton–Milnor theorem AJJPS0QF9W

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

Mentions

wikipedia: Wikipedia List of theorems#QQCU, Hilton–Milnor theorem (statement)

History

2026-11-02: add by m2/dev

Alan Turing AJJZH7C6N3

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#ST50, Alan Turing (topic)

History

2026-11-02: add by m2/dev

Topological abelian group AJK4NCPV64

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

Mentions

wikipedia: Wikipedia List of general topology topics#KZK3, Topological abelian group (definition)
wikipedia: Wikipedia List of harmonic analysis topics#GZC8, Topological abelian group (definition)

History

2026-11-02: add by m2/dev

Pooled variance AJK56NAXW3

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

Mentions

wikipedia: Wikipedia Pooled variance, Pooled variance (definition). Also Wikidata Q7228635

History

2026-11-02: add by m2/dev

Exact form of the epoch update AJK5F6QDZF

URI	`m2://inv/AJK5F6QDZF`
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.14988#TWK5, Exact form of the epoch update (statement). In B29M4E6KGC/e1, lemma H.14

History

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

AJK9EK3829 AJK9EK3829

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

Mentions

arxiv: arXiv 2502.14306#VUBR (statement). In ZNBQD5WH1M/e1, lemma 3.1

History

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

No seed mixture is unbiased in general AJKAHKRR7W

URI	`m2://inv/AJKAHKRR7W`
Kind	statement
Layer	research
MSC	05-XX, 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.13063#KXE3, No seed mixture is unbiased in general (statement). In R5AFFWBMAF/e1, proposition D.1

History

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

Reflection (computer graphics) AJKCV67GBP

URI	`m2://inv/AJKCV67GBP`
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#3ANH, Reflection (computer graphics) (unknown)

History

2026-11-02: add by m2/dev

Heterogeneous finite-channel reconstruction AJKK996G09

URI	`m2://inv/AJKK996G09`
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.09472#FKX7, Heterogeneous finite-channel reconstruction (statement). In 35925M9GJW/e1, theorem 15

History

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

List of complex analysis topics AJKXS8ZWE4

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

Mentions

wikipedia: Wikipedia List of complex analysis topics, List of complex analysis topics (topic). Also Wikidata Q4822445

History

2026-11-02: add by m2/dev

Fractional Chain Rule AJM1YHM295

URI	`m2://inv/AJM1YHM295`
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 2107.00792#UUAO, Fractional Chain Rule (statement). In TD16A541ZN/e1, lemma 2.4

History

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

axiom of countable choice AJM2A819TK

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

Mentions

wikidata: Wikidata Q1000116, axiom of countable choice (statement). Also nLab countable choice, ProofWiki Axiom:Axiom_of_Countable_Choice
wikipedia: Wikipedia Axiom of countable choice, Axiom of countable choice (statement). Also Wikidata Q1000116

History

2026-10-26: add by m2/dev

AJM880QS0H AJM880QS0H

URI	`m2://inv/AJM880QS0H`
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.13852#XQ74 (statement). In SXTGSAH3WF/e1, lemma 4.1

History

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

Mantle convection AJMPT7DD4G

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

Mentions

wikipedia: Wikipedia Mantle convection, Mantle convection (definition). Also Wikidata Q120005

History

2026-11-02: add by m2/dev

AJN4WPC7MM AJN4WPC7MM

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#proof-2 (proof). In RZP28ERRZV, proof, section 62.4

History

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

Characterization of robustness AJN93JRTAF

URI	`m2://inv/AJN93JRTAF`
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 2506.08233#C8FM, Characterization of robustness (statement). In 2TXXQ2575Y/e1, theorem 5.5

History

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

Depth and differential-order dependence of the constants AJNM4V8RM7

URI	`m2://inv/AJNM4V8RM7`
Kind	conjecture
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.04357#S888, Depth and differential-order dependence of the constants (conjecture). In 6FY8BVP1F3/e1, conjecture K.24

History

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

William of Sherwood AJNRY24361

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

Mentions

wikipedia: Wikipedia List of logicians#QXC7, William of Sherwood (topic)

History

2026-11-02: add by m2/dev

AJNTVA5HEX AJNTVA5HEX

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#lem_graphalgorithms_tech (statement). In QKM9DD2H56, lemma, section 12.1.1

History

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

AJP0KXW6SQ AJP0KXW6SQ

URI	`m2://inv/AJP0KXW6SQ`
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 2403.16814#TQE4 (statement). In MN03Z3PRFT/e1, proposition 4.6

History

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

AJP1J9XMVR AJP1J9XMVR

URI	`m2://inv/AJP1J9XMVR`
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 2310.19073#FDSC (statement). In DK2ZSJ65ZV/e1, lemma 5

History

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

AJP23QA10S AJP23QA10S

URI	`m2://inv/AJP23QA10S`
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 2609.34295#YXI0 (statement). In A93R925Z24/e1, lemma 2.1

History

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

symmetry operation AJP4SMTXWQ

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

Mentions

wikidata: Wikidata Q7661343, symmetry operation (concept). Also MathWorld SymmetryOperation

History

2026-10-26: add by m2/dev

AJP9DP7P64 AJP9DP7P64

URI	`m2://inv/AJP9DP7P64`
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.15744#KCAK (definition). In NV3PBZGBB7/e1, definition 1.6

History

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

Joseph Dauben AJP9YHP330

URI	`m2://inv/AJP9YHP330`
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#P8AO, Joseph Dauben (unknown)

History

2026-11-02: add by m2/dev

Polynomial hierarchy AJPA56AAFQ

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#0VPY, Polynomial hierarchy (definition)

History

2026-11-02: add by m2/dev

Control of the martingales at exit times AJPFR1DVDX

URI	`m2://inv/AJPFR1DVDX`
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.12138#4PN2, Control of the martingales at exit times (statement). In KFAR8SMVYM/e1, proposition 3.1

History

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

Definition AJPK5DWKJJ

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

Mentions

wikipedia: Wikipedia Mirimanoff's congruence#G5LZ, Definition (definition)

History

2026-11-02: add by m2/dev

AJPM31PB1R AJPM31PB1R

URI	`m2://inv/AJPM31PB1R`
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 1008.2055#IMIS (statement). In 76JR4WFT4B/e1, proposition 2.7

History

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

AJPZ4XFCZ0 AJPZ4XFCZ0

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

History

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

AJPZ6VHEYS AJPZ6VHEYS

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

Mentions

arxiv: arXiv 2609.19882#DBEW (statement)

History

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

Multi-vari chart AJQBXXJ1QK

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

Mentions

wikipedia: Wikipedia List of statistics articles#QPAP, Multi-vari chart (definition)

History

2026-11-02: add by m2/dev

AJQGWVN7HJ AJQGWVN7HJ

URI	`m2://inv/AJQGWVN7HJ`
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.33018#GG4J (statement). In 8XVS0QJ2AH/e1, proposition 24

History

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

George E. Andrews AJQK8DYS05

URI	`m2://inv/AJQK8DYS05`
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#PFMO, George E. Andrews (topic)

History

2026-11-02: add by m2/dev

AJQMEEEW69 AJQMEEEW69

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

Mentions

arxiv: arXiv 2204.01073#GFMB (statement). In W4TYN4PGE8/e1, lemma 2.25

History

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

Closure under (H AJQNS46J1Z

URI	`m2://inv/AJQNS46J1Z`
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.29597#GALJ, Closure under (H (statement)

History

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

Im schwarzen Walfisch zu Askalon AJQS733DSV

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

Mentions

wikipedia: Wikipedia Im schwarzen Walfisch zu Askalon, Im schwarzen Walfisch zu Askalon (definition). Also Wikidata Q18206588

History

2026-11-02: add by m2/dev

AJQXN5G5WZ AJQXN5G5WZ

URI	`m2://inv/AJQXN5G5WZ`
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.23595#7GQC (statement)

History

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

AJR3229XKA AJR3229XKA

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

Mentions

arxiv: arXiv 2609.21668#8J0G (example)

History

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

AJR4GMKPKC AJR4GMKPKC

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

Mentions

austin_ula: austin_ula src/exercises/exercises5-1.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 5.1

History

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

Examples AJR4WQ041F

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

Mentions

wikipedia: Wikipedia Logical equivalence#LT1E, Examples (example)

History

2026-11-02: add by m2/dev

August Beer AJR92DJ34Z

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

Mentions

wikipedia: Wikipedia List of German mathematicians#VI87, August Beer (topic)

History

2026-11-02: add by m2/dev

AJRC2ZH2ES AJRC2ZH2ES

URI	`m2://inv/AJRC2ZH2ES`
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.20060#WHMX (statement)

History

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

AJREGMAWJH AJREGMAWJH

URI	`m2://inv/AJREGMAWJH`
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 2609.19945#TUAO (statement)

History

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

Oleg Besov AJRGGTP7CJ

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

Mentions

wikipedia: Wikipedia Oleg Besov, Oleg Besov (topic). Also Wikidata Q43323

History

2026-11-02: add by m2/dev

Monotonicity of support AJRM8HPQRZ

URI	`m2://inv/AJRM8HPQRZ`
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.20609#S5LB, Monotonicity of support (statement)

History

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

AJRWE1B27A AJRWE1B27A

URI	`m2://inv/AJRWE1B27A`
Kind	example
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#CRMC (example). In X1AGBB90EH/e1, example 5.5

History

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

2023 Pakistani census AJSCME4Z8D

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

Mentions

wikipedia: Wikipedia 2023 Pakistani census, 2023 Pakistani census (definition). Also Wikidata Q110300621

History

2026-11-02: add by m2/dev

Superstring theory AJSEVMMBEY

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

Mentions

wikipedia: Wikipedia List of string theory topics#MG6X, Superstring theory (topic)

History

2026-11-02: add by m2/dev

Examples AJSH2CS6M4

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

Mentions

wikipedia: Wikipedia Quasi-isometry#NH22, Examples (example)

History

2026-11-02: add by m2/dev

Induction hypothesis AJSKYDZ0H8

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#AE8Y, Induction hypothesis (definition)

History

2026-11-02: add by m2/dev

An exponential subfamily with fixed witnesses AJSVFTJQND

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

Mentions

arxiv: arXiv 2609.30525#0O36, An exponential subfamily with fixed witnesses (statement). In CHEZQEACQG/e1, corollary 4.3

History

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

Minkowski–Steiner formula AJSWFGCXG7

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

Mentions

wikipedia: Wikipedia Minkowski–Steiner formula, Minkowski–Steiner formula (statement). Also Wikidata Q3077636

History

2026-11-02: add by m2/dev

AJT5WBDFZM AJT5WBDFZM

URI	`m2://inv/AJT5WBDFZM`
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.28540#E1AJ (statement)

History

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

Cylindrification AJT9MYEEH8

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

Mentions

wikipedia: Wikipedia Cylindrification, Cylindrification (definition). Also Wikidata Q5199286

History

2026-11-02: add by m2/dev

AJTC6TETFZ AJTC6TETFZ

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#example-4 (example). In E59CDZA4DP, example, section 7.5

History

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

AJTDFRGC5B AJTDFRGC5B

URI	`m2://inv/AJTDFRGC5B`
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.17476#XNF1 (statement). In 6HXD74FA4S/e1, lemma 6.5

History

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

AJTGGYV1JS AJTGGYV1JS

URI	`m2://inv/AJTGGYV1JS`
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 1808.00180#EGR0 (statement). In XDYCG8DVHE/e1, theorem 6

History

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

Output distribution and acceptance probability AJTNX2KWRZ

URI	`m2://inv/AJTNX2KWRZ`
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.37482#480R, Output distribution and acceptance probability (statement). In 9QDRMZX8EY/e1, lemma 27

History

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

AJTPY7NAXV AJTPY7NAXV

URI	`m2://inv/AJTPY7NAXV`
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.36714#P299 (statement). In Z2BKQBEMTQ/e1, proposition 5.1

History

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

AJTT4R2X26 AJTT4R2X26

URI	`m2://inv/AJTT4R2X26`
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 2210.02261#0PIY (statement). In TT74R659T0/e1, theorem 0.29

History

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

Wronskian AJTVT2MBRE

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#YJ2O, Wronskian (definition)

History

2026-11-02: add by m2/dev

Kansa method AJTW1112E6

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

Mentions

wikipedia: Wikipedia Kansa method, Kansa method (definition). Also Wikidata Q6364428

History

2026-11-02: add by m2/dev

AJV29WVGBP AJV29WVGBP

URI	`m2://inv/AJV29WVGBP`
Kind	statement
Layer	research
MSC	16-XX, 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 2609.21860#HVHK (statement)

History

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

AJV63ZZCQY AJV63ZZCQY

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

Mentions

open_logic: open_logic content/proof-theory/normalization/normalization-thm.tex#thm:normalization-N2i (statement). In PKGMM3P5QY, thm, section 58.7

History

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

Uniform Manifold Approximation and Projection AJVK9V0HCT

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

Mentions

wikipedia: Wikipedia Nonlinear dimensionality reduction#1NUH, Uniform Manifold Approximation and Projection (unknown)

History

2026-11-02: add by m2/dev

T-chart AJVN7R0701

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

Mentions

wikipedia: Wikipedia Student's t-distribution#O8MM, T-chart (unknown)

History

2026-11-02: add by m2/dev

AJVQTRG2A8 AJVQTRG2A8

URI	`m2://inv/AJVQTRG2A8`
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 2601.10958#O8Y2 (statement). In 4W55AH5T6R/e1, corollary 1

History

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

Examples AJVXND83NG

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

Mentions

wikipedia: Wikipedia Intransitive dice#DX0U, Examples (example)

History

2026-11-02: add by m2/dev

AJVZXH7BD5 AJVZXH7BD5

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_finite-sets.ptx#exe_sb (statement). In QKM9DD2H56, proposition, section B.5

History

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

Proceedings of the National Academy of Sciences of the United States of America AJW1BBSMPB

URI	`m2://inv/AJW1BBSMPB`
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 Q1146531, Proceedings of the National Academy of Sciences of the United States of America (unknown). Also ProofWiki Book:Journal/Proceedings_of_the_National_Academy_of_Sciences_of_the_United_States_of_America

History

2026-10-26: add by m2/dev

Converses AJW94R031K

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

Mentions

wikipedia: Wikipedia Banach fixed-point theorem#FW0H, Converses (statement)

History

2026-11-02: add by m2/dev

Historical fallacy AJWJ7QFYCP

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

Mentions

wikipedia: Wikipedia List of fallacies#W92B, Historical fallacy (definition)

History

2026-11-02: add by m2/dev

AJWM62171M AJWM62171M

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

Mentions

arxiv: arXiv 2609.29326#AINW (statement). In 3F83V6VKKA/e1, lemma 2.3

History

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

Examples AJWYVYNYDB

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

Mentions

wikipedia: Wikipedia Milnor number#RZVE, Examples (example)

History

2026-11-02: add by m2/dev

Fluctuations of smooth rotation invariant linear statistics for a centered-disk hole AJX0HRR1WS

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

Mentions

arxiv: arXiv 2609.25307#TVWW, Fluctuations of smooth rotation invariant linear statistics for a centered-disk hole (statement)

History

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

AJX1AR1QW0 AJX1AR1QW0

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_seq-induction.ptx#example-2 (example). In Y91XFCEVHQ, example, section 3.5.3

History

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

AJX73N8160 AJX73N8160

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 2.6

History

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

Notation AJXGW9JZNY

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

Mentions

wikipedia: Wikipedia Hilbert transform#81TP, Notation (definition)

History

2026-11-02: add by m2/dev

Michael Stillman AJXGWNGCDT

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

Mentions

wikipedia: Wikipedia Michael Stillman, Michael Stillman (topic). Also Wikidata Q68111246

History

2026-11-02: add by m2/dev

Examples AJXMCT0EGA

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

Mentions

wikipedia: Wikipedia Algebraically compact module#H5M4, Examples (example)

History

2026-11-02: add by m2/dev

AJXR37FWY3 AJXR37FWY3

URI	`m2://inv/AJXR37FWY3`
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#5UP2 (statement). In M4ZVJWM8YA/e1, lemma 5.10

History

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

Carath\'eodory AJXX37Y9EK

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

Mentions

arxiv: arXiv 2503.19729#6MQ8, Carath\'eodory (statement). In 40YZ43TS8K/e1, theorem 2.8

History

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

AJXZX9M31E AJXZX9M31E

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

Mentions

arxiv: arXiv dg-ga/9612010#9G7F (statement). In CM39SWC4A6/e1, lemma 2.6

History

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

Procedure AJY5FCKS70

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

Mentions

wikipedia: Wikipedia Certificate signing request#WV6O, Procedure (definition)

History

2026-11-02: add by m2/dev

Eichler AJYA7N3NMC

URI	`m2://inv/AJYA7N3NMC`
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#K03C, Eichler (statement). In JXTG8KP95P/e1, theorem 2.31

History

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

AJYEGHD2W8 AJYEGHD2W8

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

Mentions

arxiv: arXiv 2610.01915#ODHE (definition). In 6HJQXZS0A6/e1, definition 1.4

History

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

Top Ten Money Making Stars Poll AJYMMRMJ53

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

Mentions

wikipedia: Wikipedia Top Ten Money Making Stars Poll, Top Ten Money Making Stars Poll (definition). Also Wikidata Q3425741

History

2026-11-02: add by m2/dev

AJYQRMZ9DZ AJYQRMZ9DZ

URI	`m2://inv/AJYQRMZ9DZ`
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.33383#7N65 (statement). In 8AHWRHTP5G/e1, theorem 26

History

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

Matrix F-distribution AJZ0KNQ428

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

Mentions

wikipedia: Wikipedia Matrix F-distribution, Matrix F-distribution (definition). Also Wikidata Q123171222

History

2026-11-02: add by m2/dev

unitary perfect number AJZ14GMQ7M

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

Mentions

wikidata: Wikidata Q2370031, unitary perfect number (unknown). Also MathWorld UnitaryPerfectNumber, OEIS A002827
wikipedia: Wikipedia Unitary perfect number, Unitary perfect number (definition). Also Wikidata Q2370031

History

2026-10-26: add by m2/dev

Slutsky's theorem AJZ3ZKYBF0

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

Mentions

arxiv: arXiv 2508.02432#ECGX, Slutsky's Theorem (statement). In B366ACYB37/e1, theorem 2.7
mathlib_1000: mathlib_1000 Q643826, Slutsky's theorem (statement). Also Mathlib MeasureTheory.TendstoInDistribution.continuous_comp_prodMk_of_tendstoInMeasure_const, Wikidata Q643826
thousand_plus: thousand_plus Q643826, Slutsky's theorem (statement). Also Mathlib MeasureTheory.TendstoInDistribution.continuous_comp_prodMk_of_tendstoInMeasure_const, Wikidata Q643826, Wikipedia Slutsky's theorem
wikipedia: Wikipedia Slutsky's theorem, Slutsky's theorem (statement). Also Wikidata Q643826

History

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

Puzzle Ramayan AJZ7K2JNDQ

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

Mentions

wikipedia: Wikipedia Logic Masters India#JYO3, Puzzle Ramayan (unknown)

History

2026-11-02: add by m2/dev

AJZ9AAB93F AJZ9AAB93F

URI	`m2://inv/AJZ9AAB93F`
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.14319#7G6Q (statement). In N2FBBMPEXA/e1, proposition 2.1

History

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

AJZAER8DNN AJZAER8DNN

URI	`m2://inv/AJZAER8DNN`
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.20368#FB24 (statement)

History

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

Connectivity AJZC5JSQM0

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

Mentions

open_logic: open_logic content/sets-functions-relations/relations/special-properties.tex#defn-5, Connectivity (definition). In PKGMM3P5QY, defn, section 82.1

History

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

The algorithm AJZCKRG9SK

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

Mentions

wikipedia: Wikipedia Dynamic lot-size model#NUWA, The algorithm (definition)

History

2026-11-02: add by m2/dev

AJZFYFVJR6 AJZFYFVJR6

URI	`m2://inv/AJZFYFVJR6`
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 2308.02672#NFLJ (statement). In ETRT1R1CQ8/e1, theorem 1.3

History

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

Edith Bush AJZK0J2DF7

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

Mentions

wikipedia: Wikipedia Edith Bush, Edith Bush (topic). Also Wikidata Q106502519

History

2026-11-02: add by m2/dev

African Institute for Mathematical Sciences AJZP0FH257

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

Mentions

wikipedia: Wikipedia African Institute for Mathematical Sciences, African Institute for Mathematical Sciences (definition). Also Wikidata Q2826172

History

2026-11-02: add by m2/dev