Inventory rows BJ

Properties BJ02A4BWPZ

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

Mentions

wikipedia: Wikipedia Generalised hyperbolic distribution#PQHE, Properties (statement)

History

2026-11-02: add by m2/dev

Analysis BJ02JGEZF8

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

Mentions

wikipedia: Wikipedia Analysis, Analysis (definition). Also Wikidata Q217602

History

2026-11-02: add by m2/dev

Biplot BJ0BWD3B94

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

Mentions

wikipedia: Wikipedia Biplot, Biplot (definition). Also Wikidata Q4915468

History

2026-11-02: add by m2/dev

Stein exponents for arbitrary probe states BJ0H620YT6

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

Mentions

arxiv: arXiv 2609.40355#BYNL, Stein exponents for arbitrary probe states (statement). In SBP98GWKC8/e1, corollary 1.2

History

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

BJ0Q0J0Y57 BJ0Q0J0Y57

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

Mentions

arxiv: arXiv 2602.15812#21RD (statement). In GAAZD3SGPN/e1, theorem

History

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

Primeira Cruz BJ0XB3QB16

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

Mentions

wikipedia: Wikipedia List of places with numeric names#7B3O, Primeira Cruz (unknown)

History

2026-11-02: add by m2/dev

GraphPad Prism BJ0XS1Q2A2

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

Mentions

wikipedia: Wikipedia GraphPad Software#BO3F, GraphPad Prism (unknown)

History

2026-11-02: add by m2/dev

meet BJ107MKA6Q

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

Mentions

wikidata: Wikidata Q117713552, meet (unknown). Also MathWorld Meet, nLab meet

History

2026-10-26: add by m2/dev

Paraxial Helmholtz equation BJ153BF22W

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

Mentions

wikipedia: Wikipedia Helmholtz equation#M8B4, Paraxial Helmholtz equation (unknown)

History

2026-11-02: add by m2/dev

BJ16T8RPXH BJ16T8RPXH

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

Mentions

arxiv: arXiv 2610.17258#BCR3 (example). In F4M67ZVBF2/e1, example B.2

History

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

Jevons, William Stanley BJ1B0A8WT0

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#3551, Jevons, William Stanley (topic)

History

2026-11-02: add by m2/dev

Normalizing constant BJ1RTEK03E

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

Mentions

wikipedia: Wikipedia Normalizing constant, Normalizing constant (object). Also Wikidata Q2095069

History

2026-11-02: add by m2/dev

Rounded down BJ229V17V5

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

Mentions

wikipedia: Wikipedia Rounding#1S7W, Rounded down (unknown)

History

2026-11-02: add by m2/dev

Analysis – first principles approaches BJ2DXXA0B5

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

Mentions

wikipedia: Wikipedia Frequency selective surface#VGIJ, Analysis – first principles approaches (statement)

History

2026-11-02: add by m2/dev

Applications BJ2S4QGEEH

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

Mentions

wikipedia: Wikipedia Polynomial#AKLB, Applications (example)

History

2026-11-02: add by m2/dev

BJ2TZVVA8F BJ2TZVVA8F

URI	`m2://inv/BJ2TZVVA8F`
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.14741#IM1S (statement). In RK1VPWWX9E/e1, theorem 4.15

History

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

BJ3490PS78 BJ3490PS78

URI	`m2://inv/BJ3490PS78`
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 2604.02255#YCUW (statement). In 14NGZPH8B9/e1, proposition 2

History

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

Economic epidemiology BJ39SNSAQN

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

Mentions

wikipedia: Wikipedia List of statistics articles#FZAF, Economic epidemiology (definition)

History

2026-11-02: add by m2/dev

John H. Schuenemeyer BJ3KMW4XT0

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#ARH2, John H. Schuenemeyer (unknown)

History

2026-11-02: add by m2/dev

BJ3PR6SG6P BJ3PR6SG6P

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

Mentions

arxiv: arXiv 2610.04305#3XXX (statement). In Y1DR0DPWD0/e1, corollary 3.17

History

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

BJ3R7Z16XA BJ3R7Z16XA

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

Mentions

arxiv: arXiv 2609.28282#937S (statement)

History

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

BJ3V5RQVJ6 BJ3V5RQVJ6

URI	`m2://inv/BJ3V5RQVJ6`
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.30648#KAXZ (statement). In 2P83KYQCMA/e1, lemma 16

History

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

BJ3WBS1H84 BJ3WBS1H84

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

Mentions

napkin: napkin tex/measure/swapsum.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 70.3

History

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

History of female education in Africa BJ402YS81H

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

Mentions

wikipedia: Wikipedia Female education#Y6ZE, History of female education in Africa (unknown)

History

2026-11-02: add by m2/dev

lowest word of \RP BJ444JW774

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

Mentions

arxiv: arXiv 2609.35844#7VFJ, lowest word of \RP (statement). In V33HFE8TZT/e1, proposition 2

History

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

absolutely continuous measure BJ45AJE611

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

Mentions

wikidata: Wikidata Q20827138, absolutely continuous measure (unknown). Also nLab absolutely continuous measure

History

2026-10-26: add by m2/dev

BJ46RFEJ6G BJ46RFEJ6G

URI	`m2://inv/BJ46RFEJ6G`
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.01247#85QW (statement). In 6EVNCRZ118/e1, theorem 25

History

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

Friedman BJ47SEABQT

URI	`m2://inv/BJ47SEABQT`
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 2209.00108#3A2Z, Friedman (definition). In V2G422ZMPW/e1, definition 1

History

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

axiomatic set theory BJ48721DWG

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

Mentions

wikidata: Wikidata Q904423, axiomatic set theory (definition). Also MathWorld AxiomaticSetTheory, ProofWiki Definition:Axiomatic_Set_Theory

History

2026-10-26: add by m2/dev

BJ4A8W9YRS BJ4A8W9YRS

URI	`m2://inv/BJ4A8W9YRS`
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.20153#VG2X (statement). In EYB107TM4Q/e1, corollary 4.5

History

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

Kripke frame BJ4BFGXC48

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

Mentions

wikipedia: Wikipedia Kripke semantics#WWEA, Kripke frame (unknown)

History

2026-11-02: add by m2/dev

Hanging-size obstruction BJ4CC4E1TP

URI	`m2://inv/BJ4CC4E1TP`
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.21454#N9T6, Hanging-size obstruction (statement). In ZP2RJFZ3V2/e1, corollary 3.4

History

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

BJ4DMDNZE7 BJ4DMDNZE7

URI	`m2://inv/BJ4DMDNZE7`
Kind	definition
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#Q5OS (definition). In BDN507RN7J/e1, definition 3.6.1

History

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

