Inventory rows BQ

Chung–Erdős inequality BQ01XBPE49

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

Mentions

wikipedia: Wikipedia List of things named after Paul Erdős#PNR4, Chung–Erdős inequality (statement)
wikipedia: Wikipedia List of probability topics#KLTF, Chung–Erdős inequality (statement)
wikipedia: Wikipedia List of inequalities#B1LH, Chung–Erdős inequality (statement)

History

2026-11-02: add by m2/dev

BQ073NTR7P BQ073NTR7P

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

Mentions

arxiv: arXiv 2610.16562#YT7A (statement). In 7QGPEBC70Y/e1, lemma 6

History

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

Charles Chapman Torrance BQ0D1YEAGZ

URI	`m2://inv/BQ0D1YEAGZ`
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#JWWX, Charles Chapman Torrance (unknown)

History

2026-11-02: add by m2/dev

BQ0H6YDN7V BQ0H6YDN7V

URI	`m2://inv/BQ0H6YDN7V`
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 2610.03420#H4VU (definition). In TG11SZZQCR/e1, definition 5.5

History

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

Sigmundur Gudmundsson BQ0KXAFCQ2

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

Mentions

wikipedia: Wikipedia Sigmundur Gudmundsson, Sigmundur Gudmundsson (topic). Also Wikidata Q19663957

History

2026-11-02: add by m2/dev

Degree centrality BQ0NGQWE6K

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

Mentions

wikipedia: Wikipedia Centrality#ARRL, Degree centrality (unknown)

History

2026-11-02: add by m2/dev

Small seeds for a general KPP reaction BQ0XZEPA3C

URI	`m2://inv/BQ0XZEPA3C`
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#9YKR, Small seeds for a general KPP reaction (statement). In BJXVV4ZF7B/e1, lemma 8.2

History

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

Spectral bound on the $\chi^2-$divergence to equilibrium BQ135XYWYH

URI	`m2://inv/BQ135XYWYH`
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.31187#NSGH, Spectral bound on the $\chi^2-$divergence to equilibrium (statement). In 2535DQ1DEG/e1, corollary 5

History

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

Questionable cause BQ16FD5185

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

Mentions

wikipedia: Wikipedia Questionable cause, Questionable cause (definition). Also Wikidata Q2917891

History

2026-11-02: add by m2/dev

BQ198GS9AR BQ198GS9AR

URI	`m2://inv/BQ198GS9AR`
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.31393#5S1S (statement). In ED0WC9Z55C/e1, theorem 1.5

History

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

Two maximal tails and their gluing BQ1AREEFD3

URI	`m2://inv/BQ1AREEFD3`
Kind	example
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.20230#XCYP, Two maximal tails and their gluing (example)

History

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

Applications BQ1CBWK3G8

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

Mentions

wikipedia: Wikipedia Free-surface modelling#AR8C, Applications (example)

History

2026-11-02: add by m2/dev

Algorithm BQ1CQ5XW98

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

Mentions

wikipedia: Wikipedia Binary search#XVBG, Algorithm (definition)

History

2026-11-02: add by m2/dev

cyclic quadrilateral BQ1DY5G6S8

URI	`m2://inv/BQ1DY5G6S8`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Cyclic quadrilateral 0CMC2KAXFS

Mentions

wikidata: Wikidata Q692086, cyclic quadrilateral (unknown). Also MathWorld CyclicQuadrilateral
wikipedia: Wikipedia Cyclic quadrilateral, Cyclic quadrilateral (definition). Also Wikidata Q692086

History

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

BQ1RF9PYF9 BQ1RF9PYF9

URI	`m2://inv/BQ1RF9PYF9`
Kind	problem
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 2508.19709#Y3GR (problem). In 57PQWSSZMY/e1, problem

History

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

BQ1SWXSTNA BQ1SWXSTNA

URI	`m2://inv/BQ1SWXSTNA`
Kind	statement
Layer	research
MSC	20-XX, 22-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 2609.25275#NV92 (statement)

History

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

prisms BQ1TXKWP0T

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

Mentions

wikipedia: Wikipedia List of uniform polyhedra#WPLZ, prisms (definition)

History

2026-11-02: add by m2/dev

Fischer-Trendelenburg debate BQ254KQE58

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

Mentions

wikipedia: Wikipedia Friedrich Adolf Trendelenburg#FXVK, Fischer-Trendelenburg debate (unknown)

History

2026-11-02: add by m2/dev

Two endpoint radii BQ25HRB5S1

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

Mentions

arxiv: arXiv 2610.05146#2ZEE, Two endpoint radii (statement). In 63MJS935N4/e1, lemma 4.7

History

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

Central composite design BQ25QFTSPH

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

Mentions

wikipedia: Wikipedia Central composite design, Central composite design (definition). Also Wikidata Q5062082

History

2026-11-02: add by m2/dev

Georges Rémoundos BQ26NRPT3S

URI	`m2://inv/BQ26NRPT3S`
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#GS17, Georges Rémoundos (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KFRL, Georges Rémoundos (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MUMS, Georges Rémoundos (topic)

History

2026-11-02: add by m2/dev

Definition BQ2J89DNNA

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

Mentions

wikipedia: Wikipedia Gammoid#87SO, Definition (definition)

History

2026-11-02: add by m2/dev

Plane (physics) BQ2MYY2YE2

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

Mentions

wikipedia: Wikipedia Euclidean planes in three-dimensional space#XZ6P, Plane (physics) (unknown)

History

2026-11-02: add by m2/dev

Applications BQ2Q7S5MDS

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

Mentions

wikipedia: Wikipedia Kingman's subadditive ergodic theorem#BCJJ, Applications (example)

History

2026-11-02: add by m2/dev

BQ2S0W38AR BQ2S0W38AR

URI	`m2://inv/BQ2S0W38AR`
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 2610.05018#FO9F (statement). In QFZSPBES9B/e1, lemma 3.12

History

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

BQ2S7AYF0J BQ2S7AYF0J

URI	`m2://inv/BQ2S7AYF0J`
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#4KMK (statement). In GWNT8HEZG1/e1, lemma 2.11

History

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

principal homogeneous space BQ2WQ82R00

URI	`m2://inv/BQ2WQ82R00`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Torsor 5CYEQY4SWR

Mentions

wikidata: Wikidata Q3755543, principal homogeneous space (unknown). Also nLab torsor
wikipedia: Wikipedia Principal homogeneous space, Principal homogeneous space (definition). Also Wikidata Q3755543

History

2026-10-26: add by m2/dev

Indiana Hoosiers women's basketball statistical leaders BQ31RX9V65

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

Mentions

wikipedia: Wikipedia Indiana Hoosiers women's basketball statistical leaders, Indiana Hoosiers women's basketball statistical leaders (definition). Also Wikidata Q124795317

History

2026-11-02: add by m2/dev

Gottfried Wilhelm Leibniz Prize BQ32GG4MRD

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

Mentions

wikipedia: Wikipedia List of things named after Gottfried Leibniz#1AX2, Gottfried Wilhelm Leibniz Prize (unknown)

History

2026-11-02: add by m2/dev

SGDM Upper Bound with Dynamic Batching BQ3B0NTD35

URI	`m2://inv/BQ3B0NTD35`
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.02355#KNW0, SGDM Upper Bound with Dynamic Batching (statement). In 1AXXV9ZT11/e1, theorem 3

History

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

Aguilera, Bagaria, Goldberg, Lücke BQ3S79XDBZ

