Inventory rows VK

Compactness of finite prefixes VK010Z1Z69

URI	`m2://inv/VK010Z1Z69`
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.28791#YROS, Compactness of finite prefixes (statement)

History

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

Wood-burning stoves VK0D1WN0RF

URI	`m2://inv/VK0D1WN0RF`
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#I6NX, Wood-burning stoves (unknown)

History

2026-11-02: add by m2/dev

Basis expansion time-frequency analysis VK0GEWBBZE

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

Mentions

wikipedia: Wikipedia Basis expansion time-frequency analysis, Basis expansion time-frequency analysis (definition). Also Wikidata Q28407007

History

2026-11-02: add by m2/dev

codensity monad VK0JK53YS1

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

Mentions

wikipedia: Wikipedia Glossary of category theory#AADB, codensity monad (definition)

History

2026-11-02: add by m2/dev

VK0JTD1Q09 VK0JTD1Q09

URI	`m2://inv/VK0JTD1Q09`
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.23685#UT87 (statement)

History

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

Definition VK0QEG11VS

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

Mentions

wikipedia: Wikipedia Malliavin derivative#UQGP, Definition (definition)

History

2026-11-02: add by m2/dev

VK0XT0PP5Q VK0XT0PP5Q

URI	`m2://inv/VK0XT0PP5Q`
Kind	statement
Layer	research
MSC	00-XX, 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.10581#0GGU (statement). In 6V42A71SPC/e1, proposition 2
arxiv: arXiv 2610.13699#PM8T (statement). In ZSMAQ666K7/e1, proposition 2

History

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

Nicolaus I Bernoulli VK14D1FBVN

URI	`m2://inv/VK14D1FBVN`
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 Q123992, Nicolaus I Bernoulli (unknown). Also EoM Bernoulli,_Nicolaus
wikipedia: Wikipedia Nicolaus I Bernoulli, Nicolaus I Bernoulli (topic). Also Wikidata Q123992

History

2026-10-26: add by m2/dev

VK1RQBRCNT VK1RQBRCNT

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/term-revisited.tex#def:fv (definition). In PKGMM3P5QY, defn, section 39.1

History

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

Examples VK1VDN1AY1

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

Mentions

wikipedia: Wikipedia Outermorphism#UFL4, Examples (example)

History

2026-11-02: add by m2/dev

Properties VK1XER1P9S

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

Mentions

wikipedia: Wikipedia Circumcenter of mass#RCGB, Properties (statement)

History

2026-11-02: add by m2/dev

VK202K4AYC VK202K4AYC

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

Mentions

napkin: napkin tex/set-theory/ordinal.tex#exercise-5 (exercise). In RZP28ERRZV, exercise, section 92.6

History

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

Applications VK21Y4KM2H

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

Mentions

wikipedia: Wikipedia Sweep line algorithm#PVFB, Applications (example)

History

2026-11-02: add by m2/dev

Finite volume method for three-dimensional diffusion problem VK25C54W1A

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

Mentions

wikipedia: Wikipedia Finite volume method for three-dimensional diffusion problem, Finite volume method for three-dimensional diffusion problem (problem). Also Wikidata Q25303726

History

2026-11-02: add by m2/dev

Order-6 tetrahedral honeycomb VK26B854NN

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

Mentions

wikipedia: Wikipedia Order-6 tetrahedral honeycomb, Order-6 tetrahedral honeycomb (definition). Also Wikidata Q14623249

History

2026-11-02: add by m2/dev

Persymmetric matrix VK2AFBHQY8

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

Mentions

wikipedia: Wikipedia Persymmetric matrix, Persymmetric matrix (definition). Also Wikidata Q3757134

History

2026-11-02: add by m2/dev

Termination of the finite-horizon program VK2GTZWAXG

URI	`m2://inv/VK2GTZWAXG`
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.28791#1KUQ, Termination of the finite-horizon program (statement)

History

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

VK2RFERZ4P VK2RFERZ4P

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

Mentions

napkin: napkin tex/alg-geom/spec-sheaf.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 27.7

History

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

VK2V83E73V VK2V83E73V

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

Mentions

arxiv: arXiv 2609.24078#W9YG (statement)

History

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

VK2X86T3XC VK2X86T3XC

URI	`m2://inv/VK2X86T3XC`
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.31274#8V3X (statement). In RK0ZMDJ23T/e1, lemma 2.4.3

History

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