BJ4J0N0DFY BJ4J0N0DFY

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

Mentions

arxiv: arXiv 2609.36509#MQPN (statement). In DPJ15KW23C/e1, lemma 3.9

History

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

BJ4JGGKYRQ BJ4JGGKYRQ

URI	`m2://inv/BJ4JGGKYRQ`
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.22272#H2A1 (statement). In 4VZV5V0YD6/e1, lemma 1

History

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

BJ4PK511GA BJ4PK511GA

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

Mentions

arxiv: arXiv 2609.26410#L4E2 (statement)

History

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

Delaporte distribution BJ4RP900AE

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

Mentions

wikipedia: Wikipedia Delaporte distribution, Delaporte distribution (definition). Also Wikidata Q3258313

History

2026-11-02: add by m2/dev

Rice's Theorem BJ4VAPS658

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

Mentions

open_logic: open_logic content/computability/computability-theory/rice-theorem.tex#thm-1, Rice's Theorem (statement). In PKGMM3P5QY, thm, section 3.13

History

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

Nerd BJ506J7AMF

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

Mentions

wikipedia: Wikipedia Nerd, Nerd (definition). Also Wikidata Q650031

History

2026-11-02: add by m2/dev

Log pairs BJ529JX5TK

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

Mentions

arxiv: arXiv 2610.17817#XJN1, Log pairs (definition). In M8TSJ24RC2/e1, definition 2.24

History

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

BJ52JZ9F6V BJ52JZ9F6V

URI	`m2://inv/BJ52JZ9F6V`
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.21976#PXRW (statement)

History

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

BJ5746WTNV BJ5746WTNV

URI	`m2://inv/BJ5746WTNV`
Kind	statement
Layer	research
MSC	49-XX, 60-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.02158#PF7F (statement). In PCV12VAD47/e1, lemma 16

History

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

BJ5AC3CS6C BJ5AC3CS6C

URI	`m2://inv/BJ5AC3CS6C`
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.02436#8HDV (statement). In J9WZBK6KAY/e1, lemma 4.11

History

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