URI	`m2://inv/BQ3S79XDBZ`
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.25291#IH12, Aguilera, Bagaria, Goldberg, Lücke (statement)

History

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

Richard Gaskin BQ3SXG0CHT

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

Mentions

wikipedia: Wikipedia Richard Gaskin, Richard Gaskin (topic). Also Wikidata Q93433324

History

2026-11-02: add by m2/dev

Spearman–Brown prediction formula BQ3VP8KV0V

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

Mentions

wikipedia: Wikipedia List of statistics articles#TX7E, Spearman–Brown prediction formula (statement)

History

2026-11-02: add by m2/dev

Locally nilpotent BQ4B37GJZ1

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

Mentions

wikipedia: Wikipedia Locally nilpotent, Locally nilpotent (definition). Also Wikidata Q6664692

History

2026-11-02: add by m2/dev

Change-of-basis formula BQ4BRBNGFB

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

Mentions

wikipedia: Wikipedia Change of basis#RRBT, Change-of-basis formula (statement)

History

2026-11-02: add by m2/dev

Applications BQ4FYNBDDD

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

Mentions

wikipedia: Wikipedia Hyperbola#D1QR, Applications (example)

History

2026-11-02: add by m2/dev

BQ4HWCDJH6 BQ4HWCDJH6

URI	`m2://inv/BQ4HWCDJH6`
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.36411#GYJO (statement). In 9QG5CND2RQ/e1, lemma 8.2

History

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

BQ4J91AVPA BQ4J91AVPA

URI	`m2://inv/BQ4J91AVPA`
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.19694#S5Z6 (statement). In EP0M4RSZ9P/e1, theorem 1.1

History

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

Aleksander Axer BQ4MNE1C80

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

Mentions

wikipedia: Wikipedia Aleksander Axer, Aleksander Axer (topic). Also Wikidata Q4714923

History

2026-11-02: add by m2/dev

BQ4W8594SH BQ4W8594SH

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

Mentions

arxiv: arXiv 2610.16657#YZ7K (statement). In SRQ37RX6MK/e1, theorem 1.2

History

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

BQ4X9EC4FM BQ4X9EC4FM

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

Mentions

arxiv: arXiv 2610.10469#J41E (statement). In Q39BEKW6D9/e1, lemma 4.3

History

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

BQ582SKCDQ BQ582SKCDQ

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

Mentions

arxiv: arXiv 1804.05688#2LD4 (definition). In M8F4PDHH3S/e1, definition 3.3

History

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

BQ593RTYVR BQ593RTYVR

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

Mentions

arxiv: arXiv 2610.08149#DM4J (statement). In E128PFR76Q/e1, lemma 2.11

History

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

Results on proximal operator BQ5APG69M4

URI	`m2://inv/BQ5APG69M4`
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.38453#TRL2, Results on proximal operator (statement). In DWKWF242Y0/e1, lemma 11

History

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

additive process BQ5ARZ7S8R

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

Mentions

wikidata: Wikidata Q96650562, additive process (unknown). Also EoM Additive_stochastic_process
wikipedia: Wikipedia Additive process, Additive process (definition). Also Wikidata Q96650562

History

2026-10-26: add by m2/dev

Sigmoid function BQ5BZJMEGN

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#8DZA, Sigmoid function (definition)

History

2026-11-02: add by m2/dev

Gordon–Newell theorem BQ5F4WYR1Z

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

Mentions

wikipedia: Wikipedia List of statistics articles#2I67, Gordon–Newell theorem (statement)

History

2026-11-02: add by m2/dev

Arithmetization of analysis BQ5HSZ6T6M

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#8SGD, Arithmetization of analysis (definition)
wikipedia: Wikipedia List of mathematics history topics#HF4A, Arithmetization of analysis (definition)

History

2026-11-02: add by m2/dev

Dade isometry BQ64SET48S

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

Mentions

wikipedia: Wikipedia Dade isometry, Dade isometry (definition). Also Wikidata Q5208047

History

2026-11-02: add by m2/dev

BQ64WR636Q BQ64WR636Q

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

Mentions

wikidata: Wikidata Q114705695 (topic)

History

2026-10-26: add by m2/dev

Paul Biran BQ665P73M7

URI	`m2://inv/BQ665P73M7`
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#MMAG, Paul Biran (topic)

History

2026-11-02: add by m2/dev

Fake 4-ball BQ66MT86NX

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

Mentions

wikipedia: Wikipedia List of topologies#SXH7, Fake 4-ball (definition)

History

2026-11-02: add by m2/dev

Almost CR-M\"obius maps BQ68HTMGDF

URI	`m2://inv/BQ68HTMGDF`
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.28014#K4L5, Almost CR-M\"obius maps (definition)

History

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

Chuprov, Alexander Alexandrovich BQ68KPVT81

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

Mentions

wikipedia: Wikipedia List of statisticians#T8G4, Chuprov, Alexander Alexandrovich (topic)

History

2026-11-02: add by m2/dev

BQ6M9KWND6 BQ6M9KWND6

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-123 (exercise). In E9HS8K3A52, exercise, section 5.10.4

History

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

Poincaré conjecture BQ6QEZJ2QZ

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

Mentions

wikipedia: Wikipedia Poincaré conjecture#5SXR, Poincaré conjecture (statement)

History

2026-11-02: add by m2/dev

frame of a vector space BQ6V1V8JST

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

Mentions

wikidata: Wikidata Q194737, frame of a vector space (unknown). Also nLab frame of a vector space
wikipedia: Wikipedia Frame (linear algebra), Frame (definition). Also Wikidata Q194737

History

2026-10-26: add by m2/dev

Relativistic quantum mechanics BQ6WDTXSY6

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

Mentions

wikipedia: Wikipedia Relativistic quantum mechanics, Relativistic quantum mechanics (definition). Also Wikidata Q3332147

History

2026-11-02: add by m2/dev

Nassim Nicholas Taleb BQ6XVMET6X

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

Mentions

wikipedia: Wikipedia Nassim Nicholas Taleb, Nassim Nicholas Taleb (topic). Also Wikidata Q333521

History

2026-11-02: add by m2/dev

Pokhozhaev's identity BQ6YHB6DF4

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

Mentions

wikipedia: Wikipedia Pokhozhaev's identity, Pokhozhaev's identity (statement). Also Wikidata Q94391802

History

2026-11-02: add by m2/dev

Daniel Kolak BQ72XRD4TX

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

Mentions

wikipedia: Wikipedia Daniel Kolak, Daniel Kolak (topic). Also Wikidata Q4227546

History

2026-11-02: add by m2/dev

BQ741DXY5F BQ741DXY5F

URI	`m2://inv/BQ741DXY5F`
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.28993#JLSV (statement)

History

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

BQ74TQ7SVQ BQ74TQ7SVQ

URI	`m2://inv/BQ74TQ7SVQ`
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.06556#FMJ6 (statement). In KW8C7VE9XR/e1, fact 41

History

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

Paulo Ribenboim BQ78RXS1D1

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#49DR, Paulo Ribenboim (topic)

History

2026-11-02: add by m2/dev

Carleson measure BQ78S7XH6B

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

Mentions

wikipedia: Wikipedia Carleson measure, Carleson measure (definition). Also Wikidata Q5041178

History

2026-11-02: add by m2/dev

colon BQ78TJ4MW1

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

Mentions

wikidata: Wikidata Q177449, colon (unknown). Also EoM Colon, MathWorld Colon

History

2026-10-26: add by m2/dev

BQ7BM4JYNZ BQ7BM4JYNZ

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

Mentions

