Inventory rows BK

Private measure on a finite metric space BK005Y3PVW

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

Mentions

arxiv: arXiv 2204.09167#2QNK, Private measure on a finite metric space (statement). In S1MENYEAG5/e1, proposition 7.1

History

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

Differential Privacy BK0FGGJPE0

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

Mentions

arxiv: arXiv 2204.09167#OXI3, Differential Privacy (definition). In S1MENYEAG5/e1, definition 2.1

History

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

Upper coefficient BK0JKV53MD

URI	`m2://inv/BK0JKV53MD`
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.21328#IJ4Z, Upper coefficient (statement). In BJXVV4ZF7B/e1, proposition 8.5

History

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

Special cases BK0M31KDK1

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

Mentions

wikipedia: Wikipedia Lehmer mean#OQXZ, Special cases (statement)

History

2026-11-02: add by m2/dev

BK0P9VY2FQ BK0P9VY2FQ

URI	`m2://inv/BK0P9VY2FQ`
Kind	example
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.21174#B7L8 (example)

History

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

bozo bit BK0PKJSRT8

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

Mentions

wikidata: Wikidata Q106205283, bozo bit (definition). Also ProofWiki Definition:Bozo_Bit

History

2026-10-26: add by m2/dev

BK14ZEM4Q8 BK14ZEM4Q8

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

Mentions

napkin: napkin tex/measure/martingale.tex#corollary-1 (statement). In RZP28ERRZV, corollary, section 66.5

History

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

BK19SBDEJ1 BK19SBDEJ1

URI	`m2://inv/BK19SBDEJ1`
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.12857#3WDI (definition). In XJWQ6Y83F8/e1, definition 2.12

History

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

Schur's lemma BK1C9A554P

URI	`m2://inv/BK1C9A554P`
Kind	statement
Layer	textbook
MSC	05-XX, 16-XX, 20-XX, 22-XX
Sources	5
Outcome	open
Node	Schur's lemma X4M2FFKQJ6

Mentions

arxiv: arXiv 2306.12846#W367, Schur's lemma (statement). In D6XA7JXZF3/e1, lemma 2.3
mathlib_1000: mathlib_1000 Q1816952, Schur's lemma (statement). Also Mathlib CategoryTheory.finrank_endomorphism_simple_eq_one, Wikidata Q1816952
thousand_plus: thousand_plus Q1816952, Schur's lemma (statement). Also Mathlib CategoryTheory.finrank_endomorphism_simple_eq_one, Wikidata Q1816952, Wikipedia Schur's lemma
wikidata: Wikidata Q1816952, Schur's lemma (statement). Also MathWorld SchursRepresentationLemma, nLab Schur's lemma, ProofWiki Schur_lemma
wikipedia: Wikipedia Schur's lemma, Schur's lemma (statement). Also Wikidata Q1816952

History

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

Cantellated tesseract BK1CG91EBS

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

Mentions

wikipedia: Wikipedia Cantellated tesseract, Cantellated tesseract (object). Also Wikidata Q5033599

History

2026-11-02: add by m2/dev

Consequences and uses of the theorem BK1DZBH6R4

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

Mentions

wikipedia: Wikipedia Pythagorean theorem#ELD4, Consequences and uses of the theorem (statement)

History

2026-11-02: add by m2/dev

Theorem 2 BK1HY66JX8

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

Mentions

wikipedia: Wikipedia Compact operator on Hilbert space#TX53, Theorem 2 (statement)

History

2026-11-02: add by m2/dev

BK1M4DT9AT BK1M4DT9AT

URI	`m2://inv/BK1M4DT9AT`
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.01015#RYD3 (statement). In PSH07NKZ62/e1, theorem 7

History

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

Max Planck Institute for Mathematics in the Sciences BK1S52CVE1

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

Mentions

wikipedia: Wikipedia Max Planck Institute for Mathematics in the Sciences, Max Planck Institute for Mathematics in the Sciences (definition). Also Wikidata Q1912085

History

2026-11-02: add by m2/dev

BK1XPFT89D BK1XPFT89D

URI	`m2://inv/BK1XPFT89D`
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.10078#LM8D (statement). In YVGRZK1HRS/e1, theorem 3.2

History

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

Example BK1YTDJF8H

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

Mentions

wikipedia: Wikipedia Gershgorin circle theorem#MMG8, Example (example)

History

2026-11-02: add by m2/dev

BK22REEMTD BK22REEMTD

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

Mentions

napkin: napkin tex/alg-NT/numfield.tex#prob:alg_int_conjugates (exercise). In RZP28ERRZV, problem, section 16.5

History

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

Mean error in a modulated block BK230ZK6NS

URI	`m2://inv/BK230ZK6NS`
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 2610.06308#MN46, Mean error in a modulated block (statement). In HTWSDDAWGS/e1, lemma C.4

History

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

Mathematical theory BK2705JHCS

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

Mentions

wikipedia: Wikipedia Theory#PHJE, Mathematical theory (unknown)

History

2026-11-02: add by m2/dev

A periodic obstruction to one fixed dilation BK2T3QJ1WX

URI	`m2://inv/BK2T3QJ1WX`
Kind	example
Layer	research
MSC	05-XX, 11-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 2609.36022#TW6I, A periodic obstruction to one fixed dilation (example). In ENH5XNBQWH/e1, example 3.8

History

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

Gertrude Blanch BK2WHET916

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

Mentions

wikipedia: Wikipedia Gertrude Blanch, Gertrude Blanch (topic). Also Wikidata Q5553285

History

2026-11-02: add by m2/dev

Examples BK2WP1DS78

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

Mentions

wikipedia: Wikipedia Equilateral polygon#9YBB, Examples (example)

History

2026-11-02: add by m2/dev

Abstract additive Schwarz method BK313JTVDE

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

Mentions

wikipedia: Wikipedia Abstract additive Schwarz method, Abstract additive Schwarz method (definition). Also Wikidata Q4669932

History

2026-11-02: add by m2/dev

Examples and counterexamples BK35VEKGGF

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

Mentions

wikipedia: Wikipedia Linkless embedding#HNMP, Examples and counterexamples (example)

History

2026-11-02: add by m2/dev

Cross-entropy method BK36YY4R3A

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

Mentions

wikipedia: Wikipedia List of algorithms#PW6S, Cross-entropy method (definition)

History

2026-11-02: add by m2/dev

line BK370B11HS

URI	`m2://inv/BK370B11HS`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Line 0MP9BCF6DP

Mentions

wikidata: Wikidata Q37105, line (definition). Also EoM Line_(curve), MathWorld Line, ProofWiki Definition:Line
wikipedia: Wikipedia Line (geometry), Line (definition). Also Wikidata Q37105

History

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

Endpoint behavior for the Rodrigues formulas BK39Y1HREK

URI	`m2://inv/BK39Y1HREK`
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#BL28, Endpoint behavior for the Rodrigues formulas (statement)

History

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