\lean{Unb}, \lean{Reach}, \lean{G$\nu$ BJ5CS2MB5F

URI	`m2://inv/BJ5CS2MB5F`
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.23143#LZJK, \lean{Unb}, \lean{Reach}, \lean{G$\nu$ (definition)

History

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

Beltrami coordinates BJ5DV1WY2E

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

Mentions

wikipedia: Wikipedia Coordinate systems for the hyperbolic plane#N7GE, Beltrami coordinates (unknown)

History

2026-11-02: add by m2/dev

BJ5F63ZEY6 BJ5F63ZEY6

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

Mentions

arxiv: arXiv 2610.21231#SG5C (definition). In 4RH9PS7MN1/e1, definition 3

History

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

BJ5FFJKEFW BJ5FFJKEFW

URI	`m2://inv/BJ5FFJKEFW`
Kind	statement
Layer	research
MSC	30-XX, 32-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.17669#FAXO (statement). In RAWXJ72WWA/e1, theorem 3.10

History

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

Applications BJ5JJE81ND

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

Mentions

wikipedia: Wikipedia Charts on SO(3)#PF39, Applications (example)

History

2026-11-02: add by m2/dev

Constant exponents BJ5JNRR3TG

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

Mentions

arxiv: arXiv 2609.39262#5NBN, Constant exponents (statement). In XA2NE2Z06S/e1, corollary 5.4

History

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

BJ5JS348WX BJ5JS348WX

URI	`m2://inv/BJ5JS348WX`
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#SQKC (statement). In MS7M2BJS9X/e1, lemma 3.3

History

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

BJ5W47Q5TT BJ5W47Q5TT

URI	`m2://inv/BJ5W47Q5TT`
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.26500#434L (statement)

History

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

BJ5XC4J0WQ BJ5XC4J0WQ

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-9 (exercise). In P1C114YBXG, problem, section G

History

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

BJ66QMSC12 BJ66QMSC12

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

Mentions

arxiv: arXiv 2610.09201#7G27 (statement). In JQFPH09JG8/e1, lemma 2.6

History

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

Godel's first incompleteness theorem BJ69B96QZ2

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

Mentions

wikidata: Wikidata Q62091930, Godel's first incompleteness theorem (statement). Also MathWorld GoedelsFirstIncompletenessTheorem

History

2026-10-26: add by m2/dev

BJ6A4MJ5JQ BJ6A4MJ5JQ

URI	`m2://inv/BJ6A4MJ5JQ`
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.32916#Y6I2 (statement). In G1RP4JY5PE/e1, proposition 7.3.1

History

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

solid torus BJ6MRD80CJ

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

Mentions

wikidata: Wikidata Q2039192, solid torus (unknown). Also nLab solid torus
wikipedia: Wikipedia Solid torus, Solid torus (definition). Also Wikidata Q2039192

History

2026-10-26: add by m2/dev

BJ6MXJ38C5 BJ6MXJ38C5

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

Mentions

arxiv: arXiv dg-ga/9612010#UD6H (statement). In CM39SWC4A6/e1, corollary 2.7

History

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

Massey product BJ6PXF9BWP

URI	`m2://inv/BJ6PXF9BWP`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Massey product Z761N3D19J

Mentions

wikidata: Wikidata Q6784627, Massey product (unknown). Also nLab Massey product
wikipedia: Wikipedia Massey product, Massey product (definition). Also Wikidata Q6784627

History

2026-10-26: add by m2/dev

BJ6YQ9YW1V BJ6YQ9YW1V

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

Mentions

arxiv: arXiv 2609.26340#S76O (statement)

History

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

Uniform norm BJ6ZC24BNN

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

Mentions

wikipedia: Wikipedia List of general topology topics#JDJV, Uniform norm (definition)

History

2026-11-02: add by m2/dev

Simple loop conjecture BJ726MFGA6

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

Mentions

wikipedia: Wikipedia 3-manifold#J9XC, Simple loop conjecture (statement)

History

2026-11-02: add by m2/dev

Monotonicity of $E_\phi$ under inclusion BJ75HV301Z

URI	`m2://inv/BJ75HV301Z`
Kind	statement
Layer	research
MSC	35-XX, 49-XX, 53-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.11677#5CVJ, Monotonicity of $E_\phi$ under inclusion (statement). In 4R7HZD14M6/e1, theorem 1.3

History

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

Peter J. Weinberger BJ77S1CE6X

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8E4H, Peter J. Weinberger (unknown)

History

2026-11-02: add by m2/dev

Binary input-to-probability Gaussian classes BJ77XXA574

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

Mentions

arxiv: arXiv 2609.39190#J3RY, Binary input-to-probability Gaussian classes (statement). In J144J3ANFZ/e1, theorem 3.7

History

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

Definition BJ7BTXV565

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

Mentions

wikipedia: Wikipedia Refinement (category theory)#L68D, Definition (definition)

History

2026-11-02: add by m2/dev

James W. Cogdell BJ7DX850GF

URI	`m2://inv/BJ7DX850GF`
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#YETO, James W. Cogdell (unknown)

History

2026-11-02: add by m2/dev

Properties BJ7HDPFPBZ

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

Mentions

wikipedia: Wikipedia Chandrasekhar's H-function#JZ1N, Properties (statement)

History

2026-11-02: add by m2/dev

Transportation network BJ840R6H2B

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

Mentions

arxiv: arXiv 2609.24451#WD80, Transportation network (definition)

History

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

Anonymous remailer BJ86PX5DX6

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

Mentions

wikipedia: Wikipedia Anonymous remailer, Anonymous remailer (definition). Also Wikidata Q1757877

History

2026-11-02: add by m2/dev

Theorem (Nevanlinna-Pick interpolation) BJ88NQCN49

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

Mentions

wikipedia: Wikipedia Commutant lifting theorem#S04R, Theorem (Nevanlinna-Pick interpolation) (statement)

History

2026-11-02: add by m2/dev

BJ8ES9KMVC BJ8ES9KMVC

URI	`m2://inv/BJ8ES9KMVC`
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 2312.06581#6T2J (statement). In WXJ2V3HA2R/e1, lemma E.12

History

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

János Bolyai BJ8H27ENFX

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

Mentions

wikipedia: Wikipedia János Bolyai, János Bolyai (topic). Also Wikidata Q16924

History

2026-11-02: add by m2/dev

BJ8J2ZKJGS BJ8J2ZKJGS

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

Mentions

arxiv: arXiv 2610.11596#41ID (definition). In 76850E2X7T/e1, definition 2.2

History

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

BJ8K5GDBNB BJ8K5GDBNB

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

Mentions

arxiv: arXiv 2005.03073#MMC2 (proof). In P2ETMXKVDS/e1, proof

History

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

Normed algebra BJ907Y1HYA

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

Mentions

wikipedia: Wikipedia Normed algebra, Normed algebra (definition). Also Wikidata Q1999917

History

2026-11-02: add by m2/dev

Gregory S. Chirikjian BJ96BK916R

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

Mentions

wikipedia: Wikipedia Gregory S. Chirikjian, Gregory S. Chirikjian (topic). Also Wikidata Q112423578

History

2026-11-02: add by m2/dev

BJ96ESMFJE BJ96ESMFJE

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#thm:natural divisor less than or equal to natural dividend (statement). In P1C114YBXG, theorem, section F

History

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

Balinski–Young theorem BJ98K0SFFQ

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

Mentions

wikipedia: Wikipedia Apportionment paradox#X65J, Balinski–Young theorem (statement)

History

2026-11-02: add by m2/dev

Weighted Activity Selection Problem BJ9GE80J5P

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

Mentions

wikipedia: Wikipedia Activity selection problem#J1O4, Weighted Activity Selection Problem (unknown)

History

2026-11-02: add by m2/dev

BJ9N0YACCV BJ9N0YACCV

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

Mentions

arxiv: arXiv 2204.01073#KQFD (statement). In W4TYN4PGE8/e1, theorem 5.1

History

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

TreeNet BJ9NK3QR9E

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

Mentions

wikipedia: Wikipedia Gradient boosting#NH9M, TreeNet (unknown)

History

2026-11-02: add by m2/dev

Properties BJ9R62W98E

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

Mentions

wikipedia: Wikipedia Primitive polynomial (field theory)#KRBD, Properties (statement)

History

2026-11-02: add by m2/dev

Euclid–Euler theorem BJ9RZ2D7BP

URI	`m2://inv/BJ9RZ2D7BP`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	node (a node has the same name as the row)
Node	Euclid–Euler theorem 0WETJCKNRG

Mentions

mathlib_100: mathlib_100 70, The Perfect Number Theorem (statement). Also Mathlib Theorems100.Nat.eq_two_pow_mul_prime_mersenne_of_even_perfect
mathlib_1000: mathlib_1000 Q18206266, Euclid–Euler theorem (statement). Also Mathlib Theorems100.Nat.eq_two_pow_mul_prime_mersenne_of_even_perfect, Wikidata Q18206266
thousand_plus: thousand_plus Q18206266, Euclid–Euler theorem (statement). Also Mathlib Theorems100.Nat.eq_two_pow_mul_prime_mersenne_of_even_perfect, Wikidata Q18206266, Wikipedia Euclid–Euler theorem
wikipedia: Wikipedia Euclid–Euler theorem, Euclid–Euler theorem (statement). Also Wikidata Q18206266

History

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

BJ9VQMZGFV BJ9VQMZGFV

URI	`m2://inv/BJ9VQMZGFV`
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.36279#6M00 (statement). In HX1QA0MJYV/e1, lemma 3

History

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

BJA46M9D3V BJA46M9D3V

URI	`m2://inv/BJA46M9D3V`
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.21781#BIOW (statement). In FEQ72D1AX6/e1, lemma 7.2

History

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

Harborth graph BJA5E5J5ER

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

Mentions

wikidata: Wikidata Q3115499, Harborth graph (unknown). Also House of Graphs 1144, MathWorld HarborthGraph

History

2026-10-26: add by m2/dev

William Christopher Swinbank BJA5MJ651H

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

Mentions

wikipedia: Wikipedia William Christopher Swinbank, William Christopher Swinbank (topic). Also Wikidata Q66737948

History

2026-11-02: add by m2/dev

ring direct product BJAH21NK64

URI	`m2://inv/BJAH21NK64`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Product of rings 0QM2G72DXA

Mentions

wikidata: Wikidata Q3406712, ring direct product (unknown). Also MathWorld RingDirectProduct
wikipedia: Wikipedia Product of rings, Product of rings (definition). Also Wikidata Q3406712

History

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

BJAHY526EB BJAHY526EB

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

Mentions

arxiv: arXiv 2609.38396#DOHO (statement). In FGNNVKQR1Z/e1, theorem 1.3

History

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

BJAST305XK BJAST305XK

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

Mentions

arxiv: arXiv 1204.5958#JTTZ (example). In XYCBKM4WKY/e1, example 61

History

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

Deep Belief Network BJB32X8VFN

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

Mentions

wikipedia: Wikipedia Unsupervised learning#AKU3, Deep Belief Network (definition)

History

2026-11-02: add by m2/dev

Generalized ideal intersection BJB7CSGMMC

URI	`m2://inv/BJB7CSGMMC`
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.21016#5MK4, Generalized ideal intersection (statement)

History

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

greater BJB8KG5J15

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#8T7Z, greater (definition)

History

2026-11-02: add by m2/dev

Examples BJBBN0JA7F

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

Mentions

wikipedia: Wikipedia *-autonomous category#FVNT, Examples (example)

History

2026-11-02: add by m2/dev

Jacob Wolfowitz BJBEDM5SRJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8I4G, Jacob Wolfowitz (unknown)
wikipedia: Wikipedia List of fellows of the American Statistical Association#QAWP, Jacob Wolfowitz (unknown)

History

2026-11-02: add by m2/dev

BJBHWHWFX4 BJBHWHWFX4

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

Mentions

arxiv: arXiv 2609.29877#EXMC (statement)

History

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

Regular grammar BJBY0A025E

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

Mentions

wikipedia: Wikipedia Regular grammar, Regular grammar (definition). Also Wikidata Q645527

History

2026-11-02: add by m2/dev

Canonical source tests BJC69RAZ9B

URI	`m2://inv/BJC69RAZ9B`
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#L082, Canonical source tests (statement). In 9YAE8FNQST/e1, corollary 30.17

History

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

BJCADQB5QV BJCADQB5QV

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

Mentions

arxiv: arXiv 2609.40096#W08X (statement). In XFE35F9NEV/e1, proposition 2.7

History

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

Properties BJCAM0V5P4

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

Mentions

wikipedia: Wikipedia Simplicial depth#PGVF, Properties (statement)

History

2026-11-02: add by m2/dev

Complex analytic dynamics BJCAMXH7Y9

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#IACK, Complex analytic dynamics (definition)

History

2026-11-02: add by m2/dev

Polynomial time BJCAZ35CW5

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#V2S6, Polynomial time (definition)

History

2026-11-02: add by m2/dev

BJCEF1FT2Q BJCEF1FT2Q

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

Mentions

open_logic: open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 66.6

History

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

Parovicenko space BJCETEJP4C

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

Mentions

mathlib_1000: mathlib_1000 Q7139570, Parovicenko's theorem (statement). Also Wikidata Q7139570
thousand_plus: thousand_plus Q7139570, Parovicenko's theorem (statement). Also Wikidata Q7139570, Wikipedia Parovicenko's theorem
wikipedia: Wikipedia Parovicenko space, Parovicenko space (definition). Also Wikidata Q7139570

History

2026-10-26: add by m2/dev

Concentration for sums of geometric random variables BJCFHHE8T4

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

Mentions

arxiv: arXiv 2610.08766#DLQA, Concentration for sums of geometric random variables (statement). In QA4JM9SHPA/e1, lemma A.4

History

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

addition of matrices BJCFVKF223

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

Mentions

lebl_diffyqs: lebl_diffyqs index/10.2.1/addition-of-matrices, addition of matrices (concept). In E9HS8K3A52, index, section 10.2.1

History

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

AWPP BJCR9TZ17E

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

Mentions

wikipedia: Wikipedia AWPP, AWPP (definition). Also Wikidata Q4655144

History

2026-11-02: add by m2/dev

Whitney-Graustein theorem BJCTNV6HSG

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

Mentions

wikidata: Wikidata Q133554588, Whitney-Graustein theorem (statement). Also EoM Whitney-Graustein_theorem, MathWorld Whitney-GrausteinTheorem

History

2026-10-26: add by m2/dev

V. P. Maslov BJCZS6DWJD

URI	`m2://inv/BJCZS6DWJD`
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#KU9E, V. P. Maslov (topic)

History

2026-11-02: add by m2/dev

Formal definition BJD1PZREDR

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

Mentions

wikipedia: Wikipedia Hopf algebra#QY56, Formal definition (definition)

History

2026-11-02: add by m2/dev

Busemann covariance BJD24Z9QFE

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

Mentions

arxiv: arXiv 2609.28014#GW4X, Busemann covariance (statement)

History

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

Gwido Langer BJD8C03559

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

Mentions

wikipedia: Wikipedia Gwido Langer, Gwido Langer (topic). Also Wikidata Q5623602

History

2026-11-02: add by m2/dev

BJDCB9KV1F BJDCB9KV1F

URI	`m2://inv/BJDCB9KV1F`
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.20421#7GY9 (statement). In Q4R7J8JE3F/e1, theorem 4.2

History

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

BJDD4G8BGX BJDD4G8BGX

URI	`m2://inv/BJDD4G8BGX`
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.08198#2PKM (statement). In 50K0H8HRED/e1, lemma 2.2

History

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

Roald Hoffmann BJDG753SYZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#IS62, Roald Hoffmann (unknown)

History

2026-11-02: add by m2/dev

Examples BJDGXZHJQG

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

Mentions

wikipedia: Wikipedia Initial value problem#S5FE, Examples (example)

History

2026-11-02: add by m2/dev

Applications BJDHWRSVP1

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

Mentions

wikipedia: Wikipedia Byers–Yang theorem#FNIS, Applications (example)

History

2026-11-02: add by m2/dev

BJDJ7RF8MQ BJDJ7RF8MQ

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

Mentions

arxiv: arXiv 2609.20375#HNHB (definition)

History

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

Definition BJDJ8ATBHF

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

Mentions

wikipedia: Wikipedia Exeter point#DBNC, Definition (definition)

History

2026-11-02: add by m2/dev

BJDM062Z9F BJDM062Z9F

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

Mentions

napkin: napkin tex/linalg/inner-form.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 60.2

History

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

Example BJDMC662C6

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

Mentions

wikipedia: Wikipedia Like terms#C9RZ, Example (example)

History

2026-11-02: add by m2/dev

BJDPMXPSKN BJDPMXPSKN

URI	`m2://inv/BJDPMXPSKN`
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.11823#L7QM (statement). In YNQHA63Z2B/e1, lemma 4.3

History

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

BJDSZZTJ9E BJDSZZTJ9E

URI	`m2://inv/BJDSZZTJ9E`
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 2109.12716#KJBG (statement). In 6X76XBE3HV/e1, lemma 3.7

History

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

BJDWEG8TWK BJDWEG8TWK

URI	`m2://inv/BJDWEG8TWK`
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.24363#8H8K (statement)

History

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

Uses BJDYVVBDYE

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

Mentions

wikipedia: Wikipedia Trace identity#YXL5, Uses (example)

History

2026-11-02: add by m2/dev

Algorithm BJE5X6M061

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

Mentions

wikipedia: Wikipedia Symplectic integrator#GK9B, Algorithm (definition)

History

2026-11-02: add by m2/dev

BJEJB5JS65 BJEJB5JS65

URI	`m2://inv/BJEJB5JS65`
Kind	definition
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 2609.24465#OOGH (definition)

History

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

Hans Rohrbach BJENH8GA3B

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

Mentions

wikipedia: Wikipedia List of cryptographers#YQW2, Hans Rohrbach (topic)

History

2026-11-02: add by m2/dev

BJEPQE07TD BJEPQE07TD

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

Mentions

arxiv: arXiv 2609.29531#LSSV (statement)

History

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

Ernesto Laura BJEVW60E68

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

Mentions

wikipedia: Wikipedia Ernesto Laura, Ernesto Laura (topic). Also Wikidata Q3732268

History

2026-11-02: add by m2/dev

Prevalence of tobacco use BJEZ26TPQS

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

Mentions

wikipedia: Wikipedia Prevalence of tobacco use, Prevalence of tobacco use (definition). Also Wikidata Q7242345

History

2026-11-02: add by m2/dev

List of graph theory topics BJF4X72Q6D

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#L4DY, List of graph theory topics (topic)

History

2026-11-02: add by m2/dev

BJF7BHF6BJ BJF7BHF6BJ

URI	`m2://inv/BJF7BHF6BJ`
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.37584#LTMP (statement). In 66F6N3BJWV/e1, theorem 4.5

History

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

Fabien Morel BJFB6D855Q

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

Mentions

wikidata: Wikidata Q726473, Fabien Morel (unknown). Also nLab Fabien Morel
wikipedia: Wikipedia Fabien Morel, Fabien Morel (topic). Also Wikidata Q726473

History

2026-10-26: add by m2/dev

Theorem BJFC1KA6TA

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

Mentions

wikipedia: Wikipedia Characteristic polynomial#Q2X9, Theorem (statement)

History

2026-11-02: add by m2/dev

Applications BJFE7HJS0F

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

Mentions

wikipedia: Wikipedia Möbius transformation#I1NH, Applications (example)

History

2026-11-02: add by m2/dev

BJFTSRJAZ7 BJFTSRJAZ7

URI	`m2://inv/BJFTSRJAZ7`
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 1003.2117#A6CP (statement). In H4D4RFNH2V/e1, theorem 3.8

History

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

set BJFX11AZK0

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

Mentions

hott_book: hott_book index/u1.u5/set, set (concept). In N54F33XE07, index, section u1.u5

History

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

Volterra space BJG85M825N

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

Mentions

wikipedia: Wikipedia Volterra space, Volterra space (definition). Also Wikidata Q13401517

History

2026-11-02: add by m2/dev

BJGK5S2CP4 BJGK5S2CP4

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

Mentions

arxiv: arXiv 2609.40054#PQIM (definition). In CA4C9PFM1E/e1, definition 2.2.1

History

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

Universal centered source estimates BJGKNW42YP

URI	`m2://inv/BJGKNW42YP`
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.10188#10KK, Universal centered source estimates (statement). In S608Z3ZBP6/e1, proposition 2.2

History

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

Kurt Schütte BJGN55C6KE

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

Mentions

wikipedia: Wikipedia List of logicians#I61Y, Kurt Schütte (topic)

History

2026-11-02: add by m2/dev

First Cousin problem BJH29P5S32

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

Mentions

lebl_scv: lebl_scv index/4.6/first-cousin-problem, First Cousin problem (concept). In VNMV985MXX, index, section 4.6

History

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

Shintani zeta function BJH3V6K3WJ

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

Mentions

wikipedia: Wikipedia List of zeta functions#5OI1, Shintani zeta function (definition)

History

2026-11-02: add by m2/dev

BJH409XGRC BJH409XGRC

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

Mentions

arxiv: arXiv 2403.08723#Q8UL (statement). In HGE2NCQW29/e1, proposition 2.6

History

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

Annales de Gergonne BJH5G6W1YJ

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

Mentions

wikidata: Wikidata Q2850664, Annales de Gergonne (unknown). Also ProofWiki Book:Journal/Annales_de_mathématiques_pures_et_appliquées

History

2026-10-26: add by m2/dev

BJH7Q7VBET BJH7Q7VBET

URI	`m2://inv/BJH7Q7VBET`
Kind	statement
Layer	research
MSC	17-XX, 55-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.17482#TCQI (statement). In BQQK9JDJ9F/e1, proposition 4.6

History

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

BJH914J5KN BJH914J5KN

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

Mentions

arxiv: arXiv 2609.28141#QJUQ (definition)

History

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

Shortcut rule (master theorem) BJHB17N9VP

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

Mentions

wikipedia: Wikipedia Recursion (computer science)#81CZ, Shortcut rule (master theorem) (statement)

History

2026-11-02: add by m2/dev

The multiplicative group of $\FF_{17}$ BJHDGQP6T8

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

Mentions

napkin: napkin tex/alg-NT/finite-field.tex#example-5, The multiplicative group of $\FF_{17}$ (example). In RZP28ERRZV, example, section 12.5

History

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

Korn's inequality BJHQZ06744

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

Mentions

wikipedia: Wikipedia Korn's inequality, Korn's inequality (statement). Also Wikidata Q3154002

History

2026-11-02: add by m2/dev

BJHTFXYZY7 BJHTFXYZY7

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

Mentions

arxiv: arXiv 2609.21043#MB9Q (statement)

History

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

Invariant histories BJHTM1QWPS

URI	`m2://inv/BJHTM1QWPS`
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#IYFY, Invariant histories (definition). In WD2NCBV9F0/e1, definition 8.6

History

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

BJHXWER86C BJHXWER86C

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

Mentions

arxiv: arXiv 2505.08839#SHYV (statement). In HJPDS53MX4/e1, proposition 4.3

History

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

Marston Morse BJHZVCXKJ0

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#IFNR, Marston Morse (topic)

History

2026-11-02: add by m2/dev

BJJ0WHJHP6 BJJ0WHJHP6

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

Mentions

arxiv: arXiv 2609.33590#IYO9 (statement). In WRE0P7V6Z3/e1, lemma 3.1

History

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

Dynamic causal modeling BJJAG7HV11

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

Mentions

wikipedia: Wikipedia Dynamic causal modeling, Dynamic causal modeling (definition). Also Wikidata Q5318953

History

2026-11-02: add by m2/dev

$\Und$, $\flat$ and $\sharp$ are functors BJJRV6VHNB

URI	`m2://inv/BJJRV6VHNB`
Kind	statement
Layer	research
MSC	18-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.26270#8O0N, $\Und$, $\flat$ and $\sharp$ are functors (statement)

History

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

Axiom of choice BJJVA2B3AN

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

Mentions

wikipedia: Wikipedia Constructivism (philosophy of mathematics)#4WJ4, Axiom of choice (statement)

History

2026-11-02: add by m2/dev

BJK2VRZAZR BJK2VRZAZR

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

Mentions

arxiv: arXiv 2406.06762#T3QH (statement). In J99PFFJXPE/e1, theorem 4.14

History

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

BJK3R1TZMZ BJK3R1TZMZ

URI	`m2://inv/BJK3R1TZMZ`
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.15472#F6NB (statement). In 5Z3FH46YSY/e1, proposition 4.9

History

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

BJK6YARKNN BJK6YARKNN

URI	`m2://inv/BJK6YARKNN`
Kind	statement
Layer	research
MSC	20-XX, 37-XX, 57-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.19787#4H5W (statement). In A4VP56CT7B/e1, corollary 1.2

History

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

BJKSPFD9T4 BJKSPFD9T4

URI	`m2://inv/BJKSPFD9T4`
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 2610.07828#DXL8 (example). In TWGMVT1N1G/e1, example 8.11

History

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

BJKT1ZWCVT BJKT1ZWCVT

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#mv:prop:convexlip (statement). In E59CDZA4DP, prop, section 11.4.1

History

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

BJKVR6BA7H BJKVR6BA7H

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

Mentions

arxiv: arXiv 2609.36321#7ZZ9 (definition). In 3KTZ6Z615H/e1, definition 8.1

History

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

BJKX4HDE59 BJKX4HDE59

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

Mentions

arxiv: arXiv 2508.21045#AIJX (statement). In CGA36VE1C5/e1, fact 2.3.3

History

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

differential BJM1MBGPNR

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

Mentions

wikidata: Wikidata Q5130428, differential (unknown). Also MathWorld Differential
wikidata: Wikidata Q750432, differential of a function (unknown). Also EoM Differential, MathWorld Differential
wikipedia: Wikipedia Differential of a function, Differential of a function (definition). Also Wikidata Q750432
wikipedia: Wikipedia Differential (mathematics), Differential (definition). Also Wikidata Q5130428

History

2026-10-26: add by m2/dev

Perfect ring BJMAG2ESCN

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#82SR, Perfect ring (definition)

History

2026-11-02: add by m2/dev

BJMCWAKEPY BJMCWAKEPY

URI	`m2://inv/BJMCWAKEPY`
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.13847#BZHG (statement). In S4FHV821A2/e1, lemma 3

History

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

BJMEKSA615 BJMEKSA615

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

Mentions

arxiv: arXiv 2609.33656#SW85 (statement). In 8PXDPT3X9P/e1, corollary 2

History

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

Diameter-end structure BJMVPHT5S9

URI	`m2://inv/BJMVPHT5S9`
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.02276#DCZF, Diameter-end structure (statement). In 3X0RCNDNZA/e1, lemma 4.2

History

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

BJMW69T0K2 BJMW69T0K2

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

History

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

Definition BJN062F1BA

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

Mentions

wikipedia: Wikipedia Invariant extended Kalman filter#0GH3, Definition (definition)

History

2026-11-02: add by m2/dev

BJN5G2TVS2 BJN5G2TVS2

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

Mentions

arxiv: arXiv 2609.19945#LBJN (statement)

History

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

Martin Stokhof BJN95N97XH

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

Mentions

wikipedia: Wikipedia Martin Stokhof, Martin Stokhof (topic). Also Wikidata Q2189050

History

2026-11-02: add by m2/dev

BJNAB2EP2N BJNAB2EP2N

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

Mentions

arxiv: arXiv 2609.20522#FSX6 (statement)

History

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

Gauss lemma BJNADPQG0M

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

Mentions

lebl_scv: lebl_scv scv.tex#thm:gausslemma, Gauss lemma (statement). In VNMV985MXX, thm, section D

History

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

BJNBAY3HS6 BJNBAY3HS6

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

Mentions

arxiv: arXiv 2609.29501#8KGL (statement)

History

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

Icositrigon BJND348JTZ

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ZSJ8, Icositrigon (definition)

History

2026-11-02: add by m2/dev

BJNE0WGFN8 BJNE0WGFN8

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

Mentions

arxiv: arXiv 2609.35323#ITO8 (statement). In 5CKPXBWSCX/e1, lemma 2.5

History

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

BJNFZ4NCPQ BJNFZ4NCPQ

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

Mentions

wikipedia: Wikipedia Polygonalization#TZH3 (problem)

History

2026-11-02: add by m2/dev

BJNG08GGCC BJNG08GGCC

URI	`m2://inv/BJNG08GGCC`
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.16530#BP9C (statement). In G2BFEBAX2W/e1, lemma 3.1

History

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

Sergey Nikolsky BJNH7C7AM1

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

Mentions

wikipedia: Wikipedia Sergey Nikolsky, Sergey Nikolsky (topic). Also Wikidata Q34458

History

2026-11-02: add by m2/dev

BJNPXBDVZX BJNPXBDVZX

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

Mentions

arxiv: arXiv 2609.25307#QNO8 (statement)

History

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

BJNQFRREAD BJNQFRREAD

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

Mentions

arxiv: arXiv 2609.36622#DK83 (statement). In 9704QPRPR6/e1, proposition 3.11

History

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

Example BJNR1HXH3G

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

Mentions

wikipedia: Wikipedia Wave front set#KU5K, Example (example)

History

2026-11-02: add by m2/dev

BJP1H4ZEET BJP1H4ZEET

URI	`m2://inv/BJP1H4ZEET`
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.20588#9012 (definition)

History

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

Laura Person BJP2VSNS2H

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

Mentions

wikipedia: Wikipedia Laura Person, Laura Person (topic). Also Wikidata Q49170324

History

2026-11-02: add by m2/dev

Symmetry BJPFN726MQ

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

Mentions

wikipedia: Wikipedia Order-6 dodecahedral honeycomb#B7RW, Symmetry (statement)

History

2026-11-02: add by m2/dev

Non-negative matrix factorization BJPFQPJ5VP

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

Mentions

wikipedia: Wikipedia Non-negative matrix factorization, Non-negative matrix factorization (definition). Also Wikidata Q10843505

History

2026-11-02: add by m2/dev

BJPKQS4T38 BJPKQS4T38

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

Mentions

arxiv: arXiv 2610.06746#9YPW (statement). In B8A6BPP922/e1, lemma 2.7

History

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

Standard correlation BJPMSEHXJH

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

Mentions

arxiv: arXiv 2610.13892#ZFYO, Standard correlation (definition). In HV9KKEBBDD/e1, definition III.7

History

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

BJPZFD7QS9 BJPZFD7QS9

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

Mentions

arxiv: arXiv 2610.16821#M2DK (statement). In EFSGMHG5BW/e1, theorem 3.6

History

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

Sequence transformation BJQ0M1Z6A6

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

Mentions

wikipedia: Wikipedia Sequence transformation, Sequence transformation (definition). Also Wikidata Q17086813

History

2026-11-02: add by m2/dev

BJQ2R838D6 BJQ2R838D6

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

Mentions

arxiv: arXiv 2505.04593#T9QT (statement). In PEXJPV3NP8/e1, theorem 3.7

History

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

BJQGWMZAWA BJQGWMZAWA

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

Mentions

arxiv: arXiv 2610.16821#SST0 (statement). In EFSGMHG5BW/e1, theorem 4.3

History

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

BJQN63G8RB BJQN63G8RB

URI	`m2://inv/BJQN63G8RB`
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.35398#NV95 (statement). In NAJCCHYXR6/e1, lemma 3.11

History

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

Local nilpotence BJR187NKTW

URI	`m2://inv/BJR187NKTW`
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.20593#MRSX, Local nilpotence (statement). In 7GMD8J4200/e1, theorem 8

History

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

Bounded metric space BJRE6CYPGD

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

Mentions

wikipedia: Wikipedia Metric space#FICW, Bounded metric space (unknown)

History

2026-11-02: add by m2/dev

Gibbard's theorem BJRGKART4K

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

Mentions

wikipedia: Wikipedia Gibbard's theorem#ILEG, Gibbard's theorem (statement)

History

2026-11-02: add by m2/dev

Rózsa Politzer BJRHQ39VDX

URI	`m2://inv/BJRHQ39VDX`
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#8IDD, Rózsa Politzer (topic)

History

2026-11-02: add by m2/dev

pointwise convergence, complex series BJRS0GX0CB

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

Mentions

lebl_ra: lebl_ra index/1.2.1/pointwise-convergence-complex-series, pointwise convergence, complex series (concept). In E59CDZA4DP, index, section 1.2.1

History

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

Dvoretzky, Aryeh BJRTWXY5JG

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

Mentions

wikipedia: Wikipedia List of statisticians#8CKV, Dvoretzky, Aryeh (topic)

History

2026-11-02: add by m2/dev

BJRVY9BRZS BJRVY9BRZS

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

Mentions

arxiv: arXiv 2207.11097#NY5L (statement). In 13H5BTAXHF/e1, proposition 12

History

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

BJRW42MQVA BJRW42MQVA

URI	`m2://inv/BJRW42MQVA`
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.03238#7LBM (statement). In 5PG581A1GK/e1, theorem 11

History

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

BJRX4VFK94 BJRX4VFK94

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-16 (exercise). In Y91XFCEVHQ, exercise, section 3.1

History

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

exchange symmetry BJRYC5RSRH

URI	`m2://inv/BJRYC5RSRH`
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.02743#07CR, exchange symmetry (statement). In GQH4ZPDWET/e1, lemma 2.4

History

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

Spitzer's formula BJSX5T7ERQ

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

Mentions

wikipedia: Wikipedia Spitzer's formula, Spitzer's formula (statement). Also Wikidata Q7578329

History

2026-11-02: add by m2/dev

Hamiltonian system BJT0MCBF6X

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#DTB0, Hamiltonian system (definition)

History

2026-11-02: add by m2/dev

deductively equivalent BJT7DK6011

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

Mentions

wikipedia: Wikipedia Glossary of logic#J4RN, deductively equivalent (definition)

History

2026-11-02: add by m2/dev

Concept image and concept definition BJT9FMS2N8

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

Mentions

wikipedia: Wikipedia Concept image and concept definition, Concept image and concept definition (definition). Also Wikidata Q16950824

History

2026-11-02: add by m2/dev

BJT9W2B025 BJT9W2B025

URI	`m2://inv/BJT9W2B025`
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.22190#O47V (definition). In AM6Y5W3HGG/e1, definition 1

History

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

BJTBRSBA46 BJTBRSBA46

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

Mentions

arxiv: arXiv 2610.06806#WXL4 (statement). In ZZQT0GFMT2/e1, lemma 2.7

History

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

All budgets BJTT1D191D

URI	`m2://inv/BJTT1D191D`
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.12641#FLET, All budgets (statement). In X5BYGZZHPF/e1, theorem F.2

History

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

BJTVCPK0FN BJTVCPK0FN

URI	`m2://inv/BJTVCPK0FN`
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 2409.19687#7ZA2 (statement). In GWP0HYMDE3/e1, theorem 1

History

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

BJTVTK0PFC BJTVTK0PFC

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

Mentions

arxiv: arXiv 2610.07530#GYMP (definition). In C7QZ0VPBC8/e1, definition 2.9

History

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

A stronger bound for reduced pullback BJTXT3NH90

URI	`m2://inv/BJTXT3NH90`
Kind	statement
Layer	research
MSC	13-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.07528#BV6C, A stronger bound for reduced pullback (statement). In WVX0T502A1/e1, corollary 4.3

History

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

Julia Wolf BJV114KW2K

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#TWPT, Julia Wolf (topic)

History

2026-11-02: add by m2/dev

Numerical differentiation BJV5BKG0TX

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#2W8N, Numerical differentiation (definition)

History

2026-11-02: add by m2/dev

Independent Sets, Vertex Covers, and Well-Coveredness BJVA6FQVBW

URI	`m2://inv/BJVA6FQVBW`
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.09300#SNL5, Independent Sets, Vertex Covers, and Well-Coveredness (definition). In JP589KS01S/e1, definition 2.3

History

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

Properties BJVE7GVW6P

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

Mentions

wikipedia: Wikipedia Voronoi diagram#SBD2, Properties (statement)

History

2026-11-02: add by m2/dev

Barban–Davenport–Halberstam theorem BJVMTHSB7V

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

Mentions

mathlib_1000: mathlib_1000 Q15813392, Barban–Davenport–Halberstam theorem (statement). Also Wikidata Q15813392
thousand_plus: thousand_plus Q15813392, Barban–Davenport–Halberstam theorem (statement). Also Wikidata Q15813392, Wikipedia Barban–Davenport–Halberstam theorem
wikipedia: Wikipedia Barban–Davenport–Halberstam theorem, Barban–Davenport–Halberstam theorem (statement). Also Wikidata Q15813392

History

2026-10-26: add by m2/dev

Partially linear model BJW237TV9E

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

Mentions

wikipedia: Wikipedia Partially linear model, Partially linear model (definition). Also Wikidata Q65083906

History

2026-11-02: add by m2/dev

BJW23WM8NZ BJW23WM8NZ

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

Mentions

arxiv: arXiv 2610.06876#TDNK (statement). In BPCHEMS4RK/e1, proposition 7.1

History

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

multiple BJW2KEZQM9

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

Mentions

wikidata: Wikidata Q1055293, multiple (unknown). Also MathWorld Multiple
wikipedia: Wikipedia Multiple (mathematics), Multiple (definition). Also Wikidata Q1055293

History

2026-10-26: add by m2/dev

Algebraic properties BJW4NFRPZV

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

Mentions

wikipedia: Wikipedia Dirac delta function#7XBQ, Algebraic properties (statement)

History

2026-11-02: add by m2/dev

Nyquist–Shannon sampling theorem BJWHRZN7ZD

URI	`m2://inv/BJWHRZN7ZD`
Kind	statement
Layer	textbook
MSC	94-XX
Sources	4
Outcome	open
Node	Nyquist–Shannon sampling theorem BMXDMHRXBG

Mentions

mathlib_1000: mathlib_1000 Q679800, Nyquist–Shannon sampling theorem (statement). Also Wikidata Q679800
thousand_plus: thousand_plus Q679800, Nyquist–Shannon sampling theorem (statement). Also Wikidata Q679800, Wikipedia Nyquist–Shannon sampling theorem
wikidata: Wikidata Q679800, Nyquist–Shannon sampling theorem (statement). Also EoM Shannon_sampling_theorem, MathWorld SamplingTheorem
wikipedia: Wikipedia Nyquist–Shannon sampling theorem, Nyquist–Shannon sampling theorem (statement). Also Wikidata Q679800

History

2026-10-26: add by m2/dev

BJWNM07FCC BJWNM07FCC

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

Mentions

arxiv: arXiv 2508.07340#TMC3 (statement). In 2HSB99DW4M/e1, proposition 5.1

History

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

center BJWNYJ0VZ1

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

Mentions

wikidata: Wikidata Q23595, center (unknown). Also MathWorld Center
wikipedia: Wikipedia Centre (geometry), Centre (definition). Also Wikidata Q23595

History

2026-10-26: add by m2/dev

Shortfall-minimizing allocation rules BJWPGTZ75Y

URI	`m2://inv/BJWPGTZ75Y`
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 2304.10461#K2EU, Shortfall-minimizing allocation rules (definition). In H3DS7TK6R1/e1, definition C.1

History

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

function BJWQKHM1KZ

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

Mentions

levin_dmoi: levin_dmoi index/1.4/function, function (concept). In Y91XFCEVHQ, index, section 1.4

History

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

Elizabeth H. Slate BJX1XZNY89

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

Mentions

wikipedia: Wikipedia Elizabeth H. Slate, Elizabeth H. Slate (topic). Also Wikidata Q42331380

History

2026-11-02: add by m2/dev

Definition BJX7XG45C6

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

Mentions

wikipedia: Wikipedia Barnes zeta function#CZYG, Definition (definition)

History

2026-11-02: add by m2/dev

blockchain BJXD0QK1XP

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

Mentions

wikidata: Wikidata Q20514253, blockchain (unknown). Also nLab blockchain
wikipedia: Wikipedia Blockchain, Blockchain (definition). Also Wikidata Q20514253

History

2026-10-26: add by m2/dev

BJXE8A8QYH BJXE8A8QYH

URI	`m2://inv/BJXE8A8QYH`
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 2501.17009#9YMI (statement). In PESAKD6SSW/e1, corollary 5.21

History

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

BJXVZ7M6WM BJXVZ7M6WM

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

Mentions

arxiv: arXiv 1903.07030#DPIC (definition). In 9H45HQE7AZ/e1, definition 3.27

History

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

BJXZ5DY8AE BJXZ5DY8AE

URI	`m2://inv/BJXZ5DY8AE`
Kind	definition
Layer	research
MSC	54-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.24545#EHP7 (definition)

History

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

perfect number BJXZEH198P

URI	`m2://inv/BJXZEH198P`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Perfect number 0MXGYCH4SY

Mentions

wikidata: Wikidata Q170043, perfect number (definition). Also MathWorld PerfectNumber, OEIS A000396, ProofWiki Definition:Perfect_Number
wikipedia: Wikipedia Perfect number, Perfect number (conjecture). Also Wikidata Q170043

History

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

BJY58NN84P BJY58NN84P

URI	`m2://inv/BJY58NN84P`
Kind	statement
Layer	research
MSC	05-XX, 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.16332#WB04 (statement). In JJQPFXZQ3D/e1, proposition 4.1

History

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

Approximations of BJY63YC10R

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

Mentions

wikipedia: Wikipedia List of topics related to π#H8XY, Approximations of (definition)

History

2026-11-02: add by m2/dev

BJYEZT7E88 BJYEZT7E88

URI	`m2://inv/BJYEZT7E88`
Kind	statement
Layer	research
MSC	05-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 2411.00562#XJTZ (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm

History

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

Course-of-values recursion BJYV3GNRZ8

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

Mentions

wikipedia: Wikipedia Course-of-values recursion, Course-of-values recursion (definition). Also Wikidata Q5178160

History

2026-11-02: add by m2/dev

Example BJZ0AJXWV5

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

Mentions

wikipedia: Wikipedia 99 Bottles of Beer#202M, Example (example)

History

2026-11-02: add by m2/dev

The function space BJZ166H7NH

URI	`m2://inv/BJZ166H7NH`
Kind	definition
Layer	research
MSC	18-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.26270#S8E3, The function space (definition)

History

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

Notation BJZ4RGGQ0W

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

Mentions

wikipedia: Wikipedia Existential quantification#CF5B, Notation (definition)

History

2026-11-02: add by m2/dev

Rosenthal's inequality BJZDYT54WE

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

Mentions

arxiv: arXiv 2610.00501#ICMW, Rosenthal's inequality (statement). In FTPW1SZ8D3/e1, lemma D.5

History

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

Examples BJZE9YJ3Q4

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

Mentions

wikipedia: Wikipedia Shannon–Hartley theorem#GKQ4, Examples (example)

History

2026-11-02: add by m2/dev

BJZFPJXJMN BJZFPJXJMN

URI	`m2://inv/BJZFPJXJMN`
Kind	statement
Layer	research
MSC	20-XX, 26-XX, 35-XX, 37-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 2311.00585#OP4J (statement). In 332PQD90SW/e1, theorem 4.7

History

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

function, dependent BJZQJTFHZN

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

Mentions

hott_book: hott_book index/1.3/function-dependent, function, dependent (concept). In N54F33XE07, index, section 1.3

History

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

BJZRJFVJDA BJZRJFVJDA

URI	`m2://inv/BJZRJFVJDA`
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 2102.09374#WQF4 (statement). In TGAHH1F8K5/e1, lemma 3.4

History

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