hott_book: hott_book setmath.tex#lem-3 (statement). In N54F33XE07, lem, section C.3

History

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

Unramified norm, trace, and conductor compatibility BQ7HB5HJMV

URI	`m2://inv/BQ7HB5HJMV`
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 2610.10583#7F2E, Unramified norm, trace, and conductor compatibility (statement). In 5BZQS1KY9A/e1, lemma 3.10

History

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

Grim Reaper paradox BQ7HBQZKMC

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

Mentions

wikipedia: Wikipedia Supertask#6G3N, Grim Reaper paradox (statement)

History

2026-11-02: add by m2/dev

Enumeration BQ7MG919HS

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

Mentions

wikipedia: Wikipedia Latin rectangle#P9X6, Enumeration (definition)

History

2026-11-02: add by m2/dev

Dilution assay BQ7P8T78JA

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

Mentions

wikipedia: Wikipedia Dilution assay, Dilution assay (definition). Also Wikidata Q5277083

History

2026-11-02: add by m2/dev

BQ7S4S1R73 BQ7S4S1R73

URI	`m2://inv/BQ7S4S1R73`
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 2001.10234#FX13 (statement). In YYZHNNJR1P/e1, theorem 4

History

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

BQ7YGS4FDW BQ7YGS4FDW

URI	`m2://inv/BQ7YGS4FDW`
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.36423#DC06 (statement). In Q5Z178SAHP/e1, lemma 4.11

History

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