Molino, {*{Thm. 4.26 BK3JSWXME5

URI	`m2://inv/BK3JSWXME5`
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#LHVD, Molino, {*{Thm. 4.26 (statement)

History

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

Example BK3Y7EQ4KX

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

Mentions

wikipedia: Wikipedia Bayesian quadrature#4KFJ, Example (example)

History

2026-11-02: add by m2/dev

BK40XXMPWZ BK40XXMPWZ

URI	`m2://inv/BK40XXMPWZ`
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.21489#C6LP (statement). In R0Q0RV8XCF/e1, proposition 4.3

History

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

Damping ratio BK44ZA3XJT

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

Mentions

wikipedia: Wikipedia Damping#GSB2, Damping ratio (unknown)

History

2026-11-02: add by m2/dev

Cristóbal de Losada y Puga BK45QP5XE2

URI	`m2://inv/BK45QP5XE2`
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#0TO4, Cristóbal de Losada y Puga (unknown)

History

2026-11-02: add by m2/dev

BK47H1JYE5 BK47H1JYE5

URI	`m2://inv/BK47H1JYE5`
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 2511.07697#VHA1 (definition). In 57P5P33HS3/e1, definition 8

History

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

Trombi–Varadarajan theorem BK4A1KZX76

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

Mentions

mathlib_1000: mathlib_1000 Q7845353, Trombi–Varadarajan theorem (statement). Also Wikidata Q7845353
thousand_plus: thousand_plus Q7845353, Trombi–Varadarajan theorem (statement). Also Wikidata Q7845353, Wikipedia Trombi–Varadarajan theorem
wikipedia: Wikipedia Trombi–Varadarajan theorem, Trombi–Varadarajan theorem (statement). Also Wikidata Q7845353

History

2026-10-26: add by m2/dev

BK4A6NA527 BK4A6NA527

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

Mentions

arxiv: arXiv 2609.22924#RPGK (example)

History

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

BK4BX0CC3Z BK4BX0CC3Z

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

Mentions

arxiv: arXiv 1209.5343#CIKY (definition). In 4SPYEGKZ8J/e1, definition 4.2

History

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

BK4CAD4DJ8 BK4CAD4DJ8

URI	`m2://inv/BK4CAD4DJ8`
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 2601.15010#1XQS (statement). In K3WJ6ZN184/e1, theorem 13.2

History

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

Theorem 4 BK4F8GM11M

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

Mentions

wikipedia: Wikipedia Loewy decomposition#CJFA, Theorem 4 (statement)

History

2026-11-02: add by m2/dev

Miami BK4N6DPD6V

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#RWPL, Miami (unknown)

History

2026-11-02: add by m2/dev

coprime BK5451GF38

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

Mentions

wikipedia: Wikipedia Glossary of number theory#AI59, coprime (definition)

History

2026-11-02: add by m2/dev

Induced lifting BK55S2Z5VR

URI	`m2://inv/BK55S2Z5VR`
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.21388#9SDP, Induced lifting (statement)

History

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

revision theory of truth BK5ECR5V42

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

Mentions

wikipedia: Wikipedia Glossary of logic#NU5V, revision theory of truth (definition)

History

2026-11-02: add by m2/dev

Definitions BK5HXMG95S

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

Mentions

wikipedia: Wikipedia Gale diagram#STY0, Definitions (definition)

History

2026-11-02: add by m2/dev

Numerical order BK5PPZ3FZQ

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

Mentions

wikipedia: Wikipedia Sequence#VOHV, Numerical order (unknown)

History

2026-11-02: add by m2/dev

BK64NHM3B9 BK64NHM3B9

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

Mentions

arxiv: arXiv 2610.16779#93SV (statement). In 1R7H0ZAHWA/e1, theorem 4.9

History

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

BK68PSYTSK BK68PSYTSK

URI	`m2://inv/BK68PSYTSK`
Kind	example
Layer	research
MSC	18-XX, 49-XX, 51-XX, 52-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 1904.08413#0I1E (example). In X88HPQ0W8C/e1, example 2.16

History

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

BK6D2SDXNZ BK6D2SDXNZ

URI	`m2://inv/BK6D2SDXNZ`
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.08382#DB5R (statement). In GYMGDQS25R/e1, lemma 4.1

History

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

Smooth bundle metric BK6RGYVC0H

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

Mentions

mathlib_overview: mathlib_overview Geometry > Riemannian manifolds > Smooth bundle metric, Smooth bundle metric (unknown). Also Mathlib Bundle.ContMDiffRiemannianMetric

History

2026-10-26: add by m2/dev

BK6S3J0HPW BK6S3J0HPW

URI	`m2://inv/BK6S3J0HPW`
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.35095#FHGN (statement). In MM3XTWS35F/e1, proposition 2

History

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

Talagrand's Inequality BK6SH1A9FK

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

Mentions

arxiv: arXiv 2610.15111#W6Q5, Talagrand's Inequality (statement). In 6RE6JYE4GP/e1, theorem F.5

History

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

Examples BK6TZCBFC9

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

Mentions

wikipedia: Wikipedia Denjoy–Carleman–Ahlfors theorem#I3ZN, Examples (example)

History

2026-11-02: add by m2/dev

Torus-based cryptography BK70T6AQD9

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

Mentions

wikipedia: Wikipedia Torus-based cryptography, Torus-based cryptography (definition). Also Wikidata Q7827448

History

2026-11-02: add by m2/dev

Failure of Liv\v{s}ic regularity on $X_\alpha$ BK755QXDGT

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

Mentions

arxiv: arXiv 2610.03619#MWEY, Failure of Liv\v{s}ic regularity on $X_\alpha$ (statement). In 7SRERSS1PF/e1, corollary 6.4

History

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

BK76J7GCEE BK76J7GCEE

URI	`m2://inv/BK76J7GCEE`
Kind	statement
Layer	research
MSC	26-XX, 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 0709.4546#U8O6 (statement). In 7H5Q5M7W96/e1, theorem 2.4

History

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

BK77JF0BCB BK77JF0BCB

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

Mentions

arxiv: arXiv 2609.29748#F2EI (definition)

History

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

BK7GF7RTQT BK7GF7RTQT

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

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 35.1

History

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

elementary column operations BK7JNWVN20

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

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > elementary column operations, elementary column operations (unknown)

History

2026-10-26: add by m2/dev

BK7P4ZBD8S BK7P4ZBD8S

URI	`m2://inv/BK7P4ZBD8S`
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#DFSO (statement). In SN9RSTHQ07/e1, theorem H.3

History

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

BK7W0BPQ9C BK7W0BPQ9C

URI	`m2://inv/BK7W0BPQ9C`
Kind	statement
Layer	research
MSC	20-XX, 22-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 2610.14045#5Z29 (statement). In KZ71GXT2B0/e1, corollary 2.17

History

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

BK7XCE6WNK BK7XCE6WNK

URI	`m2://inv/BK7XCE6WNK`
Kind	statement
Layer	research
MSC	35-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.01653#R5MD (statement). In WZMHJCQPB2/e1, lemma 3.1

History

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

trapezoid rule, error BK7ZVHENTW

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

Mentions

active_calculus: active_calculus index/5.6.2/trapezoid-rule-error, trapezoid rule, error (concept). In 907G4C4EJ1, index, section 5.6.2

History

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

BK801PGYEM BK801PGYEM

URI	`m2://inv/BK801PGYEM`
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.00770#GC9S (statement). In AYGRJSRG1M/e1, lemma

History

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

BK81NGCVKH BK81NGCVKH

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

Mentions

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

History

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

BK8HJ0CH5Y BK8HJ0CH5Y

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_intro-sets.ptx#example-3 (example). In Y91XFCEVHQ, example, section 1.3.2

History

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

Survivorship bias BK8MWGHQDP

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

Mentions

wikipedia: Wikipedia List of statistics articles#R5EJ, Survivorship bias (definition)

History

2026-11-02: add by m2/dev

Analysis of categorical data BK8S2VQ9YT

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

Mentions

wikipedia: Wikipedia List of statistics articles#T3TO, Analysis of categorical data (topic)

History

2026-11-02: add by m2/dev

Two-point function $x$-space asymptotics BK8T2CTV1B

URI	`m2://inv/BK8T2CTV1B`
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 1905.02785#TE12, Two-point function $x$-space asymptotics (statement). In PF9KV74Q02/e1, theorem 1.5

History

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

Shabnam Akhtari BK8V6Q561Q

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

Mentions

wikipedia: Wikipedia Shabnam Akhtari, Shabnam Akhtari (topic). Also Wikidata Q102085128

History

2026-11-02: add by m2/dev

Discrete second moment BK8VK3GCJG

URI	`m2://inv/BK8VK3GCJG`
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.22107#4G7G, Discrete second moment (statement). In SN5RJPQ713/e1, corollary 1.4

History

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

Definitions BK8W7VBBTC

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

Mentions

wikipedia: Wikipedia Flat cover#WJON, Definitions (definition)

History

2026-11-02: add by m2/dev

BK90KXY9D1 BK90KXY9D1

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

Mentions

arxiv: arXiv 2610.04325#LOI5 (statement). In 42XHT97E64/e1, proposition 8.7

History

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

BK93A8A9XE BK93A8A9XE

URI	`m2://inv/BK93A8A9XE`
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#XLTC (statement). In CY1FE8W1ZW/e1, lemma 0.164

History

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

Jacobsthal-Lucas number BK9FCB1EJY

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

Mentions

wikipedia: Wikipedia Jacobsthal number#HJDF, Jacobsthal-Lucas number (unknown)

History

2026-11-02: add by m2/dev

BK9FPVGKNF BK9FPVGKNF

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

Mentions

hott_book: hott_book categories.tex#ct:natiso (statement). In N54F33XE07, lem, section 2.2

History

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

Exploratory data analysis BK9GHFNMKX

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

Mentions

wikipedia: Wikipedia Exploratory data analysis, Exploratory data analysis (definition). Also Wikidata Q1322871

History

2026-11-02: add by m2/dev

BK9VDADZM4 BK9VDADZM4

URI	`m2://inv/BK9VDADZM4`
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.40261#V2MM (statement). In KAVANCCYJW/e1, proposition 2

History

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

BKA0QXPEPF BKA0QXPEPF

URI	`m2://inv/BKA0QXPEPF`
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.28669#MURG (statement)

History

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

Examples BKA8TF9WG8

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

Mentions

wikipedia: Wikipedia Spontaneous symmetry breaking#BTIJ, Examples (example)

History

2026-11-02: add by m2/dev

BKANE3KH5D BKANE3KH5D

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

Mentions

arxiv: arXiv 2609.38068#79UP (statement). In 67GE5M1GGD/e1, theorem 7.10

History

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

Basic properties BKAP3ADPEH

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

Mentions

wikipedia: Wikipedia Modular arithmetic#WXGT, Basic properties (statement)

History

2026-11-02: add by m2/dev

Rearrangement inequality BKAQ1XXVJJ

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

Mentions

wikipedia: Wikipedia List of inequalities#HURN, Rearrangement inequality (statement)

History

2026-11-02: add by m2/dev

BKAVWXWSAC BKAVWXWSAC

URI	`m2://inv/BKAVWXWSAC`
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.40345#UH2T (statement). In WK0PT95WW1/e1, proposition 5.13

History

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

BKAY3A7V1A BKAY3A7V1A

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

Mentions

arxiv: arXiv 2309.15228#C3RV (statement). In 4778KMFZAF/e1, theorem 3.8

History

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

Finite geometry BKAZ6STH97

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#HRPN, Finite geometry (definition)

History

2026-11-02: add by m2/dev

BKB73BZH1Q BKB73BZH1Q

URI	`m2://inv/BKB73BZH1Q`
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.39103#LD77 (statement). In VGB0N93ES8/e1, lemma 7

History

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

ISO Prolog BKB7BT2A1T

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

Mentions

wikipedia: Wikipedia Prolog#3T9R, ISO Prolog (unknown)

History

2026-11-02: add by m2/dev

BKBFFQFA69 BKBFFQFA69

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

Mentions

arxiv: arXiv 2508.21045#9WLH (statement). In CGA36VE1C5/e1, lemma 4.2.1

History

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

BKBFY8FFZ1 BKBFY8FFZ1

URI	`m2://inv/BKBFY8FFZ1`
Kind	definition
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.20516#Y11Z (definition)

History

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

BKBN44RQ88 BKBN44RQ88

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

Mentions

arxiv: arXiv 2609.23119#JV82 (statement)

History

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

BKBXGY6Y2Q BKBXGY6Y2Q

URI	`m2://inv/BKBXGY6Y2Q`
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.15352#NMHP (statement). In R39P7AFXM8/e1, proposition A.1

History

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

Applications BKBYJ5VZCB

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

Mentions

wikipedia: Wikipedia Kripke–Platek set theory with urelements#HP03, Applications (example)

History

2026-11-02: add by m2/dev

(Nigeria #1) BKC22KQERR

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#06PG, (Nigeria #1) (unknown)

History

2026-11-02: add by m2/dev

Trustico BKC95MWDXQ

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

Mentions

wikipedia: Wikipedia Trustico, Trustico (definition). Also Wikidata Q55636257

History

2026-11-02: add by m2/dev

A finite Rademacher-Menshov inequality BKC95W8WVD

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

Mentions

arxiv: arXiv 2609.33957#5G55, A finite Rademacher-Menshov inequality (statement). In KG6V5AN3PK/e1, theorem 2.2

History

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

BKC9C6EDN4 BKC9C6EDN4

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

Mentions

arxiv: arXiv 2609.24917#19QH (statement)

History

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

BKCAG9SF5Z BKCAG9SF5Z

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

Mentions

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

History

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

Attainable error with bounded matrix norm BKCG941B9T

URI	`m2://inv/BKCG941B9T`
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.32652#LM6B, Attainable error with bounded matrix norm (statement). In 6KAZWJ8RFX/e1, proposition 5.9

History

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

BKCRK5FM5Z BKCRK5FM5Z

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

Mentions

arxiv: arXiv 2610.08226#863F (statement). In V6EPE8XHAD/e1, lemma 6.7

History

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

Rudi Bakhtiar BKCRPJPF36

URI	`m2://inv/BKCRPJPF36`
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#HTBV, Rudi Bakhtiar (unknown)

History

2026-11-02: add by m2/dev

Logic alphabet BKCXDTS02Q

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

Mentions

wikipedia: Wikipedia Logic alphabet, Logic alphabet (definition). Also Wikidata Q6667449

History

2026-11-02: add by m2/dev

BKCXWDRM95 BKCXWDRM95

URI	`m2://inv/BKCXWDRM95`
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.11671#8WKL (statement). In V06H8BAGEH/e1, proposition 5.1

History

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

BKD226G064 BKD226G064

URI	`m2://inv/BKD226G064`
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 2110.08714#0UG9 (statement). In A3RAXBSWA5/e1, corollary 2.4

History

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

BKD35SN46W BKD35SN46W

URI	`m2://inv/BKD35SN46W`
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.28046#E2CX (statement)

History

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

Gödel metric BKDD70CTFJ

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

Mentions

wikipedia: Wikipedia Gödel metric, Gödel metric (definition). Also Wikidata Q1559192

History

2026-11-02: add by m2/dev

Edwards addition law BKDDGMFGJ8

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

Mentions

wikipedia: Wikipedia Edwards curve#CQ5S, Edwards addition law (statement)

History

2026-11-02: add by m2/dev

Peter James Lorimer BKDG4RKFT2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HFH0, Peter James Lorimer (topic)

History

2026-11-02: add by m2/dev

BKDTFR3KP7 BKDTFR3KP7

URI	`m2://inv/BKDTFR3KP7`
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 2609.35844#6RLP (statement). In V33HFE8TZT/e1, fact 1

History

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

BKDYNY19FD BKDYNY19FD

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-4.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 2.4

History

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

BKE71FKAQ3 BKE71FKAQ3

URI	`m2://inv/BKE71FKAQ3`
Kind	statement
Layer	research
MSC	54-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.33841#S7X7 (statement). In 3CVQHT206K/e1, theorem 4.1

History

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

BKE74GC89A BKE74GC89A

URI	`m2://inv/BKE74GC89A`
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 2110.08714#2VFG (statement). In A3RAXBSWA5/e1, proposition 2.3

History

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

Example BKE9DE1HCZ

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

Mentions

wikipedia: Wikipedia Pixel connectivity#HHP3, Example (example)

History

2026-11-02: add by m2/dev

Applications BKEBAXQV3F

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

Mentions

wikipedia: Wikipedia Algebraic geometry#3IP3, Applications (example)

History

2026-11-02: add by m2/dev

Curvature of curves on surfaces BKEBV6E6VT

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

Mentions

wikipedia: Wikipedia Curvature#0H19, Curvature of curves on surfaces (unknown)

History

2026-11-02: add by m2/dev

Properties BKECZJ8QPA

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

Mentions

wikipedia: Wikipedia Isotomic conjugate#EA0A, Properties (statement)

History

2026-11-02: add by m2/dev

BKEEEF65ZJ BKEEEF65ZJ

URI	`m2://inv/BKEEEF65ZJ`
Kind	statement
Layer	research
MSC	14-XX, 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.09295#QSEP (statement). In 29X0B511NF/e1, corollary 1.2

History

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

BKEGB54214 BKEGB54214

URI	`m2://inv/BKEGB54214`
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 1512.06981#Q1SN (statement). In X923ZEY423/e1, lemma 1.3.1

History

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

BKET04H767 BKET04H767

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

Mentions

arxiv: arXiv 2610.01915#5T1P (statement). In 6HJQXZS0A6/e1, proposition 4.9

History

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

BKET8S4GGZ BKET8S4GGZ

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

Mentions

napkin: napkin tex/measure/martingale.tex#definition-4 (definition). In RZP28ERRZV, definition, section 66.3

History

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

BKEXPRWW7P BKEXPRWW7P

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

Mentions

arxiv: arXiv 2610.13898#XV72 (definition). In 44EVK9BPC9/e1, definition 1.10

History

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

Examples BKEZ3TC97D

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

Mentions

wikipedia: Wikipedia Principal series representation#9N13, Examples (example)

History

2026-11-02: add by m2/dev

Axioms and semantics BKF1DXTW1E

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

Mentions

wikipedia: Wikipedia Predicate functor logic#2LUV, Axioms and semantics (statement)

History

2026-11-02: add by m2/dev

BKF1G91S3D BKF1G91S3D

URI	`m2://inv/BKF1G91S3D`
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.29531#R6MT (statement)

History

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

Normally distributed and uncorrelated does not imply independent BKF1HGBAJ0

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

Mentions

wikipedia: Wikipedia List of mathematical examples#2Z48, Normally distributed and uncorrelated does not imply independent (definition)

History

2026-11-02: add by m2/dev

Parallel Colt BKF52TDR20

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#S6TY, Parallel Colt (unknown)

History

2026-11-02: add by m2/dev

Definition BKFFJTKHFN

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

Mentions

wikipedia: Wikipedia Radian#8SBM, Definition (definition)

History

2026-11-02: add by m2/dev

BKFJ472ZNA BKFJ472ZNA

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

Mentions

open_logic: open_logic content/second-order-logic/syntax-and-semantics/expressive-power.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 67.1

History

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

restate=thmPhi, label=thm:semiring-hom-congruence BKFK5SZJ82

URI	`m2://inv/BKFK5SZJ82`
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.07927#TQOC, restate=thmPhi, label=thm:semiring-hom-congruence (statement). In GKM19DHQTM/e1, theorem 3.1

History

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

Variants BKFNH2DTTP

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

Mentions

wikipedia: Wikipedia Behrens–Fisher problem#DGUR, Variants (statement)

History

2026-11-02: add by m2/dev

Procedure BKFPDJKMYZ

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

Mentions

wikipedia: Wikipedia Quantum inverse scattering method#7DCG, Procedure (definition)

History

2026-11-02: add by m2/dev

First Hill, Seattle BKFZ9FZSAD

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

Mentions

wikipedia: Wikipedia List of places with numeric names#VRPD, First Hill, Seattle (unknown)

History

2026-11-02: add by m2/dev

BKG0J4QS6S BKG0J4QS6S

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

Mentions

arxiv: arXiv 2503.01567#BJ8C (statement). In GB0V23Q6C5/e1, proposition 3.6

History

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

Local basis BKG332F7PS

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

Mentions

wikipedia: Wikipedia Glossary of general topology#Q3WI, Local basis (definition)

History

2026-11-02: add by m2/dev

Computed values for the primal certificate BKGDW4ZPPA

URI	`m2://inv/BKGDW4ZPPA`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#1FNL, Computed values for the primal certificate (statement). In JY6RYSNXMJ/e1, proposition 11

History

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

derivatives of Dirac measures BKGF0R1HA8

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

Mentions

mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > derivatives of Dirac measures, derivatives of Dirac measures (unknown)

History

2026-10-26: add by m2/dev

BKGMKQS96W BKGMKQS96W

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

Mentions

arxiv: arXiv 2610.18847#4RZC (definition). In DZ12XTTJSM/e1, definition 2.6

History

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

Limiting cases BKGXJ3VS01

URI	`m2://inv/BKGXJ3VS01`
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.18935#4DS5, Limiting cases (statement). In HPEEJY1S3S/e1, proposition 2

History

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

Contour line BKGZ2TB2W8

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

Mentions

wikipedia: Wikipedia List of numerical computational geometry topics#VTL0, Contour line (definition)
wikipedia: Wikipedia List of curves topics#KM5E, Contour line (definition)
wikipedia: Wikipedia List of multivariable calculus topics#X2M3, Contour line (definition)

History

2026-11-02: add by m2/dev

BKH3CQ3RPQ BKH3CQ3RPQ

URI	`m2://inv/BKH3CQ3RPQ`
Kind	definition
Layer	research
MSC	03-XX, 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.33856#8ZAF (definition). In 47WN78VDDF/e1, definition 4.4

History

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

Suboptimality from wasteful transport BKH5H03ZQR

URI	`m2://inv/BKH5H03ZQR`
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.31363#D9RW, Suboptimality from wasteful transport (statement). In XB8NYRD86J/e1, proposition 3.2

History

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

Variations BKH5RQ4YPM

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

Mentions

wikipedia: Wikipedia Chen's theorem#9060, Variations (statement)

History

2026-11-02: add by m2/dev

BKHEG2P8J9 BKHEG2P8J9

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

Mentions

arxiv: arXiv 2609.31278#QMFT (statement). In KEP21CZFV9/e1, corollary #1

History

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

Peter Coles BKHHRTX5Q9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QUFL, Peter Coles (unknown)

History

2026-11-02: add by m2/dev

BKHM556AA7 BKHM556AA7

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

Mentions

arxiv: arXiv 2610.06326#13ZD (definition). In DPR6B6X0JX/e1, definition 1

History

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

BKHV2KYV7W BKHV2KYV7W

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

Mentions

arxiv: arXiv 2609.27931#TTZC (statement)

History

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

BKHVXH388F BKHVXH388F

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-199 (exercise). In VNMV985MXX, exercise, section 3.4

History

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

Applications BKJ3GYTJ9Q

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

Mentions

wikipedia: Wikipedia Cluster analysis#P0LK, Applications (example)

History

2026-11-02: add by m2/dev

David Gieseker BKJ7T31GW8

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

Mentions

wikipedia: Wikipedia David Gieseker, David Gieseker (topic). Also Wikidata Q15804786

History

2026-11-02: add by m2/dev

Morley’s Theorem BKJD1FBG8Y

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

Mentions

mathlib_100: mathlib_100 84, Morley’s Theorem (statement)

History

2026-10-26: add by m2/dev

Applications BKJJV3JWE9

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

Mentions

wikipedia: Wikipedia Rouché's theorem#YYT0, Applications (example)

History

2026-11-02: add by m2/dev

BKJMETH3BC BKJMETH3BC

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

Mentions

arxiv: arXiv 2610.01433#CO5U (definition). In 160PQ7F1AS/e1, definition 3.15

History

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

Gill, Richard D. BKJNR297JC

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

Mentions

wikipedia: Wikipedia List of statisticians#U9JX, Gill, Richard D. (topic)

History

2026-11-02: add by m2/dev

Littlewood-Paley g-function BKJQK970A9

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

Mentions

wikipedia: Wikipedia Littlewood–Paley theory#5UMF, Littlewood-Paley g-function (unknown)

History

2026-11-02: add by m2/dev

Examples BKJYPKPYVJ

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

Mentions

wikipedia: Wikipedia Horn-satisfiability#HP0G, Examples (example)

History

2026-11-02: add by m2/dev

Six circles theorem BKK1CSJBZF

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

Mentions

wikipedia: Wikipedia List of theorems#WCDR, Six circles theorem (statement)

History

2026-11-02: add by m2/dev

Aban numbers BKK1EVFSE5

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

Mentions

wikipedia: Wikipedia Ban number#PZ2Q, Aban numbers (unknown)

History

2026-11-02: add by m2/dev

BKK8DRF9N4 BKK8DRF9N4

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

Mentions

arxiv: arXiv 2610.01737#YK5F (statement). In M4JGP708F4/e1, proposition 4.2

History

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

Civic statistics BKK8V9TXXV

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

Mentions

wikipedia: Wikipedia List of statistics articles#AAYU, Civic statistics (definition)

History

2026-11-02: add by m2/dev

BKKA619EV2 BKKA619EV2

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

History

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

Inter-rater reliability BKKFJCHQ94

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

Mentions

wikipedia: Wikipedia Inter-rater reliability, Inter-rater reliability (definition). Also Wikidata Q470749

History

2026-11-02: add by m2/dev

Properties BKKJ0QB247

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

Mentions

wikipedia: Wikipedia Fractional Fourier transform#WYXA, Properties (statement)

History

2026-11-02: add by m2/dev

Geometric phase analysis BKKJFFQ5A9

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

Mentions

wikipedia: Wikipedia Geometric phase analysis, Geometric phase analysis (definition). Also Wikidata Q19597282

History

2026-11-02: add by m2/dev

BKKJSR47Y7 BKKJSR47Y7

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

Mentions

arxiv: arXiv 2609.36321#HAOU (example). In 3KTZ6Z615H/e1, example 7.2

History

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

Angular Fourier-Bessel integral BKM00XGZ3B

URI	`m2://inv/BKM00XGZ3B`
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 2609.26537#I228, Angular Fourier-Bessel integral (statement)

History

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

BKM110S5KC BKM110S5KC

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

Mentions

applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-19 (exercise). In QKM9DD2H56, exercise, section 6

History

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

Reflection inequality BKM35R85KD

URI	`m2://inv/BKM35R85KD`
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.24931#Y082, Reflection inequality (statement)

History

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

First proof BKM4EN5PV2

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

Mentions

hott_book: hott_book categories.tex#proof-31, First proof (proof). In N54F33XE07, proof, section 2.9

History

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

Finite support at the optimal factor BKMAZTM19F

URI	`m2://inv/BKMAZTM19F`
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.15125#KLZE, Finite support at the optimal factor (statement). In V5GT8NJKCM/e1, lemma C.2

History

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

Applications BKMCKF07QP

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

Mentions

wikipedia: Wikipedia Data sonification#PDAK, Applications (example)

History

2026-11-02: add by m2/dev

BKMNVNYNZW BKMNVNYNZW

URI	`m2://inv/BKMNVNYNZW`
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.32338#DTY5 (definition). In HVY45JQRNK/e1, definition 1.1

History

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

BKMPEE1T2E BKMPEE1T2E

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

Mentions

arxiv: arXiv 2609.26357#3PKF (definition)

History

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

Shapley–Folkman lemma BKMWJEGYTB

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

Mentions

wikipedia: Wikipedia Shapley–Folkman lemma#E29F, Shapley–Folkman lemma (statement)

History

2026-11-02: add by m2/dev

BKMXG7AZA2 BKMXG7AZA2

URI	`m2://inv/BKMXG7AZA2`
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.17817#UUE5 (statement). In M8TSJ24RC2/e1, lemma 4.7

History

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

Pappus' law BKN3Z0508G

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

Mentions

wikipedia: Wikipedia Affine geometry#D5LQ, Pappus' law (statement)

History

2026-11-02: add by m2/dev

Generalizations BKNC3WJTNM

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

Mentions

wikipedia: Wikipedia Majorization#C4A9, Generalizations (statement)

History

2026-11-02: add by m2/dev

Boolean prime ideal theorem BKNER2GS49

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

Mentions

mathlib_1000: mathlib_1000 Q872088, Boolean prime ideal theorem (statement). Also Mathlib DistribLattice.prime_ideal_of_disjoint_filter_ideal, Wikidata Q872088
thousand_plus: thousand_plus Q872088, Boolean prime ideal theorem (statement). Also Wikidata Q872088, Wikipedia Boolean prime ideal theorem
wikipedia: Wikipedia Boolean prime ideal theorem, Boolean prime ideal theorem (statement). Also Wikidata Q872088

History

2026-10-26: add by m2/dev

BKNH7X3SEN BKNH7X3SEN

URI	`m2://inv/BKNH7X3SEN`
Kind	statement
Layer	research
MSC	03-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.05986#6O1C (statement). In N5ZM8MXJXH/e1, theorem 5.12

History

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

OpenBUGS BKNP3D9D6R

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

Mentions

wikipedia: Wikipedia List of statistics articles#3S24, OpenBUGS (definition)

History

2026-11-02: add by m2/dev

BKNS30NWKZ BKNS30NWKZ

URI	`m2://inv/BKNS30NWKZ`
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.22777#CKRJ (statement)

History

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

BKP4W3P93E BKP4W3P93E

URI	`m2://inv/BKP4W3P93E`
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.09729#DMPJ (statement). In 7CDD4HCYTV/e1, lemma 2.1

History

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

Foundations of Science BKP75G2RZE

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

Mentions

wikipedia: Wikipedia Foundations of Science, Foundations of Science (topic). Also Wikidata Q5474571

History

2026-11-02: add by m2/dev

Markus Rost BKPAMA3GFS

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

Mentions

wikipedia: Wikipedia Markus Rost, Markus Rost (topic). Also Wikidata Q91639

History

2026-11-02: add by m2/dev

sample BKPCV54EH9

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#C4MW, sample (definition)

History

2026-11-02: add by m2/dev

BKPHB15GH5 BKPHB15GH5

URI	`m2://inv/BKPHB15GH5`
Kind	statement
Layer	research
MSC	14-XX, 16-XX, 18-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 2605.02634#KTSH (statement). In EZ6PAF0MXH/e1, theorem

History

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

cos + sin BKPQ0GPYPB

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#CQ0P, cos + sin (definition)

History

2026-11-02: add by m2/dev

NOR BKPWAAA94B

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

Mentions

wikipedia: Wikipedia List of rules of inference#5JME, NOR (unknown)

History

2026-11-02: add by m2/dev

Gennady Belyi BKPWTFNMGA

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

Mentions

wikipedia: Wikipedia Gennady Belyi, Gennady Belyi (topic). Also Wikidata Q1502394

History

2026-11-02: add by m2/dev

Interior algebra BKPX744AED

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

Mentions

wikipedia: Wikipedia Interior algebra, Interior algebra (definition). Also Wikidata Q10894825

History

2026-11-02: add by m2/dev

Galois extension BKPY5X5W7H

URI	`m2://inv/BKPY5X5W7H`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Galois extension 0DS2F7GK05

Mentions

wikidata: Wikidata Q2020004, Galois extension (definition). Also EoM Galois_extension, MathWorld GaloisExtension, MathWorld GaloisExtensionField, nLab Galois extension, ProofWiki Definition:Galois_Extension
wikipedia: Wikipedia Galois extension, Galois extension (definition). Also Wikidata Q2020004

History

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

Characterizations BKQ11P9AS0

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

Mentions

wikipedia: Wikipedia Moufang plane#043J, Characterizations (statement)

History

2026-11-02: add by m2/dev

BKQ26MKEXP BKQ26MKEXP

URI	`m2://inv/BKQ26MKEXP`
Kind	example
Layer	research
MSC	20-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 2503.00560#040M (example). In KH1H3TSWPS/e1, example 4.2

History

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

Applications BKQBG23JF4

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

Mentions

wikipedia: Wikipedia Monte Carlo method#XVK3, Applications (example)

History

2026-11-02: add by m2/dev

Cook's distance BKQD6QB1W8

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

Mentions

wikipedia: Wikipedia List of statistics articles#GVSH, Cook's distance (definition)

History

2026-11-02: add by m2/dev

Michael H. Albert BKQE0P0400

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#SZ1T, Michael H. Albert (unknown)

History

2026-11-02: add by m2/dev

Volumetric path tracing BKQGG1HVGQ

URI	`m2://inv/BKQGG1HVGQ`
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#8QSK, Volumetric path tracing (unknown)

History

2026-11-02: add by m2/dev

Edward Wright BKQM79X06P

URI	`m2://inv/BKQM79X06P`
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#0FHE, Edward Wright (unknown)

History

2026-11-02: add by m2/dev

Artinian BKQMPH79SC

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#2JW5, Artinian (definition)

History

2026-11-02: add by m2/dev

Stage-1 KL divergence contribution BKQQKPTDJD

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

Mentions

arxiv: arXiv 2610.14498#S7P0, Stage-1 KL divergence contribution (statement). In 81YXGYETE4/e1, theorem 3

History

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

quantifier, universal BKQQS5WV9K

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

Mentions

hott_book: hott_book index/9.7/quantifier-universal, quantifier, universal (concept). In N54F33XE07, index, section 9.7

History

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

Recall bias BKQQY1X70H

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

Mentions

wikipedia: Wikipedia Recall bias, Recall bias (definition). Also Wikidata Q492762

History

2026-11-02: add by m2/dev

Simon B. Kochen BKQT1KX2FY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#PDYW, Simon B. Kochen (unknown)

History

2026-11-02: add by m2/dev

BKQT351JK8 BKQT351JK8

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#proof-15 (proof). In E59CDZA4DP, proof, section 2.4.2

History

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

Virtually fibered conjecture and Virtually Haken conjecture BKQZ3HTEN4

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

Mentions

wikipedia: Wikipedia 3-manifold#TVSH, Virtually fibered conjecture and Virtually Haken conjecture (statement)

History

2026-11-02: add by m2/dev

Adaptive selection and local cost BKR0P3K740

URI	`m2://inv/BKR0P3K740`
Kind	statement
Layer	research
MSC	49-XX, 65-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.34025#PR6I, Adaptive selection and local cost (statement). In VCG579E7MM/e1, lemma 4

History

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

Factor regression model BKR7A3JNFG

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

Mentions

wikipedia: Wikipedia Factor regression model, Factor regression model (definition). Also Wikidata Q5428730

History

2026-11-02: add by m2/dev

Edward Witten BKR8ANKNMG

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#Y9OF, Edward Witten (topic)

History

2026-11-02: add by m2/dev

BKR8WD3RT5 BKR8WD3RT5

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

Mentions

arxiv: arXiv 2609.03601#ZTLP (statement). In F7TDYCHCSE/e1, lemma 8.6

History

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

DeGroot learning BKRDS2Q1DT

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

Mentions

wikipedia: Wikipedia DeGroot learning, DeGroot learning (definition). Also Wikidata Q5243912

History

2026-11-02: add by m2/dev

Properties BKRF4WCMPT

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

Mentions

wikipedia: Wikipedia Lattice disjoint#0YZO, Properties (statement)

History

2026-11-02: add by m2/dev

Censoring (statistics) BKRQ7BAHCS

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

Mentions

wikipedia: Wikipedia List of statistics articles#HZGY, Censoring (statistics) (definition)

History

2026-11-02: add by m2/dev

BKRV177RYZ BKRV177RYZ

URI	`m2://inv/BKRV177RYZ`
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.14323#47KE (statement). In VAWEP32BEX/e1, lemma 4.1

History

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

BKRVM2TDV7 BKRVM2TDV7

URI	`m2://inv/BKRVM2TDV7`
Kind	definition
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.11679#PSJ8 (definition). In 30PZ8ZVR3A/e1, definition

History

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

Definitions BKRXAZ9XCF

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

Mentions

wikipedia: Wikipedia Regular sequence#B772, Definitions (definition)

History

2026-11-02: add by m2/dev

Tournament operator BKS023NDG4

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

Mentions

arxiv: arXiv 2610.10840#A0JY, Tournament operator (definition). In JSJQEPY71E/e1, definition 3.6

History

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

BKS2NT2K06 BKS2NT2K06

URI	`m2://inv/BKS2NT2K06`
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#FJTO (statement). In 3F83V6VKKA/e1, proposition 3.9

History

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

BKS6SC5EWE BKS6SC5EWE

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

Mentions

arxiv: arXiv 2609.22847#RY9R (statement)

History

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

BKS6TW3R2B BKS6TW3R2B

URI	`m2://inv/BKS6TW3R2B`
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.08567#0B5Q (statement). In CMJE9V2BJ0/e1, lemma 3.2

History

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

Union graph BKSGYQQS4G

URI	`m2://inv/BKSGYQQS4G`
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.14988#MNSU, Union graph (definition). In B29M4E6KGC/e1, definition D.1

History

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

BKSHKQB7C0 BKSHKQB7C0

URI	`m2://inv/BKSHKQB7C0`
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.07673#Q5SS (statement). In 37B1MPV8GX/e1, lemma 7.3

History

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

Leonhard Sohncke BKSPNR6CKC

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

Mentions

wikipedia: Wikipedia Leonhard Sohncke, Leonhard Sohncke (topic). Also Wikidata Q84370

History

2026-11-02: add by m2/dev

Forbidding $H_8$ BKSRWW6XBR

URI	`m2://inv/BKSRWW6XBR`
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 2609.31331#ZIS0, Forbidding $H_8$ (statement). In TWB64HRHWZ/e1, lemma 8

History

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

BKSTP529XG BKSTP529XG

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

Mentions

arxiv: arXiv 2610.15525#2LMM (definition). In EFDRME13PT/e1, definition 2.5

History

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

BKSY6XK5AX BKSY6XK5AX

URI	`m2://inv/BKSY6XK5AX`
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 2011.14561#TFUR (statement). In V2XJJJX1Z8/e1, lemma 2.2

History

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

W. B. R. Lickorish BKT0V01ZTN

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

Mentions

wikipedia: Wikipedia W. B. R. Lickorish, W. B. R. Lickorish (topic). Also Wikidata Q2536643

History

2026-11-02: add by m2/dev

Louis Locher BKT4GW89G7

URI	`m2://inv/BKT4GW89G7`
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#ILZ9, Louis Locher (unknown)

History

2026-11-02: add by m2/dev

BKT4VEA005 BKT4VEA005

URI	`m2://inv/BKT4VEA005`
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.20687#OJHN (statement)

History

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

Quadratic law BKTH81ETDG

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

Mentions

wikipedia: Wikipedia Darcy's law#IWWR, Quadratic law (statement)

History

2026-11-02: add by m2/dev

Flux consistency BKTXY921PD

URI	`m2://inv/BKTXY921PD`
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.22063#QRN1, Flux consistency (statement). In JHK0EAV79D/e1, lemma 2

History

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

BKV03V6Q9A BKV03V6Q9A

URI	`m2://inv/BKV03V6Q9A`
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.03384#MBSP (statement). In J55JTTKG84/e1, proposition 3.6

History

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

Codd's theorem BKV8WMTC42

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

Mentions

wikipedia: Wikipedia List of theorems#GB7A, Codd's theorem (statement)

History

2026-11-02: add by m2/dev

Saul Friedländer BKV8WS5HN0

URI	`m2://inv/BKV8WS5HN0`
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#8IE3, Saul Friedländer (unknown)

History

2026-11-02: add by m2/dev

BKVH1RXFJ6 BKVH1RXFJ6

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

Mentions

arxiv: arXiv 2610.22317#E1C6 (definition). In 2W5Z97BBW4/e1, definition 2.15

History

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

projective module BKVNN1QF9F

URI	`m2://inv/BKVNN1QF9F`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Projective module BFFA03GE3V

Mentions

wikidata: Wikidata Q942423, projective module (definition). Also EoM Projective_module, Mathlib Module.Projective, MathWorld ProjectiveModule, nLab projective module, ProofWiki Definition:Projective_Module
wikipedia: Wikipedia Projective module, Projective module (definition). Also Wikidata Q942423

History

2026-10-26: add by m2/dev

Examples BKW4JG3XW9

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

Mentions

wikipedia: Wikipedia Metric interval temporal logic#RNXO, Examples (example)

History

2026-11-02: add by m2/dev

BKW8678GQM BKW8678GQM

URI	`m2://inv/BKW8678GQM`
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.40138#DAIJ (statement). In R60HR493TS/e1, lemma 2.5

History

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

congruent number BKW9S1TM6C

URI	`m2://inv/BKW9S1TM6C`
Kind	conjecture
Layer	textbook
Sources	2
Outcome	open
Node	Congruent number problem MWMFQR8SMA

Mentions

wikidata: Wikidata Q325978, congruent number (unknown). Also MathWorld CongruentNumber, OEIS A003273
wikipedia: Wikipedia Congruent number, Congruent number (conjecture). Also Wikidata Q325978

History

2026-10-26: add by m2/dev

Krasnoselskii genus BKWCK8GYMV

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

Mentions

wikipedia: Wikipedia Krasnoselskii genus, Krasnoselskii genus (definition). Also Wikidata Q122382260

History

2026-11-02: add by m2/dev

BKWCMF9D3N BKWCMF9D3N

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

Mentions

arxiv: arXiv 2610.12108#VGB5 (statement). In JQH3FHYPW3/e1, theorem 2.15

History

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

BKWFWNNQGY BKWFWNNQGY

URI	`m2://inv/BKWFWNNQGY`
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#W0NH (statement). In HK7FV97MFD/e1, theorem 5.4

History

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

BKWHQHS8FM BKWHQHS8FM

URI	`m2://inv/BKWHQHS8FM`
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.26951#2B8K (statement)

History

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

Radon measure BKWJDY31CN

URI	`m2://inv/BKWJDY31CN`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Radon measure HZNEQQBCW4

Mentions

wikidata: Wikidata Q2126650, Radon measure (unknown). Also EoM Radon_measure, MathWorld RadonMeasure, nLab Radon measure
wikipedia: Wikipedia Radon measure, Radon measure (definition). Also Wikidata Q2126650

History

2026-10-26: add by m2/dev

Pirmin Stekeler-Weithofer BKWK026KVK

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

Mentions

wikipedia: Wikipedia Pirmin Stekeler-Weithofer, Pirmin Stekeler-Weithofer (topic). Also Wikidata Q90563

History

2026-11-02: add by m2/dev

BKWR83WWC6 BKWR83WWC6

URI	`m2://inv/BKWR83WWC6`
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.13898#VWHO (statement). In 44EVK9BPC9/e1, theorem 2.7

History

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

BKWX83FJZZ BKWX83FJZZ

URI	`m2://inv/BKWX83FJZZ`
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 1707.07744#M4JX (statement). In WAFGHHHJY9/e1, lemma 1

History

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

differentiability with respect to the complex variable BKWYTF34AY

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > differentiability with respect to the complex variable, differentiability with respect to the complex variable (unknown). Also Mathlib HasFPowerSeriesOnBall.differentiableOn

History

2026-10-26: add by m2/dev

BKX32PFSYB BKX32PFSYB

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 4.2

History

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

BKX74B5NTE BKX74B5NTE

URI	`m2://inv/BKX74B5NTE`
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.18536#Z5RF (statement). In JM5KKNKK1J/e1, lemma 3.1

History

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

BKXZ502526 BKXZ502526

URI	`m2://inv/BKXZ502526`
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 1809.06512#MUOE (statement). In RY2X22P6XW/e1, corollary 27

History

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

intermediate logic BKY4755M13

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

Mentions

wikidata: Wikidata Q5361594, intermediate logic (topic). Also EoM Intermediate_logic
wikipedia: Wikipedia Intermediate logic, Intermediate logic (definition). Also Wikidata Q5361594

History

2026-10-26: add by m2/dev

Conjugacy class sum BKYEBN3K24

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

Mentions

wikipedia: Wikipedia List of group theory topics#ZVAD, Conjugacy class sum (definition)

History

2026-11-02: add by m2/dev

The first radial eigenfunction BKYGGMKY56

URI	`m2://inv/BKYGGMKY56`
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.19908#BIIJ, The first radial eigenfunction (statement). In AS5GND6D32/e1, lemma 6

History

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

BKYJE29CYF BKYJE29CYF

URI	`m2://inv/BKYJE29CYF`
Kind	statement
Layer	research
MSC	11-XX, 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.29898#6OTI (statement)

History

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

A simple example BKYJRK7PD6

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

Mentions

wikipedia: Wikipedia Method of matched asymptotic expansions#BQO3, A simple example (example)

History

2026-11-02: add by m2/dev

BKYPTV6GQ9 BKYPTV6GQ9

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

Mentions

arxiv: arXiv 2610.15869#DR9Y (statement). In 5VRP29WZEK/e1, lemma 2.4

History

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

Cathy Kessel BKYVC257TZ

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

Mentions

wikipedia: Wikipedia Cathy Kessel, Cathy Kessel (topic). Also Wikidata Q27730337

History

2026-11-02: add by m2/dev

Examples BKYWB1AZHH

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

Mentions

wikipedia: Wikipedia Projective unitary group#74M8, Examples (example)

History

2026-11-02: add by m2/dev

Left-symmetric algebras BKYZ75QV1W

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

Mentions

arxiv: arXiv 2610.12489#R3OQ, Left-symmetric algebras (definition). In FDWFVD08SE/e1, definition 2.10

History

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

BKZ26G6G0Y BKZ26G6G0Y

URI	`m2://inv/BKZ26G6G0Y`
Kind	statement
Layer	research
MSC	26-XX, 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 0906.2853#4EVX (statement). In 32ZZ1DETCX/e1, corollary 2.17

History

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

temperature BKZ79HA2A4

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

Mentions

wikidata: Wikidata Q11466, temperature (definition). Also nLab temperature, ProofWiki Definition:Temperature
wikipedia: Wikipedia Temperature, Temperature (definition). Also Wikidata Q11466

History

2026-10-26: add by m2/dev

BKZ7R4X7A6 BKZ7R4X7A6

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

Mentions

arxiv: arXiv 2508.21045#N2Y1 (statement). In CGA36VE1C5/e1, theorem 4

History

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

Rejection sampling BKZ9ZP5RQ9

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

Mentions

wikipedia: Wikipedia List of statistics articles#8GC8, Rejection sampling (definition)

History

2026-11-02: add by m2/dev

BKZBWXG4KB BKZBWXG4KB

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

Mentions

open_logic: open_logic content/model-theory/basics/theory-of-m.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 46.8

History

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

BKZC64QFNK BKZC64QFNK

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

Mentions

open_logic: open_logic content/many-valued-logic/syntax-and-semantics/semantic-notions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 41.6

History

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

Soddy line BKZF5EPZG4

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

Mentions

wikidata: Wikidata Q3933804, Soddy line (concept). Also MathWorld SoddyLine

History

2026-10-26: add by m2/dev

BKZMARWP7V BKZMARWP7V

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

Mentions

arxiv: arXiv 0804.3628#T6LR (statement). In E2WHVW5VSD/e1, lemma 3

History

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

Parseval's identity BKZMJZ3Z5H

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

Mentions

wikipedia: Wikipedia List of mathematical identities#QWE1, Parseval's identity (statement)
wikipedia: Wikipedia List of harmonic analysis topics#5C7Y, Parseval's identity (statement)

History

2026-11-02: add by m2/dev

Nuclear operators between Banach spaces BKZRGVWJMG

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

Mentions

wikipedia: Wikipedia Nuclear operators between Banach spaces, Nuclear operators between Banach spaces (definition). Also Wikidata Q11536200

History

2026-11-02: add by m2/dev

tangent BKZTER9TRD

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

Mentions

wikipedia: Wikipedia Glossary of calculus#PNHV, tangent (definition)

History

2026-11-02: add by m2/dev

Crossing lemma BKZX2ACP9D

URI	`m2://inv/BKZX2ACP9D`
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.14154#LX9P, Crossing lemma (statement). In 8X6PXX2TRA/e1, lemma 3.7

History

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