\text{see VK2Z4BPE3Z

URI	`m2://inv/VK2Z4BPE3Z`
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.07370#VKK8, \text{see (statement). In Q94QXG67CK/e1, theorem II.3

History

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

VK32Y6E75Y VK32Y6E75Y

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

Mentions

arxiv: arXiv 2412.01742#YGY3 (statement). In GYH7R98PPA/e1, theorem 3.1

History

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

VK36NK6QQT VK36NK6QQT

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

Mentions

arxiv: arXiv 2609.31276#OZBZ (statement). In WYDHWYFRFK/e1, lemma 3.15

History

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

Louis Auslander VK384X6Y0S

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

Mentions

wikipedia: Wikipedia Louis Auslander, Louis Auslander (topic). Also Wikidata Q786902

History

2026-11-02: add by m2/dev

VK38Y68BVK VK38Y68BVK

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

Mentions

arxiv: arXiv 2610.13680#JQE9 (unknown). In QNBFHFZ3H0/e1, unknown 122

History

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

International Conference on Fibonacci Numbers and their Applications VK3JYQ76CY

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

Mentions

wikipedia: Wikipedia International Conference on Fibonacci Numbers and their Applications, International Conference on Fibonacci Numbers and their Applications (definition). Also Wikidata Q134876653

History

2026-11-02: add by m2/dev

Symmetries VK3X7J8KN5

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

Mentions

wikipedia: Wikipedia Logistic function#IHPR, Symmetries (statement)

History

2026-11-02: add by m2/dev

inner product of functions VK43Z2SBEG

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

Mentions

lebl_diffyqs: lebl_diffyqs index/3.1.2/inner-product-of-functions, inner product of functions (concept). In E9HS8K3A52, index, section 3.1.2

History

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

Gödel's second incompleteness theorem VK4CFM965E

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

Mentions

wikipedia: Wikipedia Glossary of logic#L80H, Gödel's second incompleteness theorem (definition)

History

2026-11-02: add by m2/dev

Meixner–Pollaczek polynomials VK4JCY2WCE

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

Mentions

wikidata: Wikidata Q17098839, Meixner–Pollaczek polynomials (concept). Also MathWorld PollaczekPolynomial

History

2026-10-26: add by m2/dev

Caustic VK4N0SVSRZ

URI	`m2://inv/VK4N0SVSRZ`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Caustic GMRYG4S3G0

Mentions

wikidata: Wikidata Q3492725, Caustic (concept). Also MathWorld Caustic
wikipedia: Wikipedia Caustic (mathematics), Caustic (definition). Also Wikidata Q3492725

History

2026-10-26: add by m2/dev

Arrow–Lind principle VK5GXBNTSY

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

Mentions

mathlib_1000: mathlib_1000 Q17002391, Arrow-Lind theorem (statement). Also Wikidata Q17002391
thousand_plus: thousand_plus Q17002391, Arrow-Lind theorem (statement). Also Wikidata Q17002391, Wikipedia Arrow-Lind principle
wikipedia: Wikipedia Arrow–Lind principle, Arrow–Lind principle (statement). Also Wikidata Q17002391

History

2026-10-26: add by m2/dev

Farid Abboud VK5J1G60HS

URI	`m2://inv/VK5J1G60HS`
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#2OI3, Farid Abboud (unknown)

History

2026-11-02: add by m2/dev

VK5P12C5YR VK5P12C5YR

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

Mentions

arxiv: arXiv math/0406514#NITV (statement). In CY1FE8W1ZW/e1, corollary 0.65

History

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

Example VK5RMK9QSW

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

Mentions

wikipedia: Wikipedia Compact quantum group#EL7C, Example (example)

History

2026-11-02: add by m2/dev

VK62K1G0SC VK62K1G0SC

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

Mentions

arxiv: arXiv 2609.29712#447W (statement)

History

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

VK6A8F80JC VK6A8F80JC

URI	`m2://inv/VK6A8F80JC`
Kind	statement
Layer	research
MSC	05-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.07718#828G (statement). In CEKW9CNVVW/e1, proposition 2.3

History

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

VK6DRP2371 VK6DRP2371

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

Mentions

arxiv: arXiv 2610.03814#HWDJ (statement). In STPNP83RJS/e1, theorem 1.6

History

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

Picard–Lindelöf theorem VK6HN5Q6Q5

URI	`m2://inv/VK6HN5Q6Q5`
Kind	statement
Layer	textbook
MSC	34-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Picard–Lindelöf theorem 0P6KRD5B7A

Mentions

mathlib_1000: mathlib_1000 Q530152, Picard–Lindelöf theorem (statement). Also Mathlib IsPicardLindelof.exists_eq_forall_mem_Icc_hasDerivWithinAt, Wikidata Q530152
mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > Cauchy-Lipschitz Theorem, Cauchy-Lipschitz Theorem (unknown). Also Mathlib IsPicardLindelof.exists_eq_forall_mem_Icc_hasDerivWithinAt
thousand_plus: thousand_plus Q530152, Picard–Lindelöf theorem (statement). Also Mathlib IsPicardLindelof.exists_eq_forall_mem_Icc_hasDerivWithinAt, Wikidata Q530152, Wikipedia Picard–Lindelöf theorem
wikidata: Wikidata Q530152, Picard–Lindelöf theorem (statement). Also EoM Cauchy-Lipschitz_theorem, ProofWiki Picard's_Existence_Theorem
wikipedia: Wikipedia Picard–Lindelöf theorem, Picard–Lindelöf theorem (statement). Also Wikidata Q530152

History

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

Second Main Lemma VK6QWKGAMK

URI	`m2://inv/VK6QWKGAMK`
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#TOXW, Second Main Lemma (statement). In 7NS75J7HAM/e1, theorem 1.2

History

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

type, product VK6VR4NMS8

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

Mentions

hott_book: hott_book index/A.12.3/type-product, type, product (concept). In N54F33XE07, index, section A.12.3

History

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

VK6W0TND4M VK6W0TND4M

URI	`m2://inv/VK6W0TND4M`
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#WHR2 (statement). In M4ZVJWM8YA/e1, corollary 3.21

History

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

Christoph Koutschan VK6WMCV59B

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#69KT, Christoph Koutschan (topic)

History

2026-11-02: add by m2/dev

VK6WNENVM6 VK6WNENVM6

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

Mentions

arxiv: arXiv 2609.20203#CJ0F (statement)

History

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

Spectral theorem VK6WS58N2D

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

Mentions

wikipedia: Wikipedia Functional analysis#9HAX, Spectral theorem (statement)

History

2026-11-02: add by m2/dev

Q factor VK6XNV6D38

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

Mentions

wikipedia: Wikipedia Q factor, Q factor (definition). Also Wikidata Q830521

History

2026-11-02: add by m2/dev

VK6XSKZSFH VK6XSKZSFH

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

Mentions

arxiv: arXiv 2610.15099#TMZP (statement). In PF5JJ9DS8Q/e1, proposition 5.1.4

History

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

VK6Z5YF68F VK6Z5YF68F

URI	`m2://inv/VK6Z5YF68F`
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 2102.12931#0QCD (statement). In PQHTR84RAJ/e1, corollary 5.8

History

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

Projective special linear group VK76NX5056

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#S1J9, Projective special linear group (definition)

History

2026-11-02: add by m2/dev

Eddie Woo VK78R6KYPQ

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#E54D, Eddie Woo (unknown)

History

2026-11-02: add by m2/dev

Michael Newdow VK7BTZD8EB

URI	`m2://inv/VK7BTZD8EB`
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#MFEH, Michael Newdow (unknown)

History

2026-11-02: add by m2/dev

A finite coefficient field VK7DA9XVK1

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

Mentions

arxiv: arXiv 2610.11652#YQBP, A finite coefficient field (statement). In VEXM27M8Q1/e1, proposition 6.5

History

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

VK7QW68ZKW VK7QW68ZKW

URI	`m2://inv/VK7QW68ZKW`
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 0812.1600#61NW (statement). In 7Z12QX7837/e1, theorem 1.10

History

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

$(\infty,1)$-category VK7TDCMNNZ

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

Mentions

hott_book: hott_book index/3.9/infty-1-category, $(\infty,1)$-category (concept). In N54F33XE07, index, section 3.9

History

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

Fraenkel VK7WXA6NRN

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

Mentions

wikipedia: Wikipedia Glossary of set theory#77TA, Fraenkel (definition)

History

2026-11-02: add by m2/dev

main result VK84YP20H8

URI	`m2://inv/VK84YP20H8`
Kind	statement
Layer	research
MSC	05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-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 2211.01586#WVX2, main result (statement). In P39MF3ZJC0/e1, theorem 1.4
arxiv: arXiv 2610.12326#BK5N, Spectral theorem for $\LL$ (statement). In 9S7HGSEX6Q/e1, proposition 3.11

History

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

Argument from poor design VK8A2DJXBK

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

Mentions

wikipedia: Wikipedia Argument from poor design, Argument from poor design (definition). Also Wikidata Q178952

History

2026-11-02: add by m2/dev

VK8ANZZW4F VK8ANZZW4F

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

Mentions

arxiv: arXiv 2610.17677#8SD2 (statement). In 5E9G06XJKC/e1, proposition 2.2

History

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

VK8C01KYN9 VK8C01KYN9

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-122 (exercise). In VNMV985MXX, exercise, section 2.4

History

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

Critical understanding VK8CG2C0HW

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

Mentions

wikipedia: Wikipedia Critical understanding, Critical understanding (definition). Also Wikidata Q5186777

History

2026-11-02: add by m2/dev

Examples VK9038RX24

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

Mentions

wikipedia: Wikipedia Seifert surface#4FOU, Examples (example)

History

2026-11-02: add by m2/dev

VK90TRECBS VK90TRECBS

URI	`m2://inv/VK90TRECBS`
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.00386#SC8Z (statement). In 7EDY2549HF/e1, lemma 5

History

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

Uniformly bounded normal decompositions VK9AA2MSX7

URI	`m2://inv/VK9AA2MSX7`
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.20270#3H7O, Uniformly bounded normal decompositions (statement). In GV0QGZH67P/e1, lemma D.1

History

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

Strawson entailment VK9BVCFP5R

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

Mentions

wikipedia: Wikipedia Strawson entailment, Strawson entailment (definition). Also Wikidata Q130442074

History

2026-11-02: add by m2/dev

HP-19C/-29C VK9EBK25Y7

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

Mentions

wikipedia: Wikipedia HP-19C/-29C, HP-19C/-29C (definition). Also Wikidata Q5635546

History

2026-11-02: add by m2/dev

Fenchel--Borsuk VK9J201YCP

URI	`m2://inv/VK9J201YCP`
Kind	statement
Layer	research
MSC	30-XX, 32-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 2609.24610#MZ7X, Fenchel--Borsuk (statement)

History

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

Base of entourages VK9W9XWJRX

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

Mentions

wikipedia: Wikipedia Uniform space#V5Q0, Base of entourages (unknown)

History

2026-11-02: add by m2/dev

mean VKA012GFRX

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#5U77, mean (definition)

History

2026-11-02: add by m2/dev

Regular Hadamard matrix VKA2XTRE0C

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

Mentions

wikipedia: Wikipedia Regular Hadamard matrix, Regular Hadamard matrix (definition). Also Wikidata Q7309581

History

2026-11-02: add by m2/dev

VKAEAKEXER VKAEAKEXER

URI	`m2://inv/VKAEAKEXER`
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.29262#IEGN (statement)

History

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

VKAFQSPM42 VKAFQSPM42

URI	`m2://inv/VKAFQSPM42`
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.09989#JF3Q (statement). In 4KZA07H3GE/e1, proposition 1.1

History

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

VKAG9YGXZ5 VKAG9YGXZ5

URI	`m2://inv/VKAG9YGXZ5`
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 2504.17648#FFUJ (statement). In 8G9FQA3ECT/e1, proposition 1

History

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

Examples VKB16QF7A3

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

Mentions

wikipedia: Wikipedia Rotation matrix#N7LM, Examples (example)

History

2026-11-02: add by m2/dev

concordant VKB7SWXZHD

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#1IOM, concordant (definition)

History

2026-11-02: add by m2/dev

Leading-coefficient quotient reduction VKB9M114NW

URI	`m2://inv/VKB9M114NW`
Kind	statement
Layer	research
MSC	26-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.26110#7F9X, Leading-coefficient quotient reduction (statement)

History

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

VKBD0W7RDQ VKBD0W7RDQ

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

Mentions

hott_book: hott_book formal.tex#cor-3 (statement). In N54F33XE07, cor, section 4.4

History

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

Examples VKBFQP4VK2

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

Mentions

wikipedia: Wikipedia Indecomposable distribution#IXCH, Examples (example)

History

2026-11-02: add by m2/dev

Joseph O'Rourke VKBHCZAQST

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4X5E, Joseph O'Rourke (unknown)

History

2026-11-02: add by m2/dev

VKBHEZJ3CM VKBHEZJ3CM

URI	`m2://inv/VKBHEZJ3CM`
Kind	problem
Layer	research
MSC	14-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 2401.07983#1TJ4 (problem). In 4WJ9HYVSZY/e1, problem 1

History

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

Disturbance-conditioned variance and kurtosis comparisons VKBJBR0Q6X

URI	`m2://inv/VKBJBR0Q6X`
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#FGHN, Disturbance-conditioned variance and kurtosis comparisons (statement)

History

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

Example VKBP79FVQB

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

Mentions

wikipedia: Wikipedia Ranklet#MBGJ, Example (example)

History

2026-11-02: add by m2/dev

Formal definition VKBV7HFMQ5

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

Mentions

wikipedia: Wikipedia Taxicab geometry#W4N7, Formal definition (definition)

History

2026-11-02: add by m2/dev

VKBXYG96X3 VKBXYG96X3

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/halting-problem.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 86.7

History

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

Separable permutation VKBZEZX93W

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

Mentions

wikipedia: Wikipedia Separable permutation, Separable permutation (definition). Also Wikidata Q7451767

History

2026-11-02: add by m2/dev

Queuing theory VKC5X2NBPS

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

Mentions

wikipedia: Wikipedia List of algorithms#0TJ7, Queuing theory (definition)

History

2026-11-02: add by m2/dev

VKC82J7GBC VKC82J7GBC

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

Mentions

arxiv: arXiv 2609.35191#MK3F (statement). In W9Z6S1PDTP/e1, lemma 5.3

History

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

inequality VKC82WJNJQ

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

Mentions

wikidata: Wikidata Q28113351, inequality (concept). Also EoM Inequality, MathWorld Inequality, ProofWiki Definition:Inequality
wikipedia: Wikipedia Inequality (mathematics), Inequality (statement). Also Wikidata Q28113351

History

2026-10-26: add by m2/dev

Spectral separation VKC8D1Z6WX

URI	`m2://inv/VKC8D1Z6WX`
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.00077#UNV6, Spectral separation (statement). In C04B15GH1T/e1, proposition 4.7

History

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

Hong--Saturnino VKCEWAHBF1

URI	`m2://inv/VKCEWAHBF1`
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.29723#I5MN, Hong--Saturnino (statement)

History

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

pippian VKCPD9N9EN

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#UOGY, pippian (definition)

History

2026-11-02: add by m2/dev

Use VKCX2HX9H5

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

Mentions

wikipedia: Wikipedia Baseball statistics#N2XN, Use (example)

History

2026-11-02: add by m2/dev

Riemannian Penrose inequality VKDB1AD3FA

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#FBW9, Riemannian Penrose inequality (statement)
wikipedia: Wikipedia List of inequalities#96MO, Riemannian Penrose inequality (statement)
wikipedia: Wikipedia List of inequalities#Z7C2, Riemannian Penrose inequality (statement)

History

2026-11-02: add by m2/dev

Common-layer smoothness and depth dependence VKDG3ZRHXA

URI	`m2://inv/VKDG3ZRHXA`
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.02659#ZFBX, Common-layer smoothness and depth dependence (statement). In EV933413SJ/e1, corollary D.4

History

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

Properties of compression VKDTJ4B4PJ

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

Mentions

arxiv: arXiv 2610.11031#N3F6, Properties of compression (definition). In 9DMJXFRQN9/e1, definition 2.2

History

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

Statement of the theorem VKDVXPDKKW

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

Mentions

wikipedia: Wikipedia Artin approximation theorem#J8N1, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Zhai--Lin VKDW1ZSMA4

URI	`m2://inv/VKDW1ZSMA4`
Kind	problem
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#H0GU, Zhai--Lin (problem)

History

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

VKDYT2N2B4 VKDYT2N2B4

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

Mentions

napkin: napkin tex/riemann-surface/line-bundles.tex#ques-7 (exercise). In RZP28ERRZV, ques, section 85.4

History

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

Operations research VKDZTDSZ09

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

Mentions

wikipedia: Wikipedia List of fields of application of statistics#NTMZ, Operations research (topic)

History

2026-11-02: add by m2/dev

Quantitative supporting-cap $L^2$ bound VKE2PNREHM

URI	`m2://inv/VKE2PNREHM`
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.14037#LQXH, Quantitative supporting-cap $L^2$ bound (statement). In E7QSF9NXBG/e1, proposition 4.1

History

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

Example VKE6DRB6QQ

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

Mentions

wikipedia: Wikipedia Related rates#H1Y6, Example (example)

History

2026-11-02: add by m2/dev

Definition VKE9ETS0VH

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

Mentions

wikipedia: Wikipedia Twisted Edwards curve#GGRA, Definition (definition)

History

2026-11-02: add by m2/dev

Key lemma VKEGDYB793

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

Mentions

arxiv: arXiv 2610.16877#YTFZ, Key lemma (statement). In YY4KFNMPC0/e1, lemma 3.9

History

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

Divergence theorem VKEJ5J3Y9P

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

Mentions

wikipedia: Wikipedia Generalized Stokes theorem#UO6H, Divergence theorem (statement)

History

2026-11-02: add by m2/dev

VKEW1XHXSC VKEW1XHXSC

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

Mentions

arxiv: arXiv 2609.36884#I9BT (definition). In Z7E16PFFCP/e1, definition 4.27

History

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

VKEZ4TJPT9 VKEZ4TJPT9

URI	`m2://inv/VKEZ4TJPT9`
Kind	problem
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.18017#BHHN (problem). In EBSQEQYECS/e1, problem

History

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

parabolic VKF2EY7GPH

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#T0B0, parabolic (definition)

History

2026-11-02: add by m2/dev

277,777,788,888,899 VKF2FHYGW1

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

Mentions

wikipedia: Wikipedia Persistence of a number#0TED, 277,777,788,888,899 (unknown)

History

2026-11-02: add by m2/dev

VKF4GZK5AM VKF4GZK5AM

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-16 (exercise). In QKM9DD2H56, exercise, section 2

History

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

Example VKFH66A3QF

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

Mentions

wikipedia: Wikipedia Greatest common divisor#K8YR, Example (example)

History

2026-11-02: add by m2/dev

Compactly Supported Approximation VKFJVD71MA

URI	`m2://inv/VKFJVD71MA`
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.30105#JH32, Compactly Supported Approximation (statement)

History

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

VKFKPJE83W VKFKPJE83W

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 5.2

History

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

Sparse polynomial VKFM06M1S1

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

Mentions

wikipedia: Wikipedia Sparse polynomial, Sparse polynomial (definition). Also Wikidata Q107377261

History

2026-11-02: add by m2/dev

VKFP54G4XM VKFP54G4XM

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

Mentions

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

History

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

Method VKFVYG95EX

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

Mentions

wikipedia: Wikipedia 2020 Mexican census#TE3V, Method (definition)

History

2026-11-02: add by m2/dev

Edmund Gunter VKFX1TZV6S

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

Mentions

wikipedia: Wikipedia List of geometers#NPZ9, Edmund Gunter (topic)

History

2026-11-02: add by m2/dev

VKG1H1P1Y5 VKG1H1P1Y5

URI	`m2://inv/VKG1H1P1Y5`
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.09570#D7RQ (statement). In 6QAW01629C/e1, lemma 5.2

History

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

VKG1VKS3JF VKG1VKS3JF

URI	`m2://inv/VKG1VKS3JF`
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 2411.01837#PZ1M (statement). In 2XBYZ1QP22/e1, lemma 2.4

History

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

VKG2HPZPE9 VKG2HPZPE9

URI	`m2://inv/VKG2HPZPE9`
Kind	problem
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 2210.16706#DNDS (problem). In JSRVKPT87E/e1, problem

History

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

Jean Cavaillès VKG8VTNT0Q

URI	`m2://inv/VKG8VTNT0Q`
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#QU9Z, Jean Cavaillès (unknown)

History

2026-11-02: add by m2/dev

VKGJD4WMND VKGJD4WMND

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

Mentions

napkin: napkin tex/topology/metric-prop.tex#definition-3 (definition). In RZP28ERRZV, definition, section 99.2

History

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

VKGWQJQHHN VKGWQJQHHN

URI	`m2://inv/VKGWQJQHHN`
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.36909#8G7S (definition). In S5SKFZB5WH/e1, definition

History

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

Corollary VKGWTERW17

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

Mentions

wikipedia: Wikipedia Dimension theory (algebra)#2H3V, Corollary (statement)

History

2026-11-02: add by m2/dev

VKGY29NMGA VKGY29NMGA

URI	`m2://inv/VKGY29NMGA`
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.09129#66D0 (statement). In Z1RZSF68XZ/e1, proposition 5.6

History

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

The case when the upper threshold is active VKH9B59T3X

URI	`m2://inv/VKH9B59T3X`
Kind	example
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.18242#Y827, The case when the upper threshold is active (example). In VVC2FHQZZR/e1, example 6.9

History

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

VKH9YGZ48A VKH9YGZ48A

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

Mentions

arxiv: arXiv math/0406514#PS4Q (statement). In CY1FE8W1ZW/e1, lemma 0.288

History

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

VKHG1D0D7S VKHG1D0D7S

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

Mentions

arxiv: arXiv 2609.40200#4FHB (statement). In VWNB6QJWFN/e1, theorem A.1

History

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

Bergman barycentric extension VKHJFQZ6VG

URI	`m2://inv/VKHJFQZ6VG`
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.28014#XIFO, Bergman barycentric extension (statement)

History

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

VKHKYCJG4T VKHKYCJG4T

URI	`m2://inv/VKHKYCJG4T`
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.34339#HNT8 (statement). In 9WFSTGMQ4E/e1, proposition 3.3

History

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

Continuity VKHT0F0V2B

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

Mentions

wikipedia: Wikipedia Standard part function#N4BG, Continuity (statement)

History

2026-11-02: add by m2/dev

Francesco Brioschi VKHT688192

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#LHQR, Francesco Brioschi (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T4GH, Francesco Brioschi (topic)

History

2026-11-02: add by m2/dev

disjunction VKHT97KB8Y

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

Mentions

hott_book: hott_book index/A.11/disjunction, disjunction (concept). In N54F33XE07, index, section A.11

History

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

limit comparison test VKJ081ATBW

URI	`m2://inv/VKJ081ATBW`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Limit comparison test 0HW7BNHHGF

Mentions

wikidata: Wikidata Q6549441, limit comparison test (statement). Also MathWorld LimitComparisonTest
wikipedia: Wikipedia Limit comparison test, Limit comparison test (definition). Also Wikidata Q6549441

History

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

VKJ7ECGJ39 VKJ7ECGJ39

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

Mentions

napkin: napkin tex/calculus/limits.tex#definition-5 (definition). In RZP28ERRZV, definition, section 32.3

History

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

VKJENDP9T0 VKJENDP9T0

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-36 (exercise). In E9HS8K3A52, exercise, section 7.2.7

History

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

Subspace theorem of W. M. Schmidt VKJFS1XG2Z

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

Mentions

wikipedia: Wikipedia Geometry of numbers#FWJQ, Subspace theorem of W. M. Schmidt (statement)

History

2026-11-02: add by m2/dev

Tudor Ganea VKJHTQJ21B

URI	`m2://inv/VKJHTQJ21B`
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#K9H7, Tudor Ganea (topic)

History

2026-11-02: add by m2/dev

Examples VKJREEEGY6

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

Mentions

wikipedia: Wikipedia Factorial experiment#X0Q4, Examples (example)

History

2026-11-02: add by m2/dev

History of computational complexity theory VKJS2WGT2S

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

Mentions

wikipedia: Wikipedia Computational complexity theory#K7AN, History of computational complexity theory (unknown)

History

2026-11-02: add by m2/dev

VKJS7WJMA1 VKJS7WJMA1

URI	`m2://inv/VKJS7WJMA1`
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.39531#5074 (statement). In SN9RSTHQ07/e1, lemma F.6

History

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

Talagrand's $\gammafn{\alpha}$ functionals VKJX7RY057

URI	`m2://inv/VKJX7RY057`
Kind	definition
Layer	research
MSC	49-XX, 62-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.11906#6MFE, Talagrand's $\gammafn{\alpha}$ functionals (definition). In 8S9TEAPCDJ/e1, definition 1

History

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

Algebraically independent elements VKK9RV52RX

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

Mentions

wikipedia: Wikipedia Glossary of field theory#BCBJ, Algebraically independent elements (definition)

History

2026-11-02: add by m2/dev

continuous VKKJMV9PBV

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#T3IK, continuous (definition)

History

2026-11-02: add by m2/dev

VKKMAWHGT3 VKKMAWHGT3

URI	`m2://inv/VKKMAWHGT3`
Kind	statement
Layer	research
MSC	37-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.25960#9J66 (statement). In 13GSWBXPCM/e1, theorem 2.1

History

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

fibration VKKW1M6PS8

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

Mentions

hott_book: hott_book index/3.7/fibration, fibration (concept). In N54F33XE07, index, section 3.7

History

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

Cutting sequence VKM065WA0S

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

Mentions

wikipedia: Wikipedia Cutting sequence, Cutting sequence (definition). Also Wikidata Q5197008

History

2026-11-02: add by m2/dev

Hilbert–Arnold problem VKM0HEKSJQ

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#Z31M, Hilbert–Arnold problem (conjecture)

History

2026-11-02: add by m2/dev

Scheme theory VKM7RTFEVR

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#JR8Q, Scheme theory (definition)

History

2026-11-02: add by m2/dev

Definition VKMFZ76MGQ

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

Mentions

wikipedia: Wikipedia Reflexive space#IJDG, Definition (definition)

History

2026-11-02: add by m2/dev

Generalizations VKMGFZRVP7

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

Mentions

wikipedia: Wikipedia Space of continuous functions on a compact space#K95I, Generalizations (statement)

History

2026-11-02: add by m2/dev

quinary VKMPNDA1WH

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

Mentions

wikidata: Wikidata Q263994, quinary (definition). Also ProofWiki Definition:Quintal_Notation
wikipedia: Wikipedia Quinary, Quinary (definition). Also Wikidata Q263994

History

2026-10-26: add by m2/dev

Cauchy stress tensor VKN09ZPAVC

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

Mentions

wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#A1SM, Cauchy stress tensor (definition)

History

2026-11-02: add by m2/dev

Rank-one curvature bound VKN90ZTWJD

URI	`m2://inv/VKN90ZTWJD`
Kind	statement
Layer	research
MSC	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 2609.25762#TQBO, Rank-one curvature bound (statement)

History

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

Types 1, 2, 3, and 4 encryption VKNCX8V021

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#JB9T, Types 1, 2, 3, and 4 encryption (unknown)

History

2026-11-02: add by m2/dev

Homotopy analysis method VKNFFWZ6HT

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

Mentions

wikipedia: Wikipedia Homotopy analysis method, Homotopy analysis method (definition). Also Wikidata Q5891829

History

2026-11-02: add by m2/dev

Bahmanyar VKNJPJZ6MC

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

Mentions

wikipedia: Wikipedia Bahmanyar, Bahmanyar (topic). Also Wikidata Q1151481

History

2026-11-02: add by m2/dev

op-fibration VKNQERZ2X4

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

Mentions

wikipedia: Wikipedia Glossary of category theory#BV1S, op-fibration (definition)

History

2026-11-02: add by m2/dev

VKNQXFVSC2 VKNQXFVSC2

URI	`m2://inv/VKNQXFVSC2`
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.14435#VH8I (statement). In Y9FSN5BVNQ/e1, lemma 3

History

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

Properties VKNRBRWEAA

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

Mentions

wikipedia: Wikipedia Principal ideal#9B8T, Properties (statement)

History

2026-11-02: add by m2/dev

VKNVP89T0F VKNVP89T0F

URI	`m2://inv/VKNVP89T0F`
Kind	statement
Layer	research
MSC	37-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.16580#8876 (statement). In MQPBZX4DR6/e1, lemma 5.11

History

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

Sarov VKP23G83D4

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

Mentions

wikipedia: Wikipedia List of places with numeric names#0CI8, Sarov (unknown)

History

2026-11-02: add by m2/dev

VKP4YQE1JF VKP4YQE1JF

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

Mentions

arxiv: arXiv 2609.36045#EO41 (statement). In F0E8YBV0Z0/e1, proposition 6.11

History

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

VKP59GEVDH VKP59GEVDH

URI	`m2://inv/VKP59GEVDH`
Kind	statement
Layer	research
MSC	05-XX, 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.22514#69JM (statement)

History

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

VKP7W48ERP VKP7W48ERP

URI	`m2://inv/VKP7W48ERP`
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.06785#N27E (statement). In PG6AEWX25E/e1, lemma 4.2

History

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

Binomial Theorem VKPGHC6NBK

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_binom-thm.ptx#thm_binomial, Binomial Theorem (statement). In QKM9DD2H56, theorem, section 2.6

History

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

Powerdomain VKPK825J5Y

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

Mentions

wikipedia: Wikipedia List of order theory topics#RRRG, Powerdomain (unknown)

History

2026-11-02: add by m2/dev

Gyula O. H. Katona VKPV71ECXW

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#DQ3F, Gyula O. H. Katona (topic)

History

2026-11-02: add by m2/dev

Paradox of enrichment VKQ96TBTXD

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

Mentions

wikipedia: Wikipedia Paradox of enrichment, Paradox of enrichment (statement). Also Wikidata Q7134450

History

2026-11-02: add by m2/dev

List of mathematical discoveries by artificial intelligence VKQA0EFND2

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

Mentions

wikipedia: Wikipedia List of mathematical discoveries by artificial intelligence, List of mathematical discoveries by artificial intelligence (topic). Also Wikidata Q141427427

History

2026-11-02: add by m2/dev

Ext functor VKQEE1D9NE

URI	`m2://inv/VKQEE1D9NE`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Ext functor 4P7GBWJ4RR

Mentions

wikidata: Wikidata Q1384902, Ext functor (unknown). Also nLab Ext
wikipedia: Wikipedia Ext functor, Ext functor (definition). Also Wikidata Q1384902

History

2026-10-26: add by m2/dev

Half-period positivity VKQFPG2S3R

URI	`m2://inv/VKQFPG2S3R`
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.22305#P21Y, Half-period positivity (statement). In P6FTXTV09Q/e1, proposition 5.8

History

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

Annihilator (ring theory) VKQHSSJ60Z

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#MI0K, Annihilator (ring theory) (definition)
wikipedia: Wikipedia List of commutative algebra topics#Z833, Annihilator (ring theory) (definition)

History

2026-11-02: add by m2/dev

Peter Schönemann VKQPTJM100

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

Mentions

wikipedia: Wikipedia Peter Schönemann, Peter Schönemann (topic). Also Wikidata Q7176830

History

2026-11-02: add by m2/dev

VKQTVM5T9C VKQTVM5T9C

URI	`m2://inv/VKQTVM5T9C`
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 2609.25291#8M6E (definition)

History

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

VKQVZSYXPD VKQVZSYXPD

URI	`m2://inv/VKQVZSYXPD`
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.09201#BJPX (statement). In JQFPH09JG8/e1, theorem 5.8

History

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

Alberto Zaffaroni VKQXZ5P7Q3

URI	`m2://inv/VKQXZ5P7Q3`
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 Q57077408, Alberto Zaffaroni (unknown). Also nLab Alberto Zaffaroni

History

2026-10-26: add by m2/dev

VKQXZDTQEP VKQXZDTQEP

URI	`m2://inv/VKQXZDTQEP`
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.16554#9T1U (statement). In GWNT8HEZG1/e1, corollary 3.8

History

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

Replicas of $T_k^{(4)}$ in the binary product tree VKRA8W31K1

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

Mentions

arxiv: arXiv 2609.28898#A4C1, Replicas of $T_k^{(4)}$ in the binary product tree (definition)

History

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

Square root of 2 VKRDDN6WTC

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#1UDS, Square root of 2 (definition)

History

2026-11-02: add by m2/dev

One step via dissipativity VKRH4VZ751

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

Mentions

arxiv: arXiv 2609.20998#HAXW, One step via dissipativity (statement)

History

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

VKRHV9457S VKRHV9457S

URI	`m2://inv/VKRHV9457S`
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.05442#3XX4 (statement). In WEPE51JCHZ/e1, theorem 5.5

History

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

Uniform 6-honeycomb VKRN48VKHK

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

Mentions

wikipedia: Wikipedia Uniform 7-polytope#8X7B, Uniform 6-honeycomb (unknown)

History

2026-11-02: add by m2/dev

Formal statement VKRPAWDECZ

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

Mentions

wikipedia: Wikipedia Axiom of pairing#UDOR, Formal statement (statement)

History

2026-11-02: add by m2/dev

Generalizations VKRV70MDF8

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

Mentions

wikipedia: Wikipedia Bispectrum#6SUF, Generalizations (statement)

History

2026-11-02: add by m2/dev

Augustus De Morgan VKSV8F5T05

URI	`m2://inv/VKSV8F5T05`
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 Q208448, Augustus De Morgan (unknown). Also ProofWiki Mathematician:Augustus_De_Morgan
wikipedia: Wikipedia Augustus De Morgan, Augustus De Morgan (topic). Also Wikidata Q208448

History

2026-10-26: add by m2/dev

Definition VKSVWMXY10

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

Mentions

wikipedia: Wikipedia Standard probability space#NEA7, Definition (definition)

History

2026-11-02: add by m2/dev

Generalizations VKT0RPA54S

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

Mentions

wikipedia: Wikipedia Abel's theorem#6V6Y, Generalizations (statement)

History

2026-11-02: add by m2/dev

Representation VKT1F58EAB

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

Mentions

wikipedia: Wikipedia Combinational logic#VI7S, Representation (definition)

History

2026-11-02: add by m2/dev

VKTAP66ZNE VKTAP66ZNE

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

Mentions

open_logic: open_logic content/turing-machines/machines-computations/unary-numbers.tex#prob-5 (exercise). In PKGMM3P5QY, prob, section 86.3

History

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

Cayley's Ω process VKTE3JKEG5

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

Mentions

wikipedia: Wikipedia List of things named after Arthur Cayley#ND4P, Cayley's Ω process (unknown)

History

2026-11-02: add by m2/dev

Generalized Ozaki cost function VKTF5PPF78

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

Mentions

wikipedia: Wikipedia Generalized Ozaki cost function, Generalized Ozaki cost function (definition). Also Wikidata Q5532447

History

2026-11-02: add by m2/dev

VKTGWQS4VK VKTGWQS4VK

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

Mentions

arxiv: arXiv 2610.15099#FILH (statement). In PF5JJ9DS8Q/e1, theorem 5.1.3

History

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

Orthogonal Masas VKTH6SVV97

URI	`m2://inv/VKTH6SVV97`
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 2609.38206#WMOH, Orthogonal Masas (definition). In F71MS1F637/e1, definition 4.3

History

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

VKTHTT77K5 VKTHTT77K5

URI	`m2://inv/VKTHTT77K5`
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.06381#TW4M (statement). In X9JKBDHACW/e1, proposition 7.3

History

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

Statement VKTRNZT2H5

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

Mentions

wikipedia: Wikipedia Fundamental theorem of linear programming#MQ2K, Statement (statement)

History

2026-11-02: add by m2/dev

VKTVK6VY9J VKTVK6VY9J

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

Mentions

arxiv: arXiv 2610.13100#Z35C (statement). In CC6S1HVK0T/e1, theorem 6.5

History

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

Paul Finsler VKV2Z8DXX4

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

Mentions

wikipedia: Wikipedia Paul Finsler, Paul Finsler (topic). Also Wikidata Q116334

History

2026-11-02: add by m2/dev

Amber E. Boydstun VKV6VJH1FE

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

Mentions

wikipedia: Wikipedia Amber E. Boydstun, Amber E. Boydstun (topic). Also Wikidata Q86488119

History

2026-11-02: add by m2/dev

VKVGHSM5QP VKVGHSM5QP

URI	`m2://inv/VKVGHSM5QP`
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.40156#ZPSJ (statement). In PP8BEHWK33/e1, lemma 5

History

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

Bayes classifier VKVKGH0F9S

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

Mentions

wikipedia: Wikipedia List of statistics articles#9ZK1, Bayes classifier (definition)

History

2026-11-02: add by m2/dev

Principle VKVP9PNQ2V

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

Mentions

wikipedia: Wikipedia Solomonoff's theory of inductive inference#WCWP, Principle (statement)

History

2026-11-02: add by m2/dev

Function field sieve VKVRB3G58R

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

Mentions

wikipedia: Wikipedia List of number theory topics#H7U6, Function field sieve (definition)

History

2026-11-02: add by m2/dev

International Commission on the History of Mathematics VKVYJK8BVQ

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

Mentions

wikipedia: Wikipedia International Commission on the History of Mathematics, International Commission on the History of Mathematics (definition). Also Wikidata Q41713653

History

2026-11-02: add by m2/dev

Michael Fredman VKW7YQ1ETX

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

Mentions

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

History

2026-11-02: add by m2/dev

VKWH6QZSZJ VKWH6QZSZJ

URI	`m2://inv/VKWH6QZSZJ`
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.27152#PY47 (statement)

History

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

Definition VKWW8WCPQR

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

Mentions

wikipedia: Wikipedia N-vector model#68IE, Definition (definition)

History

2026-11-02: add by m2/dev

Convergence of measures VKWZ2A12CM

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

Mentions

wikipedia: Wikipedia List of statistics articles#GKMM, Convergence of measures (definition)

History

2026-11-02: add by m2/dev

axis-convexity VKXAGSJ462

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

Mentions

arxiv: arXiv 2610.14050#BG34, axis-convexity (statement). In RENT22YXW3/e1, lemma A.1

History

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

VKXB36J8B1 VKXB36J8B1

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

Mentions

arxiv: arXiv 2610.01251#JRFD (statement). In CZ2247RGQ4/e1, theorem 3.1.6

History

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

Consequences of the conjectures VKXHK4JB47

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

Mentions

wikipedia: Wikipedia Selberg class#YWAX, Consequences of the conjectures (statement)

History

2026-11-02: add by m2/dev

Van der Waerden test VKXQ3NFDGX

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

Mentions

wikipedia: Wikipedia List of statistics articles#PIIL, Van der Waerden test (definition)

History

2026-11-02: add by m2/dev

Disk integration VKXSYYYWP1

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

Mentions

wikipedia: Wikipedia List of calculus topics#ZK1W, Disk integration (definition)

History

2026-11-02: add by m2/dev

Peano arithmetic VKY2E5GQMN

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

Mentions

wikidata: Wikidata Q49938, Peano arithmetic (unknown). Also MathWorld PeanoArithmetic, nLab Peano arithmetic

History

2026-10-26: add by m2/dev

Richard H. Price VKY2MZBZC2

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

Mentions

mathlib_1000: mathlib_1000 Q2733672, Price's theorem (statement). Also Wikidata Q2733672
thousand_plus: thousand_plus Q2733672, Price's theorem (statement). Also Wikidata Q2733672, Wikipedia Richard H. Price
wikipedia: Wikipedia Richard H. Price, Richard H. Price (topic). Also Wikidata Q2733672

History

2026-10-26: add by m2/dev

Ronitt Rubinfeld VKY43FG41S

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#A9TG, Ronitt Rubinfeld (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IW8O, Ronitt Rubinfeld (unknown)

History

2026-11-02: add by m2/dev

Generalizations VKYFQ2ESRK

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

Mentions

wikipedia: Wikipedia Nilpotent matrix#9RG0, Generalizations (statement)

History

2026-11-02: add by m2/dev

Examples VKYHTRMDTG

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

Mentions

wikipedia: Wikipedia Isolated singularity#9JRH, Examples (example)

History

2026-11-02: add by m2/dev

VKYKBTV94E VKYKBTV94E

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

Mentions

arxiv: arXiv 2610.12329#MNZX (statement). In ZJQB9W60T6/e1, theorem 6.2

History

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

Statement VKYKK07JV8

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

Mentions

wikipedia: Wikipedia Chromatic homotopy theory#KGKG, Statement (statement)

History

2026-11-02: add by m2/dev

Patrizia Gianni VKYWK10861

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

Mentions

wikipedia: Wikipedia Patrizia Gianni, Patrizia Gianni (topic). Also Wikidata Q102235248

History

2026-11-02: add by m2/dev

Fuss–Catalan number VKZ1VRNW5P

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

Mentions

wikipedia: Wikipedia Fuss–Catalan number, Fuss–Catalan number (definition). Also Wikidata Q15456670

History

2026-11-02: add by m2/dev

Archimedean condition VKZ4H0SH0C

URI	`m2://inv/VKZ4H0SH0C`
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 2610.17371#CEKV, Archimedean condition (definition). In FF92TNYHQR/e1, definition 1

History

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

Hypatia of Alexandria in art and culture VKZ5GQJADH

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

Mentions

wikipedia: Wikipedia Hypatia#6M3G, Hypatia of Alexandria in art and culture (unknown)

History

2026-11-02: add by m2/dev

support VKZ9X6328N

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

Mentions

wikipedia: Wikipedia Glossary of module theory#POXZ, support (definition)

History

2026-11-02: add by m2/dev

Examples VKZT7G9524

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

Mentions

wikipedia: Wikipedia Differential variational inequality#4M39, Examples (example)

History

2026-11-02: add by m2/dev