\textsf{Almost-everywhere lattice summability BQ7ZFS40RP

URI	`m2://inv/BQ7ZFS40RP`
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.09404#H41D, \textsf{Almost-everywhere lattice summability (statement). In D7CZZ48FRN/e1, lemma 5.1

History

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

Definition BQ859QM5BH

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

Mentions

wikipedia: Wikipedia Normal-form game#OO68, Definition (definition)

History

2026-11-02: add by m2/dev

Construction BQ89H6R0Y3

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

Mentions

wikipedia: Wikipedia Augmented triangular prism#TB9C, Construction (definition)

History

2026-11-02: add by m2/dev

BQ89YEEAAN BQ89YEEAAN

URI	`m2://inv/BQ89YEEAAN`
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.01855#R1MM (statement). In MM8P5CJR18/e1, corollary 4.2

History

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

BQ8AT16BDJ BQ8AT16BDJ

URI	`m2://inv/BQ8AT16BDJ`
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 2504.01057#CQVO (statement). In 69QFBXJENW/e1, corollary 2.24

History

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

acceptable ring BQ8DQ317A7

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#IMCN, acceptable ring (definition)

History

2026-11-02: add by m2/dev

Length growth BQ8DQPRQ9Q

URI	`m2://inv/BQ8DQPRQ9Q`
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.05892#BZBG, Length growth (statement). In PXWRTA62JK/e1, proposition 7.1

History

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

Validity of an admissible block BQ8DYSFBCZ

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

Mentions

arxiv: arXiv 2610.21139#V50X, Validity of an admissible block (statement). In E3NM0QN6KK/e1, lemma 2

History

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

BQ8MW6JDE2 BQ8MW6JDE2

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

Mentions

arxiv: arXiv 2610.09422#W3SU (statement). In MS7M2BJS9X/e1, lemma 4.17

History

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

BQ8S47Y66C BQ8S47Y66C

URI	`m2://inv/BQ8S47Y66C`
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 2405.05684#105C (statement). In 1PR73ECTZB/e1, lemma 2

History

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

Primality test BQ8SAQ7QPD

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

Mentions

wikipedia: Wikipedia List of algorithms#3UI6, Primality test (definition)

History

2026-11-02: add by m2/dev

BQ8SKQMGHG BQ8SKQMGHG

URI	`m2://inv/BQ8SKQMGHG`
Kind	example
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.37778#8PQS (example). In V399QB419P/e1, example 3.3

History

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

BQ8W2ECSTF BQ8W2ECSTF

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

Mentions

arxiv: arXiv 2609.23544#67C0 (statement)

History

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

BQ8ZCZ8V6P BQ8ZCZ8V6P

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

Mentions

arxiv: arXiv 2610.02174#6Y0D (definition). In 7JPHSV4NXW/e1, definition 2.1

History

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

Special case BQ92TJNRFQ

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

Mentions

wikipedia: Wikipedia L'Hôpital's rule#2E6C, Special case (statement)

History

2026-11-02: add by m2/dev

Boundary atoms with at most $2^q$ queries BQ95M6M6HV

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

Mentions

arxiv: arXiv 2609.38228#2G8Z, Boundary atoms with at most $2^q$ queries (statement). In 9YAE8FNQST/e1, theorem 31.5

History

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

Eli Biham BQ95RP4CX6

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

Mentions

wikipedia: Wikipedia List of cryptographers#T5GE, Eli Biham (topic)

History

2026-11-02: add by m2/dev

BQ9A0YE0X2 BQ9A0YE0X2

URI	`m2://inv/BQ9A0YE0X2`
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.24580#RN4T (statement)

History

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

Generalizations BQ9BDJWNW3

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

Mentions

wikipedia: Wikipedia Chevalley–Shephard–Todd theorem#L7HN, Generalizations (statement)

History

2026-11-02: add by m2/dev

BQ9DM9061T BQ9DM9061T

URI	`m2://inv/BQ9DM9061T`
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.27911#G90T (statement)

History

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

BQ9E609ST7 BQ9E609ST7

URI	`m2://inv/BQ9E609ST7`
Kind	statement
Layer	research
MSC	14-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 2609.37520#E1H6 (statement). In BDN507RN7J/e1, lemma 2.2.5

History

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

Dirac bracket BQ9GAVMJCF

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

Mentions

wikipedia: Wikipedia Dirac bracket, Dirac bracket (definition). Also Wikidata Q3895805

History

2026-11-02: add by m2/dev

BQ9PT7YZ0K BQ9PT7YZ0K

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

Mentions

open_logic: open_logic content/model-theory/basics/substructures.tex#defn:substructure (definition). In PKGMM3P5QY, defn, section 46.7

History

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

BQ9T6P1G91 BQ9T6P1G91

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

Mentions

open_logic: open_logic content/first-order-logic/beyond/intuitionistic-logic.tex#thm-4 (statement). In PKGMM3P5QY, thm, section 9.3

History

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

BQA5M3HDHV BQA5M3HDHV

URI	`m2://inv/BQA5M3HDHV`
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.14318#59FM (statement). In HA4SZZJ831/e1, theorem 4.2

History

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

Conic optimization BQA94S3DW9

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#JSTP, Conic optimization (topic)

History

2026-11-02: add by m2/dev

silver ratio BQAH2W1KC1

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

Mentions

wikidata: Wikidata Q2353128, silver ratio (object). Also MathWorld SilverRatio, OEIS A014176
wikipedia: Wikipedia Silver ratio, Silver ratio (definition). Also Wikidata Q2353128

History

2026-10-26: add by m2/dev

Faron Moller BQAMXR27ST

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#43C0, Faron Moller (unknown)

History

2026-11-02: add by m2/dev

Anti-diagonal matrix BQAY732TTX

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

Mentions

wikipedia: Wikipedia Anti-diagonal matrix, Anti-diagonal matrix (definition). Also Wikidata Q4774357

History

2026-11-02: add by m2/dev

Oskar Bolza BQAYG6WQG9

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

Mentions

wikipedia: Wikipedia Oskar Bolza, Oskar Bolza (topic). Also Wikidata Q78105

History

2026-11-02: add by m2/dev

Henry Helson BQAYHZHP30

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

Mentions

wikipedia: Wikipedia Henry Helson, Henry Helson (topic). Also Wikidata Q5722840

History

2026-11-02: add by m2/dev

BQB4SG54TK BQB4SG54TK

URI	`m2://inv/BQB4SG54TK`
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#VT5X (statement). In PQHTR84RAJ/e1, lemma 3.5

History

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

Applications BQB8A1KXGV

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

Mentions

wikipedia: Wikipedia Las Vegas algorithm#B1N4, Applications (example)

History

2026-11-02: add by m2/dev

BQBCNZH85J BQBCNZH85J

URI	`m2://inv/BQBCNZH85J`
Kind	definition
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 2609.20718#0T3X (definition)

History

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

Generalized randomized block design BQBCSGRR05

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

Mentions

wikipedia: Wikipedia List of statistics articles#G51C, Generalized randomized block design (definition)

History

2026-11-02: add by m2/dev

Examples BQBET147QV

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

Mentions

wikipedia: Wikipedia Equidistributed sequence#14N2, Examples (example)

History

2026-11-02: add by m2/dev

BQBJ67DMBM BQBJ67DMBM

URI	`m2://inv/BQBJ67DMBM`
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.23522#NHR3 (statement)

History

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

BQBNT2Z826 BQBNT2Z826

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

Mentions

arxiv: arXiv 2503.08018#8LV8 (statement). In TN93YFN45W/e1, theorem 8.5

History

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

Center for International Higher Education BQBY85Y0ST

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

Mentions

wikipedia: Wikipedia List of research centers at Boston College#5SW3, Center for International Higher Education (unknown)

History

2026-11-02: add by m2/dev

BQBYX8Q6SM BQBYX8Q6SM

URI	`m2://inv/BQBYX8Q6SM`
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.06899#SR7L (statement). In 5Z2K9JGFSS/e1, corollary 2.3

History

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

The boundary of a triangle BQBZP5JFGQ

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

Mentions

arxiv: arXiv 2610.14783#I6CN, The boundary of a triangle (example). In Y3X5XY2J65/e1, example 9.4

History

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

BQC2F1P6VG BQC2F1P6VG

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#proof-3 (proof). In P1C114YBXG, proof, section H

History

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

Example BQCC40BB22

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

Mentions

wikipedia: Wikipedia Panjer recursion#5DE6, Example (example)

History

2026-11-02: add by m2/dev

Bulgarian solitaire BQCMT1K1FB

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

Mentions

wikipedia: Wikipedia Bulgarian solitaire, Bulgarian solitaire (definition). Also Wikidata Q4996296

History

2026-11-02: add by m2/dev

BQCNG17QPJ BQCNG17QPJ

URI	`m2://inv/BQCNG17QPJ`
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.35632#F3UA (statement). In Q74G3BVZAQ/e1, lemma 5.2

History

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

BQCNP67QFG BQCNP67QFG

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#definition-2 (definition). In P1C114YBXG, definition, section H

History

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

Gap exclusion BQCQD3C526

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

Mentions

arxiv: arXiv 2610.06480#RTHO, Gap exclusion (statement). In 2Y47E704Z9/e1, lemma 4.7

History

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

BQCVHHBWT5 BQCVHHBWT5

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

Mentions

arxiv: arXiv 2303.00676#W07R (statement). In 5351H04TJY/e1, proposition 4.11

History

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

F-Yang–Mills equations BQCXHZZT8K

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

Mentions

wikipedia: Wikipedia F-Yang–Mills equations, F-Yang–Mills equations (definition). Also Wikidata Q130893638

History

2026-11-02: add by m2/dev

Bandwagon effect BQCY2GZKT2

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

Mentions

wikipedia: Wikipedia List of cognitive biases#LW6S, Bandwagon effect (unknown)

History

2026-11-02: add by m2/dev

BQCZ7D1Y6N BQCZ7D1Y6N

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

Mentions

arxiv: arXiv 2610.10406#6SH0 (statement). In VQA35Q7C00/e1, proposition 2.6

History

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

BQD023FC08 BQD023FC08

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

Mentions

hott_book: hott_book basics.tex#ex:dep-htpy-natural (exercise). In N54F33XE07, ex, section 1.15

History

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

BQD02G0N0G BQD02G0N0G

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

Mentions

arxiv: arXiv 2608.19483#VD80 (statement). In M2PEDAF7AX/e1, proposition 3.1

History

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

Lee–Yang theorem BQD3SH3KGR

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

Mentions

wikipedia: Wikipedia Riemann hypothesis#UPSQ, Lee–Yang theorem (statement)

History

2026-11-02: add by m2/dev

Atiyah conjecture BQDD3549P3

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

Mentions

wikipedia: Wikipedia List of conjectures#ND67, Atiyah conjecture (statement)

History

2026-11-02: add by m2/dev

BQDM7ZRBNH BQDM7ZRBNH

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

Mentions

open_logic: open_logic content/set-theory/choice/countablechoice.tex#ex-2 (example). In PKGMM3P5QY, ex, section 71.1

History

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

vector bundle connection BQDN0VQEXH

URI	`m2://inv/BQDN0VQEXH`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Connection on a vector bundle 5ZYRRVE8BW

Mentions

wikidata: Wikidata Q521075, vector bundle connection (concept). Also MathWorld VectorBundleConnection
wikipedia: Wikipedia Connection (vector bundle), Connection (definition). Also Wikidata Q521075

History

2026-10-26: add by m2/dev

Michael Levitt BQDPKBTZT8

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

Mentions

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

History

2026-11-02: add by m2/dev

Active and passive transformation BQDT18S2X5

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

Mentions

wikipedia: Wikipedia Active and passive transformation, Active and passive transformation (definition). Also Wikidata Q4677542

History

2026-11-02: add by m2/dev

Hubble curve BQDVABA9KV

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

Mentions

wikipedia: Wikipedia Hubble's law#G6X6, Hubble curve (unknown)

History

2026-11-02: add by m2/dev

BQDY8EJJMX BQDY8EJJMX

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

Mentions

arxiv: arXiv 2609.24297#JP4A (statement)

History

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

David M. Young Jr. BQE0BC9FZN

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

Mentions

wikipedia: Wikipedia David M. Young Jr., David M. Young Jr. (topic). Also Wikidata Q5236978

History

2026-11-02: add by m2/dev

BQE19G28J3 BQE19G28J3

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

Mentions

arxiv: arXiv 2610.05391#2WUU (statement). In 9B5TNEBJHV/e1, lemma 1.9

History

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

BQE3SCFR5N BQE3SCFR5N

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

Mentions

arxiv: arXiv 2609.20656#7MWV (example)

History

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

Separated radial equation BQE73Z6BWV

URI	`m2://inv/BQE73Z6BWV`
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.11077#DSEE, Separated radial equation (statement). In 4333A6G5K5/e1, proposition B.1

History

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

BQE7EGCWGF BQE7EGCWGF

URI	`m2://inv/BQE7EGCWGF`
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.07546#P4P7 (statement). In H9YE46CGFN/e1, fact 1

History

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

Properties BQECZ2XK6G

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

Mentions

wikipedia: Wikipedia Radical of an integer#FTZK, Properties (statement)

History

2026-11-02: add by m2/dev

BQEF960ZVT BQEF960ZVT

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

Mentions

arxiv: arXiv math/0003117#LAIB (definition). In WD2NCBV9F0/e1, definition 11.1

History

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

Bayesian experimental design BQEK8J1D4B

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

Mentions

wikipedia: Wikipedia Bayesian experimental design, Bayesian experimental design (definition). Also Wikidata Q4874469

History

2026-11-02: add by m2/dev

Prodiscrete topology BQEQ82YGC9

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

Mentions

wikipedia: Wikipedia Glossary of general topology#SIHC, Prodiscrete topology (definition)

History

2026-11-02: add by m2/dev

triangular numbers BQEQXKBV8H

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

Mentions

levin_dmoi: levin_dmoi index/3.2.1/triangular-numbers, triangular numbers (concept). In Y91XFCEVHQ, index, section 3.2.1

History

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

BQET1357K0 BQET1357K0

URI	`m2://inv/BQET1357K0`
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#WJ58 (statement). In X923ZEY423/e1, lemma 5.2.2

History

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

Graham number BQETQYDYR7

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

Mentions

wikipedia: Wikipedia Graham number, Graham number (definition). Also Wikidata Q5593385

History

2026-11-02: add by m2/dev

Connie M. Borror BQF4C3GRRC

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#U1S9, Connie M. Borror (topic)

History

2026-11-02: add by m2/dev

BQF5VFB97X BQF5VFB97X

URI	`m2://inv/BQF5VFB97X`
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.19251#KKUB (statement). In CSW6NG0FRN/e1, proposition 4.5

History

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

Simplicial depth BQFG3H7GEM

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

Mentions

wikipedia: Wikipedia Simplicial depth, Simplicial depth (definition). Also Wikidata Q41778759

History

2026-11-02: add by m2/dev

Human genetic variation BQFJZXKQ33

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

Mentions

wikipedia: Wikipedia Human genetic variation, Human genetic variation (definition). Also Wikidata Q1502105

History

2026-11-02: add by m2/dev

Examples BQFN4MRG4V

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

Mentions

wikipedia: Wikipedia Power sum symmetric polynomial#9K00, Examples (example)

History

2026-11-02: add by m2/dev

Serbia BQFPH5XHBN

URI	`m2://inv/BQFPH5XHBN`
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 Q403, Serbia (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Serbia

History

2026-10-26: add by m2/dev

BQFQBXJ9ZY BQFQBXJ9ZY

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-96 (exercise). In E9HS8K3A52, exercise, section 4.7

History

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

Double transportation cipher BQFWHD22NR

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

Mentions

wikipedia: Wikipedia Transposition cipher#HT80, Double transportation cipher (unknown)

History

2026-11-02: add by m2/dev

BQFYV1RH5K BQFYV1RH5K

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

Mentions

arxiv: arXiv 2609.28824#G42H (statement)

History

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

unit, interval BQG050VWNA

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

Mentions

hott_book: hott_book index/u1.u2/unit-interval, unit, interval (concept). In N54F33XE07, index, section u1.u2

History

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

BQG0RBM9X9 BQG0RBM9X9

URI	`m2://inv/BQG0RBM9X9`
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 2211.13105#95PW (statement). In 5ACPY6CEDV/e1, proposition 4.8

History

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

Formulation BQGF3K4D69

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

Mentions

wikipedia: Wikipedia Balanced flow#KHOD, Formulation (definition)

History

2026-11-02: add by m2/dev

well-ordering principle BQGFNAM8KP

URI	`m2://inv/BQGFNAM8KP`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Well-ordering principle 01BX15HSRR

Mentions

wikidata: Wikidata Q2488476, well-ordering principle (statement). Also MathWorld WellOrderingPrinciple, ProofWiki Well-Ordering_Principle
wikipedia: Wikipedia Well-ordering principle, Well-ordering principle (statement). Also Wikidata Q2488476

History

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

OpenMx BQGJMSKKY7

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

Mentions

wikipedia: Wikipedia OpenMx, OpenMx (definition). Also Wikidata Q7095834

History

2026-11-02: add by m2/dev

BQGP28H29S BQGP28H29S

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

Mentions

arxiv: arXiv 2609.35030#PAZN (statement). In DPT4P2BTEW/e1, theorem 7.7

History

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

BQGR8PET9C BQGR8PET9C

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

Mentions

arxiv: arXiv 2609.30579#YSUB (statement). In FDYZFDHZH9/e1, proposition 3.9

History

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

BQGSWKFD7M BQGSWKFD7M

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

Mentions

arxiv: arXiv 2610.16386#ACXZ (example). In RAF0BFY3Z3/e1, example 5.2

History

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

Arnold corank problem BQGTTHHHMN

URI	`m2://inv/BQGTTHHHMN`
Kind	problem
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.19357#78NE, Arnold corank problem (problem). In RGXQ50RWXV/e1, problem 1

History

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

Künsch, Hans-Rudolf BQH581XP6X

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

Mentions

wikipedia: Wikipedia List of statisticians#NTGP, Künsch, Hans-Rudolf (unknown)

History

2026-11-02: add by m2/dev

token BQH87RWVSV

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

Mentions

wikipedia: Wikipedia Glossary of logic#8R3H, token (definition)

History

2026-11-02: add by m2/dev

BQHCAG3FPY BQHCAG3FPY

URI	`m2://inv/BQHCAG3FPY`
Kind	definition
Layer	research
MSC	37-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 2510.05499#V7AH (definition). In WRMNCC8VBC/e1, definition 8

History

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

Star BQHCDRTP7S

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

Mentions

wikipedia: Wikipedia Glossary of general topology#UI8P, Star (definition)

History

2026-11-02: add by m2/dev

Keith Ball BQHKYNS8WQ

URI	`m2://inv/BQHKYNS8WQ`
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#ZDEO, Keith Ball (unknown)

History

2026-11-02: add by m2/dev

transitivity, of $\leq$ for surreals BQHSNET37R

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

Mentions

hott_book: hott_book index/B.6/transitivity-of-leq-for-surreals, transitivity, of $\leq$ for surreals (concept). In N54F33XE07, index, section B.6

History

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

J. C. P. Miller BQHV871Z9B

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

Mentions

wikipedia: Wikipedia J. C. P. Miller, J. C. P. Miller (topic). Also Wikidata Q6105022

History

2026-11-02: add by m2/dev

BQHX00HZAX BQHX00HZAX

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

Mentions

arxiv: arXiv 2610.19010#4GD0 (statement). In 6315NJBYJM/e1, lemma 9

History

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

Examples BQHZ7V9A9T

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

Mentions

wikipedia: Wikipedia Khatri–Rao product#NDL6, Examples (example)

History

2026-11-02: add by m2/dev

BQJ7REA05A BQJ7REA05A

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

Mentions

arxiv: arXiv 2609.28824#JG8V (statement)

History

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

Oblivious transfer BQJB9C90KC

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

Mentions

wikipedia: Wikipedia Oblivious transfer, Oblivious transfer (definition). Also Wikidata Q2915383

History

2026-11-02: add by m2/dev

BQJBM8N19M BQJBM8N19M

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

Mentions

arxiv: arXiv 2609.22296#D1G7 (conjecture)

History

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

BQJJA7H3ZW BQJJA7H3ZW

URI	`m2://inv/BQJJA7H3ZW`
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 2508.08809#KYAD (statement). In X5NX1YEABW/e1, proposition 5.14

History

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

BQJMHM2R8Q BQJMHM2R8Q

URI	`m2://inv/BQJMHM2R8Q`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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 2610.13629#DPLG (statement). In PQNYA0C510/e1, proposition 2.10

History

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

Row operations and puncturing BQJNKJJ7MB

URI	`m2://inv/BQJNKJJ7MB`
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.09341#9EWS, Row operations and puncturing (statement). In DSXBMRYE0V/e1, lemma A.8

History

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

Fictionalism BQJV5E00FX

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

Mentions

wikipedia: Wikipedia Fictionalism, Fictionalism (definition). Also Wikidata Q1321529

History

2026-11-02: add by m2/dev

Universal grinder BQJV9E2QND

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

Mentions

wikipedia: Wikipedia Universal grinder, Universal grinder (definition). Also Wikidata Q7894130

History

2026-11-02: add by m2/dev

Example BQJVNJZKJZ

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

Mentions

wikipedia: Wikipedia Social welfare function#P1GS, Example (example)

History

2026-11-02: add by m2/dev

Definition BQK083V5QE

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

Mentions

wikipedia: Wikipedia Weihrauch reducibility#NNR8, Definition (definition)

History

2026-11-02: add by m2/dev

Definition BQK11S94PD

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

Mentions

wikipedia: Wikipedia Conditional entropy#B927, Definition (definition)

History

2026-11-02: add by m2/dev

BQK3TWFQVC BQK3TWFQVC

URI	`m2://inv/BQK3TWFQVC`
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 2609.34168#AUP2 (definition). In 30YQV8N04M/e1, definition

History

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

BQKSJNRK77 BQKSJNRK77

URI	`m2://inv/BQKSJNRK77`
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 2411.11470#2CC9 (statement). In G1E3KERT6K/e1, theorem 2.1

History

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

Base change (scheme theory) BQKTNJ2DKX

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

Mentions

wikipedia: Wikipedia Fiber product of schemes#1QGJ, Base change (scheme theory) (unknown)

History

2026-11-02: add by m2/dev

double BQKX2CND7S

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

Mentions

wikipedia: Wikipedia Glossary of category theory#X5L0, double (definition)

History

2026-11-02: add by m2/dev

BQKXZF3S9G BQKXZF3S9G

URI	`m2://inv/BQKXZF3S9G`
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 2512.07340#QRGA (statement). In WXE3PVAZBT/e1, lemma 4.2

History

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

Compound Poisson distribution BQM55XVG4F

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

Mentions

wikipedia: Wikipedia Compound Poisson distribution, Compound Poisson distribution (definition). Also Wikidata Q3711786

History

2026-11-02: add by m2/dev

character BQM68PP4HA

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#VZGT, character (definition)

History

2026-11-02: add by m2/dev

Variations BQM6K3HMY6

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

Mentions

wikipedia: Wikipedia Woodbury matrix identity#N52E, Variations (statement)

History

2026-11-02: add by m2/dev

BQMC05A1SH BQMC05A1SH

URI	`m2://inv/BQMC05A1SH`
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 2203.10220#UB7Z (statement). In FX2SD1GFHT/e1, corollary 4

History

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

Engineering tolerance BQMCGBG5J7

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

Mentions

wikipedia: Wikipedia List of statistics articles#7TC9, Engineering tolerance (definition)

History

2026-11-02: add by m2/dev

Haag–Lopuszanski–Sohnius theorem BQMDNQ5FVB

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

Mentions

mathlib_1000: mathlib_1000 Q586051, Haag–Łopuszański–Sohnius theorem (statement). Also Wikidata Q586051
thousand_plus: thousand_plus Q586051, Haag–Łopuszański–Sohnius theorem (statement). Also Wikidata Q586051, Wikipedia Haag–Łopuszański–Sohnius theorem
wikidata: Wikidata Q586051, Haag–Lopuszanski–Sohnius theorem (statement). Also nLab Haag–Łopuszański–Sohnius theorem
wikipedia: Wikipedia Haag–Łopuszański–Sohnius theorem, Haag–Łopuszański–Sohnius theorem (statement). Also Wikidata Q586051

History

2026-10-26: add by m2/dev

Normalisable kernel BQMGY4CB94

URI	`m2://inv/BQMGY4CB94`
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.19861#4TIL, Normalisable kernel (definition). In 5ZPQ60TM6J/e1, definition 24

History

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

BQMKJS14XR BQMKJS14XR

URI	`m2://inv/BQMKJS14XR`
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.09084#FBSG (statement). In F5VT2K2QYX/e1, lemma 35

History

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

midpoint BQMSCN54DW

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

Mentions

wikidata: Wikidata Q1645406, midpoint (unknown). Also MathWorld Midpoint
wikipedia: Wikipedia Midpoint, Midpoint (definition). Also Wikidata Q1645406

History

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

Example BQMSRSCWXR

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

Mentions

wikipedia: Wikipedia Dimension theory (algebra)#YL00, Example (example)

History

2026-11-02: add by m2/dev

Lagrange's identity BQMW30DXVT

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

Mentions

wikidata: Wikidata Q1206853, Lagrange's identity (statement). Also MathWorld LagrangesIdentity
wikipedia: Wikipedia Lagrange's identity, Lagrange's identity (statement). Also Wikidata Q1206853

History

2026-10-26: add by m2/dev

BQMWPZJN8R BQMWPZJN8R

URI	`m2://inv/BQMWPZJN8R`
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 2404.18704#TE14 (definition). In T4MQVXFGWC/e1, definition II.6

History

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

BQN2V0EV96 BQN2V0EV96

URI	`m2://inv/BQN2V0EV96`
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 2211.04758#TKNG (definition). In DRWDJG2G3S/e1, definition 1.6

History

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

Example BQN8KM6766

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

Mentions

wikipedia: Wikipedia Subgame perfect equilibrium#O5BL, Example (example)

History

2026-11-02: add by m2/dev

Actual reduced principal-load tail BQNH1EMG1C

URI	`m2://inv/BQNH1EMG1C`
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#6TES, Actual reduced principal-load tail (statement)

History

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

Miracle flatness theorem BQNJKY2ZYH

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

Mentions

wikipedia: Wikipedia Local criterion for flatness#89MR, Miracle flatness theorem (statement)

History

2026-11-02: add by m2/dev

Formal definition BQNMBCPKAY

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

Mentions

wikipedia: Wikipedia Universal enveloping algebra#6UL5, Formal definition (definition)

History

2026-11-02: add by m2/dev

linear combination BQNXNS74VY

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

Mentions

austin_ula: austin_ula index/2.1.2/linear-combination, linear combination (concept). In 649HGZKE96, index, section 2.1.2

History

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

BQP8FZQJV9 BQP8FZQJV9

URI	`m2://inv/BQP8FZQJV9`
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.24795#53KK (statement)

History

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

BQPB7YYXGM BQPB7YYXGM

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

Mentions

arxiv: arXiv 2609.38030#0TT2 (definition). In XYYEJN00D8/e1, definition 2.22

History

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

BQPBGNZ8AA BQPBGNZ8AA

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-63 (exercise). In E9HS8K3A52, exercise, section 5.5.3

History

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

Dissipative Fermi--Hubbard models BQPCGRTEV7

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

Mentions

arxiv: arXiv 2610.00448#PXZL, Dissipative Fermi--Hubbard models (example). In N06J7GC05Q/e1, example 6.6

History

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

Inverted double-well formula BQPHZBCDBG

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

Mentions

wikipedia: Wikipedia Instanton#I31Z, Inverted double-well formula (statement)

History

2026-11-02: add by m2/dev

Hack's law BQPJTF4AGX

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

Mentions

wikipedia: Wikipedia Hack's law, Hack's law (statement). Also Wikidata Q1032350

History

2026-11-02: add by m2/dev

BQPQGQZKXA BQPQGQZKXA

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

Mentions

arxiv: arXiv 1711.00219#X2HV (example). In 7V3HG30ZGW/e1, example 3.27

History

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

Stronger conclusions and Taussky's theorem BQPREACQ3K

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

Mentions

wikipedia: Wikipedia Gershgorin circle theorem#6KJB, Stronger conclusions and Taussky's theorem (statement)

History

2026-11-02: add by m2/dev

BQQ02MBNQJ BQQ02MBNQJ

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

Mentions

arxiv: arXiv 2609.20860#AOFM (definition)

History

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

Solutions of a general cubic equation BQQ2D0X6F9

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

Mentions

wikipedia: Wikipedia List of theorems#IJ5I, Solutions of a general cubic equation (definition)

History

2026-11-02: add by m2/dev

Definitions BQQ5H6V1Y1

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

Mentions

wikipedia: Wikipedia Character theory#S9OD, Definitions (definition)

History

2026-11-02: add by m2/dev

Homothetic algebra BQQ72NPTA9

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

Mentions

wikipedia: Wikipedia Projective vector field#UHRS, Homothetic algebra (unknown)

History

2026-11-02: add by m2/dev

BQQ7B04N18 BQQ7B04N18

URI	`m2://inv/BQQ7B04N18`
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.10365#78QS (statement). In PRVQPSBVHK/e1, lemma 24

History

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

BQQRA5ECAQ BQQRA5ECAQ

URI	`m2://inv/BQQRA5ECAQ`
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.17240#8UQJ (statement). In 59BZ4V9RQW/e1, proposition 3.9

History

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

BQQXDYVRKS BQQXDYVRKS

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

Mentions

arxiv: arXiv 2610.10413#LBNB (statement). In 68MTQ59QTQ/e1, lemma 2.2

History

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

BQQYYBEYG3 BQQYYBEYG3

URI	`m2://inv/BQQYYBEYG3`
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 2610.16362#S9L3 (statement). In 4NJ4T3DEQB/e1, lemma 2.3

History

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

BQR09BTH5N BQR09BTH5N

URI	`m2://inv/BQR09BTH5N`
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 2402.00465#RAZV (statement). In EKFTNPQC8D/e1, theorem 1

History

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

BQR1QS69DA BQR1QS69DA

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

History

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

wheat and chessboard problem BQR4T8TP94

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

Mentions

wikidata: Wikidata Q2061792, wheat and chessboard problem (problem). Also MathWorld WheatandChessboardProblem
wikipedia: Wikipedia Wheat and chessboard problem, Wheat and chessboard problem (problem). Also Wikidata Q2061792

History

2026-10-26: add by m2/dev

BQR7D4NZ59 BQR7D4NZ59

URI	`m2://inv/BQR7D4NZ59`
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 2607.26169#U0X1 (statement). In Q46QV3B0NF/e1, lemma 6.2

History

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

BQRBK19JEF BQRBK19JEF

URI	`m2://inv/BQRBK19JEF`
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.14803#TM35 (statement). In VAEVDTBD3B/e1, theorem 4.5

History

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

Compacton BQRG5K3K2R

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

Mentions

wikipedia: Wikipedia Compacton, Compacton (definition). Also Wikidata Q5155341

History

2026-11-02: add by m2/dev

Strengthened version of Van Kampen's lemma BQRJM26XKN

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

Mentions

wikipedia: Wikipedia Van Kampen diagram#TKQG, Strengthened version of Van Kampen's lemma (statement)

History

2026-11-02: add by m2/dev

The regularized partial supremum BQRZT01DPJ

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

Mentions

arxiv: arXiv 2610.15180#LATF, The regularized partial supremum (statement). In AMRWRJDNKJ/e1, proposition 7.1

History

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

BQS7MQ1TRC BQS7MQ1TRC

URI	`m2://inv/BQS7MQ1TRC`
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.36423#EWTL (statement). In Q5Z178SAHP/e1, theorem 6.3

History

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

BQSEPF060G BQSEPF060G

URI	`m2://inv/BQSEPF060G`
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.31798#4F3I (statement). In HPHBJ4Y04B/e1, theorem 1.1

History

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

BQSF4MKFD5 BQSF4MKFD5

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

Mentions

arxiv: arXiv 2610.19311#DVU0 (statement). In 3MFD6RSV41/e1, theorem 3.3

History

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

BQSGW7BK07 BQSGW7BK07

URI	`m2://inv/BQSGW7BK07`
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.07741#7URF (statement). In K4YV2SF9MG/e1, lemma A.3

History

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

Applications BQSKZVV975

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

Mentions

wikipedia: Wikipedia MaxDDBS#6KH5, Applications (example)

History

2026-11-02: add by m2/dev

Terminology BQSMDVWYPK

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

Mentions

wikipedia: Wikipedia Substitution matrix#GFAV, Terminology (definition)

History

2026-11-02: add by m2/dev

BQSN5VK6QA BQSN5VK6QA

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

Mentions

arxiv: arXiv 1804.05688#AH4Z (proof). In M8F4PDHH3S/e1, proof

History

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

BQSPJ5AH7D BQSPJ5AH7D

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

Mentions

wikipedia: Wikipedia Polynomial hierarchy#1R9S (problem)

History

2026-11-02: add by m2/dev

Kaluza–Klein theory BQSPVXQV28

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

Mentions

wikipedia: Wikipedia List of string theory topics#FM88, Kaluza–Klein theory (definition)

History

2026-11-02: add by m2/dev

Relation to the Baker–Campbell–Hausdorff formula BQSQFA5XGS

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

Mentions

wikipedia: Wikipedia Unitary transformation (quantum mechanics)#FYF7, Relation to the Baker–Campbell–Hausdorff formula (statement)

History

2026-11-02: add by m2/dev

Christoffel–Darboux formula BQSVGXR8QZ

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

Mentions

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

History

2026-11-02: add by m2/dev

Definition BQT5T8R09S

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

Mentions

wikipedia: Wikipedia Orbit (dynamics)#2BWD, Definition (definition)

History

2026-11-02: add by m2/dev

BQT60FN969 BQT60FN969

URI	`m2://inv/BQT60FN969`
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.13884#X3R1 (statement). In N2NQ3QJYTW/e1, theorem 4.4

History

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

List of ciphertexts BQT8QT3JA1

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

Mentions

wikipedia: Wikipedia List of ciphertexts, List of ciphertexts (topic). Also Wikidata Q11264533

History

2026-11-02: add by m2/dev

BQTGZ8C12A BQTGZ8C12A

URI	`m2://inv/BQTGZ8C12A`
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.15525#UMCH (statement). In EFDRME13PT/e1, lemma 11.5

History

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

David Gabai BQTHXVVAQ7

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#JX9Q, David Gabai (topic)

History

2026-11-02: add by m2/dev

Appeal to ridicule BQTN9ARJCJ

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

Mentions

wikipedia: Wikipedia Appeal to ridicule, Appeal to ridicule (definition). Also Wikidata Q2858662

History

2026-11-02: add by m2/dev

Definition BQTVJF6R51

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

Mentions

wikipedia: Wikipedia Sectorial operator#8FYR, Definition (definition)

History

2026-11-02: add by m2/dev

Farkas, Gyula BQTVYRW1BY

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#TU2S, Farkas, Gyula (topic)

History

2026-11-02: add by m2/dev

presented group BQTW9VKT0M

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

Mentions

mathlib_overview: mathlib_overview General algebra > Group theory > presented group, presented group (unknown). Also Mathlib PresentedGroup

History

2026-10-26: add by m2/dev

BQV351BZQA BQV351BZQA

URI	`m2://inv/BQV351BZQA`
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.22190#RKUF (statement). In AM6Y5W3HGG/e1, fact 11

History

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

BQV60VR2BJ BQV60VR2BJ

URI	`m2://inv/BQV60VR2BJ`
Kind	definition
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.33162#IDOF (definition). In RPC7VG3KHQ/e1, definition 7.1

History

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

BQVG82KZTZ BQVG82KZTZ

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

Mentions

arxiv: arXiv 2610.00312#V019 (definition). In 41NFABHFXH/e1, definition 3.2

History

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

quantifiers, exists BQVH11KT15

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

Mentions

levin_dmoi: levin_dmoi index/1.2.3/quantifiers-exists, quantifiers, exists (concept). In Y91XFCEVHQ, index, section 1.2.3

History

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

BQVHBJ4S8J BQVHBJ4S8J

URI	`m2://inv/BQVHBJ4S8J`
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.26337#B3QL (definition)

History

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

Langlands dual BQVRHBK823

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

Mentions

wikipedia: Wikipedia List of dualities#GTNF, Langlands dual (definition)

History

2026-11-02: add by m2/dev

BQVV4G99BR BQVV4G99BR

URI	`m2://inv/BQVV4G99BR`
Kind	statement
Layer	research
MSC	17-XX, 18-XX, 46-XX, 47-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.20725#M4X3 (statement)

History

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

uniquely pancyclic graph BQVVSD3ZT7

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

Mentions

wikidata: Wikidata Q130598728, uniquely pancyclic graph (unknown). Also MathWorld UniquelyPancyclicGraph

History

2026-10-26: add by m2/dev

Andreas Thom BQVZHAD2WV

URI	`m2://inv/BQVZHAD2WV`
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#SNYL, Andreas Thom (topic)

History

2026-11-02: add by m2/dev

Properties BQWBHT7XQR

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

Mentions

wikipedia: Wikipedia Polytope#3I6X, Properties (statement)

History

2026-11-02: add by m2/dev

Examples BQWHGEVE93

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

Mentions

wikipedia: Wikipedia Continuous geometry#UBD8, Examples (example)

History

2026-11-02: add by m2/dev

BQWP32DCR5 BQWP32DCR5

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

Mentions

arxiv: arXiv 2610.18078#NLNQ (statement). In YVK8EFSYNJ/e1, lemma 3.13

History

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

Undirected multigraph (edges with own identity) BQWREPBYB6

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

Mentions

wikipedia: Wikipedia Multigraph#QTX0, Undirected multigraph (edges with own identity) (statement)

History

2026-11-02: add by m2/dev

BQWY9EA040 BQWY9EA040

URI	`m2://inv/BQWY9EA040`
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.08424#KNXU (statement). In BVD2HAAKD5/e1, lemma 4.3

History

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

BQX5GDYM76 BQX5GDYM76

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 9.1

History

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

Almost Mathieu operator BQX6J49962

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

Mentions

wikipedia: Wikipedia Almost Mathieu operator, Almost Mathieu operator (definition). Also Wikidata Q4733975

History

2026-11-02: add by m2/dev

BQX7Y7P36H BQX7Y7P36H

URI	`m2://inv/BQX7Y7P36H`
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 2411.07596#32GY (statement). In 4SFRNADV8F/e1, lemma 2.2

History

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

BQXC11P1RA BQXC11P1RA

URI	`m2://inv/BQXC11P1RA`
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.28649#DW7Q (statement)

History

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

Exact innovation representation BQXDNFVV5N

URI	`m2://inv/BQXDNFVV5N`
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.00614#VTLA, Exact innovation representation (statement). In NC5Z77F6H4/e1, theorem 5.2

History

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

Artinian module BQXETZWNVH

URI	`m2://inv/BQXETZWNVH`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Artinian module YQNZTQGP1X

Mentions

wikidata: Wikidata Q2919100, Artinian module (unknown). Also MathWorld ArtinianModule
wikipedia: Wikipedia Artinian module, Artinian module (definition). Also Wikidata Q2919100

History

2026-10-26: add by m2/dev

Narasimhan–Seshadri theorem BQXJWD15ZT

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

Mentions

wikidata: Wikidata Q17099286, Narasimhan–Seshadri theorem (statement). Also nLab Narasimhan–Seshadri theorem
wikipedia: Wikipedia Narasimhan–Seshadri theorem, Narasimhan–Seshadri theorem (statement). Also Wikidata Q17099286

History

2026-10-26: add by m2/dev

Acyclic coloring BQXNF8KVJP

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

Mentions

wikipedia: Wikipedia Acyclic coloring, Acyclic coloring (definition). Also Wikidata Q4677981

History

2026-11-02: add by m2/dev

BQXR42WPMY BQXR42WPMY

URI	`m2://inv/BQXR42WPMY`
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.39274#FFQB (statement). In HVC7RVEM6V/e1, lemma 4

History

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

projective cover BQXXGFZDNM

URI	`m2://inv/BQXXGFZDNM`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Projective cover WGYXR97NPK

Mentions

wikidata: Wikidata Q7249465, projective cover (unknown). Also nLab projective cover
wikipedia: Wikipedia Projective cover, Projective cover (definition). Also Wikidata Q7249465

History

2026-10-26: add by m2/dev

γ BQY41V190A

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

Mentions

wikipedia: Wikipedia Glossary of set theory#A2MB, γ (definition)

History

2026-11-02: add by m2/dev

BQYAXZMA2V BQYAXZMA2V

URI	`m2://inv/BQYAXZMA2V`
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 2508.08809#6NC3 (statement). In X5NX1YEABW/e1, lemma 5.5

History

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

BQYP85ZCY3 BQYP85ZCY3

URI	`m2://inv/BQYP85ZCY3`
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 2610.13817#N72N (statement). In BMSAXTDV47/e1, lemma 3.1

History

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

BQYTXJFZSZ BQYTXJFZSZ

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

Mentions

arxiv: arXiv 2610.18219#SMAI (statement). In X1AGBB90EH/e1, lemma 7.14

History

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

BQYW97KSRG BQYW97KSRG

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

Mentions

arxiv: arXiv 2610.08638#IODQ (statement). In 113VZ5XX7J/e1, proposition 3.5

History

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

RSA-380 BQYXYWEC5E

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

Mentions

wikipedia: Wikipedia RSA numbers#YBY2, RSA-380 (unknown)

History

2026-11-02: add by m2/dev

BQYZTBAP1B BQYZTBAP1B

URI	`m2://inv/BQYZTBAP1B`
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.24902#F63N (statement)

History

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

weak homotopy equivalence BQZB5S4Z1X

URI	`m2://inv/BQZB5S4Z1X`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Weak equivalence E2870TEDG7

Mentions

wikidata: Wikidata Q20878207, weak homotopy equivalence (unknown). Also nLab weak homotopy equivalence
wikipedia: Wikipedia Weak equivalence (homotopy theory), Weak equivalence (definition). Also Wikidata Q20878207

History

2026-10-26: add by m2/dev

BQZDPXBGQ8 BQZDPXBGQ8

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

Mentions

arxiv: arXiv math/9807180#QW1L (definition). In VR3766BVE5/e1, definition 2.5

History

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

connex BQZJN9WQX3

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#3CW1, connex (definition)

History

2026-11-02: add by m2/dev