Inventory rows YP

MBR replicates Free Boundary MCF in $\Omega\subset \mathbb{R}^n$. YP01NZYC4H

URI	`m2://inv/YP01NZYC4H`
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.37803#14QR, MBR replicates Free Boundary MCF in $\Omega\subset \mathbb{R}^n$. (statement). In 2RN6YVQD0Z/e1, theorem 2

History

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

Construction YP03EEZFAY

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

Mentions

wikipedia: Wikipedia Heptadecagon#PHXL, Construction (definition)

History

2026-11-02: add by m2/dev

Direct comparison test YP048J8Q5P

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

Mentions

wikipedia: Wikipedia List of real analysis topics#YLP7, Direct comparison test (definition)

History

2026-11-02: add by m2/dev

YP085E4RP0 YP085E4RP0

URI	`m2://inv/YP085E4RP0`
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.40274#5NLQ (statement). In 7ZDNJC9MST/e1, lemma 2.12

History

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

YP0K1CKNTV YP0K1CKNTV

URI	`m2://inv/YP0K1CKNTV`
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.14838#J3BG (statement). In J7ZX3WWRQP/e1, corollary 2.25

History

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

Knife-edge effect YP0YSVPD07

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

Mentions

wikipedia: Wikipedia Diffraction#YDKO, Knife-edge effect (unknown)

History

2026-11-02: add by m2/dev

Definition YP1E2A8EWR

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

Mentions

wikipedia: Wikipedia Stein manifold#NGCP, Definition (definition)

History

2026-11-02: add by m2/dev

Vladimir Zakharov YP1FQVRE4B

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

Mentions

wikipedia: Wikipedia Vladimir Zakharov (mathematician), Vladimir Zakharov (topic). Also Wikidata Q53870350

History

2026-11-02: add by m2/dev

YP1SVM293M YP1SVM293M

URI	`m2://inv/YP1SVM293M`
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.12983#DPEU (statement). In M6TFZ6E060/e1, lemma 4.3

History

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

Applications YP1TK7C3YB

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

Mentions

wikipedia: Wikipedia Lie point symmetry#Q12H, Applications (example)

History

2026-11-02: add by m2/dev

Jordan-Chevalley-Dunford decomposition YP1XNAYBP4

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

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > Jordan-Chevalley-Dunford decomposition, Jordan-Chevalley-Dunford decomposition (unknown). Also Mathlib Module.End.exists_isNilpotent_isSemisimple

History

2026-10-26: add by m2/dev

Kaldor–Hicks criterion YP24511R6M

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

Mentions

wikipedia: Wikipedia List of paradoxes#TT9D, Kaldor–Hicks criterion (unknown)

History

2026-11-02: add by m2/dev

YP29FM7KDK YP29FM7KDK

URI	`m2://inv/YP29FM7KDK`
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.00021#04C1 (statement). In EX42AVA7CV/e1, corollary 5.3

History

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

YP29QZ28BG YP29QZ28BG

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

Mentions

arxiv: arXiv 2610.15517#Z101 (definition). In C87H6KZSBM/e1, definition 1.4

History

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

Allowed Type Set YP2CATGWXQ

URI	`m2://inv/YP2CATGWXQ`
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.09998#OH1S, Allowed Type Set (definition). In AFMB05H7A6/e1, definition 10

History

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

YP2DX2TCW5 YP2DX2TCW5

URI	`m2://inv/YP2DX2TCW5`
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 0810.0962#SDZN (definition). In 80YMRN5KS9/e1, definition 6

History

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

Van der Waerden's theorem YP2E8MET3V

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

Mentions

wikipedia: Wikipedia Hales–Jewett theorem#W67P, Van der Waerden's theorem (statement)

History

2026-11-02: add by m2/dev

Definitions YP2JD0W6V7

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

Mentions

wikipedia: Wikipedia Clique (graph theory)#CEIN, Definitions (definition)

History

2026-11-02: add by m2/dev

Construction YP2M4PDVX7

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

Mentions

wikipedia: Wikipedia Strähle construction#CED7, Construction (definition)

History

2026-11-02: add by m2/dev

Proposition YP2Y8HDD4V

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

Mentions

wikipedia: Wikipedia Tensor product of modules#WLR4, Proposition (statement)

History

2026-11-02: add by m2/dev

YP2Z8KJ5T8 YP2Z8KJ5T8

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

Mentions

arxiv: arXiv 2609.30637#HAAX (statement). In 6G1KBA0SXV/e1, corollary 3.17

History

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

Sequence YP3BX771H8

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

Mentions

wikipedia: Wikipedia List of real analysis topics#DO6R, Sequence (definition)

History

2026-11-02: add by m2/dev

orthogonal matrix YP3FPHCMEJ

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

Mentions

austin_ula: austin_ula index/6.3.3/orthogonal-matrix, orthogonal matrix (concept). In 649HGZKE96, index, section 6.3.3

History

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

James Arthur YP3JG7Z0YH

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

Mentions

wikipedia: Wikipedia James Arthur (mathematician), James Arthur (topic). Also Wikidata Q1679964

History

2026-11-02: add by m2/dev

YP3NMJ4419 YP3NMJ4419

URI	`m2://inv/YP3NMJ4419`
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 0809.0068#6MPY (statement). In MBKYGM01FK/e1, lemma 1.15

History

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

enumeration YP3WTB6TVE

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#NT6G, enumeration (definition)

History

2026-11-02: add by m2/dev

YP4PYZWS7K YP4PYZWS7K

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

Mentions

arxiv: arXiv 2610.00396#4A7L (statement). In V13TE1RWT9/e1, lemma 10.9

History

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

May spectral sequence YP4S3B45XK

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

Mentions

wikidata: Wikidata Q6796623, May spectral sequence (unknown). Also nLab May spectral sequence
wikipedia: Wikipedia May spectral sequence, May spectral sequence (definition). Also Wikidata Q6796623

History

2026-10-26: add by m2/dev

Bernoulli matrix YP4YBHQTNC

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

Mentions

wikipedia: Wikipedia List of named matrices#LX45, Bernoulli matrix (unknown)

History

2026-11-02: add by m2/dev

Syndrome decoding YP50AMEKSS

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#R4B4, Syndrome decoding (definition)

History

2026-11-02: add by m2/dev

YP54G7SB89 YP54G7SB89

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

Mentions

arxiv: arXiv 2609.21668#CXAG (statement)

History

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

Signal-Noise Decomposition of the Average Discrete Hessian YP5HQBT66H

URI	`m2://inv/YP5HQBT66H`
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.16705#2KA8, Signal-Noise Decomposition of the Average Discrete Hessian (statement). In B48YQVGAF5/e1, theorem 4.5

History

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

Formulas involving alternating sums YP5HQME8FD

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

Mentions

wikipedia: Wikipedia Eulerian number#ARS6, Formulas involving alternating sums (statement)

History

2026-11-02: add by m2/dev

YP5N4T0YXK YP5N4T0YXK

URI	`m2://inv/YP5N4T0YXK`
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#QQ3P (definition). In BDN507RN7J/e1, definition 4.7.7

History

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

Pentagonal tiling YP5SHP41MZ

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#RZZX, Pentagonal tiling (object)

History

2026-11-02: add by m2/dev

Goldfeld–Quandt test YP5XS4DXQ9

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

Mentions

wikipedia: Wikipedia Goldfeld–Quandt test, Goldfeld–Quandt test (definition). Also Wikidata Q3519047

History

2026-11-02: add by m2/dev

YP65JBDTKH YP65JBDTKH

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

Mentions

arxiv: arXiv 2609.38017#7H14 (statement). In SYFKJC9X5M/e1, lemma 2.1

History

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

Iwasawa module YP6B1HZD1N

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

Mentions

wikipedia: Wikipedia Tate module#HGPI, Iwasawa module (unknown)

History

2026-11-02: add by m2/dev

American Cryptogram Association YP6CK5H35S

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

Mentions

wikipedia: Wikipedia American Cryptogram Association, American Cryptogram Association (definition). Also Wikidata Q3614054

History

2026-11-02: add by m2/dev

Properties YP6PBF7XJP

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

Mentions

wikipedia: Wikipedia FinSet#NA4I, Properties (statement)

History

2026-11-02: add by m2/dev

Robert Brooks YP6WM62M2T

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#0YEK, Robert Brooks (topic)

History

2026-11-02: add by m2/dev

YP6XGCD695 YP6XGCD695

URI	`m2://inv/YP6XGCD695`
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.00375#DCY0 (statement). In YV6ZXRDHX4/e1, theorem 5.1

History

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

YP6Z7M7JV9 YP6Z7M7JV9

URI	`m2://inv/YP6Z7M7JV9`
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 2610.12489#YSDR (example). In FDWFVD08SE/e1, example 2.5

History

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

YP70174RP9 YP70174RP9

URI	`m2://inv/YP70174RP9`
Kind	definition
Layer	research
MSC	18-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.39317#JEHF (definition). In QM1T8JDK4A/e1, definition 2.11

History

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

YP71PH8H2V YP71PH8H2V

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#prop:sat-ex (statement). In PKGMM3P5QY, prop, section 19.14

History

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

Examples YP76XWCFJP

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

Mentions

wikipedia: Wikipedia Beta-dual space#DI75, Examples (example)

History

2026-11-02: add by m2/dev

Thomas W. Scanlon YP7J4M3N86

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

Mentions

wikipedia: Wikipedia Thomas W. Scanlon, Thomas W. Scanlon (topic). Also Wikidata Q102116533

History

2026-11-02: add by m2/dev

Algorithm YP7M65K653

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

Mentions

wikipedia: Wikipedia Paillier cryptosystem#3G2Q, Algorithm (definition)

History

2026-11-02: add by m2/dev

Ideal triangle YP7NZF89TE

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

Mentions

wikipedia: Wikipedia Ideal triangle, Ideal triangle (definition). Also Wikidata Q5988024

History

2026-11-02: add by m2/dev

YP7QFJ6CGZ YP7QFJ6CGZ

URI	`m2://inv/YP7QFJ6CGZ`
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.26180#BXWK (statement)

History

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

Wil van der Aalst YP7T62GGNV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#6BJB, Wil van der Aalst (unknown)

History

2026-11-02: add by m2/dev

YP7VTQT9T5 YP7VTQT9T5

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

Mentions

arxiv: arXiv 2610.12619#LJ2R (statement). In 7F8KACT5AJ/e1, lemma 3.6

History

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

YP7XG57D3V YP7XG57D3V

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#definition-4 (definition). In RZP28ERRZV, definition, section 58.5

History

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

YP867CVNEN YP867CVNEN

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#example-8 (example). In E59CDZA4DP, example, section 8.5

History

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

YP880J1ZPN YP880J1ZPN

URI	`m2://inv/YP880J1ZPN`
Kind	definition
Layer	research
MSC	13-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 1001.1196#8M24 (definition). In BCB418GV9C/e1, definition 3.1

History

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

YP88NARVDT YP88NARVDT

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

Mentions

arxiv: arXiv 2609.21994#A7BO (statement)

History

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

Notation YP8AHVXWRD

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

Mentions

wikipedia: Wikipedia Friedberg–Muchnik theorem#0J0U, Notation (definition)

History

2026-11-02: add by m2/dev

Scatterplot smoothing YP8FEAPRKW

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

Mentions

wikipedia: Wikipedia List of statistics articles#7XVL, Scatterplot smoothing (definition)

History

2026-11-02: add by m2/dev

YP8QEHHGF8 YP8QEHHGF8

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

Mentions

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

History

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

Symmetry YP8R3E317W

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

Mentions

wikipedia: Wikipedia Rook's graph#YAG8, Symmetry (statement)

History

2026-11-02: add by m2/dev

Four-cusp Eisenstein scattering YP98PGZ3GK

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

Mentions

arxiv: arXiv 2609.25925#QYXU, Four-cusp Eisenstein scattering (statement)

History

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

Wolfgang Hahn YP9D77VSED

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

Mentions

wikipedia: Wikipedia Wolfgang Hahn, Wolfgang Hahn (topic). Also Wikidata Q108251

History

2026-11-02: add by m2/dev

Shadow YP9D796BV9

URI	`m2://inv/YP9D796BV9`
Kind	definition
Layer	research
MSC	35-XX, 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.10257#47E1, Shadow (definition). In BQD9MJHKV8/e1, definition 4.3

History

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

Stinespring factorization theorem YP9DQ1CPFJ

URI	`m2://inv/YP9DQ1CPFJ`
Kind	statement
Layer	textbook
MSC	47-XX
Sources	4
Outcome	open
Node	Stinespring dilation theorem X8K0Z7484R

Mentions

mathlib_1000: mathlib_1000 Q7617407, Stinespring factorization theorem (statement). Also Wikidata Q7617407
thousand_plus: thousand_plus Q7617407, Stinespring factorization theorem (statement). Also Wikidata Q7617407, Wikipedia Stinespring factorization theorem
wikidata: Wikidata Q7617407, Stinespring factorization theorem (statement). Also nLab Stinespring factorization theorem
wikipedia: Wikipedia Stinespring dilation theorem, Stinespring dilation theorem (statement). Also Wikidata Q7617407

History

2026-10-26: add by m2/dev

Hamiltonian graph YPA2K78CAS

URI	`m2://inv/YPA2K78CAS`
Kind	definition
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Hamiltonian graph 090WPKFABX

Mentions

wikidata: Wikidata Q18011235, Hamiltonian graph (definition). Also MathWorld HamiltonianGraph, ProofWiki Definition:Hamiltonian_Graph

History

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

Runic snub 24-cell YPA6BMSGMX

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

Mentions

wikipedia: Wikipedia Uniform 4-polytope#N0UX, Runic snub 24-cell (unknown)

History

2026-11-02: add by m2/dev

YPA9K73G36 YPA9K73G36

URI	`m2://inv/YPA9K73G36`
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 2201.10697#1JPL (statement). In WN2Z20ZV49/e1, theorem 6.3

History

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

Theorem YPABQ7KTGP

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

Mentions

wikipedia: Wikipedia Extensions of symmetric operators#GIQ6, Theorem (statement)

History

2026-11-02: add by m2/dev

Kolmogorov backward equations YPADGWTGCJ

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

Mentions

wikipedia: Wikipedia Kolmogorov backward equations (diffusion), Kolmogorov backward equations (definition). Also Wikidata Q3366755

History

2026-11-02: add by m2/dev

Fréchet distribution YPAHZ6V8KX

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

Mentions

wikipedia: Wikipedia List of statistics articles#2GUE, Fréchet distribution (definition)

History

2026-11-02: add by m2/dev

YPAKVSEEEG YPAKVSEEEG

URI	`m2://inv/YPAKVSEEEG`
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.17737#B659 (statement). In 8SXY7Y68HV/e1, theorem C

History

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

Bitwarden YPARDF5EGZ

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

Mentions

wikipedia: Wikipedia Bitwarden, Bitwarden (definition). Also Wikidata Q56319818

History

2026-11-02: add by m2/dev

YPAVBJ2GE6 YPAVBJ2GE6

URI	`m2://inv/YPAVBJ2GE6`
Kind	definition
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 2610.19854#VISI (definition). In D50WST4CG3/e1, definition 5.1

History

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

Michael Rathjen YPB99WV35W

URI	`m2://inv/YPB99WV35W`
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#LTWT, Michael Rathjen (unknown)

History

2026-11-02: add by m2/dev

YPBEMBGRD2 YPBEMBGRD2

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

Mentions

arxiv: arXiv 2610.14914#X5C4 (statement). In CHC3T113Y4/e1, corollary 5.3

History

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

Big Five Hlabisa Local Municipality YPBH0FENNV

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

Mentions

wikipedia: Wikipedia List of places with numeric names#BRBY, Big Five Hlabisa Local Municipality (unknown)

History

2026-11-02: add by m2/dev

Extensions YPBMHYJ8ZP

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

Mentions

wikipedia: Wikipedia Advanced Matrix Extensions#W5IR, Extensions (statement)

History

2026-11-02: add by m2/dev

YPBVY3H8ZJ YPBVY3H8ZJ

URI	`m2://inv/YPBVY3H8ZJ`
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.16245#6067 (statement). In 60CQJN845D/e1, theorem 3

History

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

Juan Luis Vives YPC6S99X5T

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

Mentions

wikipedia: Wikipedia List of logicians#R5UZ, Juan Luis Vives (unknown)

History

2026-11-02: add by m2/dev

Applications YPC9126R9J

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

Mentions

wikipedia: Wikipedia Cellular automaton#7IHL, Applications (example)

History

2026-11-02: add by m2/dev

YPC9394E4Z YPC9394E4Z

URI	`m2://inv/YPC9394E4Z`
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.13528#NFFY (statement). In TSBJEBS7SP/e1, lemma 5.1

History

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

Extension YPCEE2MFGG

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

Mentions

wikipedia: Wikipedia Rule of three (statistics)#OX9X, Extension (statement)

History

2026-11-02: add by m2/dev

Order of a kernel YPCFJM7KXH

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

Mentions

wikipedia: Wikipedia List of statistics articles#A2GT, Order of a kernel (definition)

History

2026-11-02: add by m2/dev

Friedrich Hartogs YPCFMW6QGX

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#26VY, Friedrich Hartogs (topic)

History

2026-11-02: add by m2/dev

YPCG1W5S7P YPCG1W5S7P

URI	`m2://inv/YPCG1W5S7P`
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 2011.07352#JDMK (statement). In 3VPC1GGZ3E/e1, lemma 1.3

History

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

YPCMF4WWSQ YPCMF4WWSQ

URI	`m2://inv/YPCMF4WWSQ`
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.04124#7YQD (statement). In DB9WCCW840/e1, lemma 0.6

History

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

Frobenius' theorem YPCPZDH2WN

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

Mentions

wikipedia: Wikipedia Darboux's theorem#S13Q, Frobenius' theorem (statement)

History

2026-11-02: add by m2/dev

Properties YPCV64484J

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

Mentions

wikipedia: Wikipedia Convergence of random variables#STZA, Properties (statement)

History

2026-11-02: add by m2/dev

Brauer's third main theorem YPCV68J8YW

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

Mentions

wikipedia: Wikipedia Brauer's three main theorems#Z9E3, Brauer's third main theorem (statement)

History

2026-11-02: add by m2/dev

Conditional entropy YPCYWDKG1R

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

Mentions

wikipedia: Wikipedia Conditional entropy, Conditional entropy (definition). Also Wikidata Q813908

History

2026-11-02: add by m2/dev

YPCZ3T90F6 YPCZ3T90F6

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

Mentions

arxiv: arXiv 2609.20607#M7DR (problem)

History

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

$\Site_\pt$ with the trivial topology is a concrete site YPD2MF44YG

URI	`m2://inv/YPD2MF44YG`
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#V9GG, $\Site_\pt$ with the trivial topology is a concrete site (statement)

History

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

Stability spectrum YPD48DT5DY

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

Mentions

wikipedia: Wikipedia Stability spectrum, Stability spectrum (definition). Also Wikidata Q7595730

History

2026-11-02: add by m2/dev

Leray–Hirsch theorem YPD9VM4P6N

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

Mentions

wikipedia: Wikipedia List of theorems#LHO2, Leray–Hirsch theorem (statement)

History

2026-11-02: add by m2/dev

YPDFCD7HV9 YPDFCD7HV9

URI	`m2://inv/YPDFCD7HV9`
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.36113#0YR5 (statement). In FSGSVD0XYH/e1, lemma 22

History

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

Corollary YPDSFD8QVH

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

Mentions

wikipedia: Wikipedia Transitive relation#Y53B, Corollary (statement)

History

2026-11-02: add by m2/dev

square root of a matrix YPDTTVJHKC

URI	`m2://inv/YPDTTVJHKC`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Square root of a matrix 63FAKMYZ2E

Mentions

wikidata: Wikidata Q964330, square root of a matrix (unknown). Also MathWorld MatrixSquareRoot
wikipedia: Wikipedia Square root of a matrix, Square root of a matrix (definition). Also Wikidata Q964330

History

2026-10-26: add by m2/dev

YPDX0WEYTB YPDX0WEYTB

URI	`m2://inv/YPDX0WEYTB`
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.22469#9WKA (statement)

History

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

YPDYBFBBK8 YPDYBFBBK8

URI	`m2://inv/YPDYBFBBK8`
Kind	problem
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.19437#L23L (problem). In 9PXXGQ978Z/e1, problem 5.10

History

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

universal, property, of pushout YPE2MKH3M4

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

Mentions

hott_book: hott_book index/6.4/universal-property-of-pushout, universal, property, of pushout (concept). In N54F33XE07, index, section 6.4

History

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

YPE6JMY9M3 YPE6JMY9M3

URI	`m2://inv/YPE6JMY9M3`
Kind	example
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#0Y9T (example). In Q5Z178SAHP/e1, example 5.9

History

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

selection YPE80B1MDE

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#EILZ, selection (definition)

History

2026-11-02: add by m2/dev

Whitney inequality YPEBTKJY5H

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

Mentions

wikipedia: Wikipedia Whitney inequality, Whitney inequality (statement). Also Wikidata Q20681372

History

2026-11-02: add by m2/dev

Noetherian YPEV90E2DC

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#WVMP, Noetherian (definition)

History

2026-11-02: add by m2/dev

Lower coefficient YPEZ4BFY03

URI	`m2://inv/YPEZ4BFY03`
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#O1BV, Lower coefficient (statement). In BJXVV4ZF7B/e1, proposition 8.3

History

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

YPF1WS8V0H YPF1WS8V0H

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

Mentions

arxiv: arXiv 2610.13100#LZPL (statement). In CC6S1HVK0T/e1, theorem 9.8

History

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

tangent cone YPF6A6P16N

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#QN9M, tangent cone (definition)

History

2026-11-02: add by m2/dev

Tolerance interval YPF7TG2DP5

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

Mentions

wikipedia: Wikipedia List of statistics articles#N36V, Tolerance interval (definition)

History

2026-11-02: add by m2/dev

Janson inequality YPF90RCSY0

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

Mentions

wikipedia: Wikipedia Janson inequality, Janson inequality (statement). Also Wikidata Q96384187

History

2026-11-02: add by m2/dev

optical transfer function YPF93ABYCA

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

Mentions

wikipedia: Wikipedia Optical transfer function#CKLX, optical transfer function (definition)

History

2026-11-02: add by m2/dev

Corollary YPF9TVTBET

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

Mentions

wikipedia: Wikipedia Gauss's lemma (polynomials)#7543, Corollary (statement)

History

2026-11-02: add by m2/dev

YPFB4D589B YPFB4D589B

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

Mentions

arxiv: arXiv 2610.05259#4HM6 (statement). In X1J5HKPS3R/e1, corollary 3.7

History

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

Eberlein–Šmulian theorem YPFGBKWH36

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

Mentions

wikipedia: Wikipedia List of theorems#IFUV, Eberlein–Šmulian theorem (statement)

History

2026-11-02: add by m2/dev

YPFGTNJGGZ YPFGTNJGGZ

URI	`m2://inv/YPFGTNJGGZ`
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.16060#UDMA (statement). In X0BTF9HPGM/e1, lemma 5.4

History

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

Alternative definitions YPFM25CQ9H

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

Mentions

wikipedia: Wikipedia Pi prime#OYTL, Alternative definitions (definition)

History

2026-11-02: add by m2/dev

YPFQJSHX8A YPFQJSHX8A

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

Mentions

arxiv: arXiv 2609.20683#AAKQ (statement)

History

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

YPFRX045M6 YPFRX045M6

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

Mentions

arxiv: arXiv 2610.04325#PTJA (statement). In 42XHT97E64/e1, lemma 4.1

History

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

YPG5F2WDKT YPG5F2WDKT

URI	`m2://inv/YPG5F2WDKT`
Kind	problem
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.10262#FF4R (problem). In MVSGDTN2PB/e1, problem 1.2

History

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

YPGB4X4Z85 YPGB4X4Z85

URI	`m2://inv/YPGB4X4Z85`
Kind	definition
Layer	research
MSC	46-XX, 47-XX, 81-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.04694#TITB (definition). In W9A0Z2NBMA/e1, definition 1

History

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

YPGSK0HDW3 YPGSK0HDW3

URI	`m2://inv/YPGSK0HDW3`
Kind	problem
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.21017#04EX (problem). In 8KKYZ4NKT2/e1, problem 21

History

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

Ricci flow YPGW1FB1BJ

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#84RD, Ricci flow (definition)

History

2026-11-02: add by m2/dev

YPGXAVJ2MG YPGXAVJ2MG

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-18 (exercise). In E9HS8K3A52, exercise, section 9.2.1

History

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

YPH3SG232S YPH3SG232S

URI	`m2://inv/YPH3SG232S`
Kind	statement
Layer	research
MSC	16-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 2205.13464#SN9G (statement). In JPYGC2R3FC/e1, proposition 6.7

History

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

Definition YPH4GA3H3Y

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

Mentions

wikipedia: Wikipedia Sl2-triple#DSF9, Definition (definition)

History

2026-11-02: add by m2/dev

YPH6JPTEXB YPH6JPTEXB

URI	`m2://inv/YPH6JPTEXB`
Kind	statement
Layer	research
MSC	11-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.00134#5J2L (statement). In S654779J5P/e1, lemma 2.1

History

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

YPHFETF5QK YPHFETF5QK

URI	`m2://inv/YPHFETF5QK`
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 2308.05066#U7V0 (statement). In 1QSCT53ZED/e1, corollary 7.16

History

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

Witold Nowacki YPHP7HPYSQ

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

Mentions

wikipedia: Wikipedia Witold Nowacki, Witold Nowacki (topic). Also Wikidata Q9375789

History

2026-11-02: add by m2/dev

Cone condition implies a Lipschitz graph YPHVAXJHCG

URI	`m2://inv/YPHVAXJHCG`
Kind	statement
Layer	research
MSC	26-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.22407#0ZKT, Cone condition implies a Lipschitz graph (statement)

History

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

Wang and Landau algorithm YPHWW48MM4

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

Mentions

wikipedia: Wikipedia List of statistics articles#7XL8, Wang and Landau algorithm (definition)

History

2026-11-02: add by m2/dev

YPJ1EFCH3D YPJ1EFCH3D

URI	`m2://inv/YPJ1EFCH3D`
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.21298#WL2H (statement). In AXWM2MBYXV/e1, lemma 2.1

History

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

E7 lattice YPJ8HCXXXY

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

Mentions

wikipedia: Wikipedia 3 31 honeycomb#RPFO, E7 lattice (unknown)

History

2026-11-02: add by m2/dev

YPJQPVCQ0T YPJQPVCQ0T

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

Mentions

arxiv: arXiv 2609.20190#ELBT (statement)

History

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

YPJQV43TKF YPJQV43TKF

URI	`m2://inv/YPJQV43TKF`
Kind	statement
Layer	research
MSC	20-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 2008.10035#9FFW (statement). In 29EH04FH4B/e1, lemma 5.2

History

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

Sam Khok District YPJSQX3C1F

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

Mentions

wikipedia: Wikipedia List of places with numeric names#Z68W, Sam Khok District (unknown)

History

2026-11-02: add by m2/dev

Mohr–Coulomb theory YPJXTXNDPM

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

Mentions

wikipedia: Wikipedia Mohr–Coulomb theory, Mohr–Coulomb theory (definition). Also Wikidata Q3417792

History

2026-11-02: add by m2/dev

radian YPJXY9EQHF

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

Mentions

wikidata: Wikidata Q33680, radian (definition). Also EoM Radian, MathWorld Radian, ProofWiki Definition:Angle/Unit/Radian
wikipedia: Wikipedia Radian, Radian (definition). Also Wikidata Q33680

History

2026-10-26: add by m2/dev

YPK7KKXVZG YPK7KKXVZG

URI	`m2://inv/YPK7KKXVZG`
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.00144#M8JR (definition). In HAZGBX88B3/e1, definition 2.2

History

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

Permissioned blockchain YPK8VEBMN4

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

Mentions

wikipedia: Wikipedia Blockchain#QJF8, Permissioned blockchain (unknown)

History

2026-11-02: add by m2/dev

YPKBH8RR31 YPKBH8RR31

URI	`m2://inv/YPKBH8RR31`
Kind	definition
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#D9AM (definition). In PEXJPV3NP8/e1, definition 2.1

History

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

Exponential local indistinguishability YPKHWNAANY

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

Mentions

arxiv: arXiv 2610.03683#7K9D, Exponential local indistinguishability (statement). In 14AMXF6X2V/e1, lemma 3.6

History

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

YPKM7JJQWX YPKM7JJQWX

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

Mentions

arxiv: arXiv 2610.07280#QI6J (statement). In 1FJKW4WGEN/e1, proposition 4.4

History

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

Kneser–Süss inequality YPKPH6KXF5

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

Mentions

wikipedia: Wikipedia Blaschke sum#HOR0, Kneser–Süss inequality (statement)

History

2026-11-02: add by m2/dev

Quantum Cheshire cat YPKR37EBV3

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

Mentions

wikipedia: Wikipedia List of paradoxes#FJVZ, Quantum Cheshire cat (unknown)

History

2026-11-02: add by m2/dev

YPKWGF8GT5 YPKWGF8GT5

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/undecidability.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 30.4

History

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

True quantified Boolean formula YPM1E7HV7M

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

Mentions

wikipedia: Wikipedia True quantified Boolean formula, True quantified Boolean formula (statement). Also Wikidata Q1350285

History

2026-11-02: add by m2/dev

Morphism of sites YPM6QJ2XE0

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

Mentions

wikipedia: Wikipedia Grothendieck topology#DU8L, Morphism of sites (unknown)

History

2026-11-02: add by m2/dev

YPM7XDPFT4 YPM7XDPFT4

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

Mentions

arxiv: arXiv 2609.27694#HBUU (statement)

History

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

GOE, eigenvalue approximation YPMBE8K47W

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

Mentions

arxiv: arXiv 2609.28781#TK8U, GOE, eigenvalue approximation (statement)

History

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

Theorem 6.1.3 of , Theorem 1.1 of and Theorem 3 YPMBFY5TJM

URI	`m2://inv/YPMBFY5TJM`
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.33442#SG3V, Theorem 6.1.3 of , Theorem 1.1 of and Theorem 3 (statement). In EWY5YPMKA3/e1, theorem 5.1

History

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

Weil interpretation YPMG7ZYGYX

URI	`m2://inv/YPMG7ZYGYX`
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.36548#UMYA, Weil interpretation (statement). In TEGEX298ZR/e1, proposition 2.3

History

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

Parity of zero YPMG9MKYG8

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

Mentions

wikipedia: Wikipedia Parity of zero, Parity of zero (definition). Also Wikidata Q470494

History

2026-11-02: add by m2/dev

tree-depth YPMGHP76QR

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

Mentions

wikidata: Wikidata Q7837500, tree-depth (unknown). Also MathWorld TreeDepth

History

2026-10-26: add by m2/dev

YPMJE8D9EF YPMJE8D9EF

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

Mentions

hott_book: hott_book hlevels.tex#ex:acnm (exercise). In N54F33XE07, ex, section 6.7

History

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

YPMKBK1K1H YPMKBK1K1H

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

Mentions

arxiv: arXiv 2609.32903#3Q57 (definition). In S8NB83KQX3/e1, definition 5

History

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

Linearized gravity YPMNE57ETX

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

Mentions

wikipedia: Wikipedia Linearized gravity, Linearized gravity (definition). Also Wikidata Q546984

History

2026-11-02: add by m2/dev

Hölder condition YPMYH8H6GH

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

Mentions

wikipedia: Wikipedia List of real analysis topics#HT4G, Hölder condition (definition)

History

2026-11-02: add by m2/dev

YPN2Q4JRJB YPN2Q4JRJB

URI	`m2://inv/YPN2Q4JRJB`
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#230Z (statement). In WRE0P7V6Z3/e1, lemma 10.2

History

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

A. D. Alexandrov YPN5935KAQ

URI	`m2://inv/YPN5935KAQ`
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#OGRC, A. D. Alexandrov (unknown)

History

2026-11-02: add by m2/dev

Vertex characters do not determine resolved regularizations YPN72J1GVW

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

Mentions

arxiv: arXiv 2609.27799#TQXM, Vertex characters do not determine resolved regularizations (statement)

History

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

Simpson's paradox YPN7P848VZ

URI	`m2://inv/YPN7P848VZ`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Simpson's paradox T060JHSH05

Mentions

wikidata: Wikidata Q757290, Simpson's paradox (unknown). Also MathWorld SimpsonsParadox
wikipedia: Wikipedia Simpson's paradox, Simpson's paradox (statement). Also Wikidata Q757290

History

2026-10-26: add by m2/dev

Tapering YPN8Q3Y1K3

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

Mentions

wikipedia: Wikipedia Tapering (mathematics), Tapering (definition). Also Wikidata Q7684542

History

2026-11-02: add by m2/dev

Stress–energy–momentum pseudotensor YPN9EWHPSN

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

Mentions

wikipedia: Wikipedia Stress–energy–momentum pseudotensor, Stress–energy–momentum pseudotensor (definition). Also Wikidata Q7623461

History

2026-11-02: add by m2/dev

YPNAF5YDTP YPNAF5YDTP

URI	`m2://inv/YPNAF5YDTP`
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.27078#GEC5 (definition)

History

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

YPNBTV4JGC YPNBTV4JGC

URI	`m2://inv/YPNBTV4JGC`
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.28669#TW76 (definition)

History

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

Hagen Kleinert YPNP2DCX5W

URI	`m2://inv/YPNP2DCX5W`
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 Q76757, Hagen Kleinert (unknown). Also nLab Hagen Kleinert

History

2026-10-26: add by m2/dev

YPNTA6NEBZ YPNTA6NEBZ

URI	`m2://inv/YPNTA6NEBZ`
Kind	definition
Layer	research
MSC	14-XX, 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.35605#MJTO (definition). In X1KWTAA3M2/e1, definition 8

History

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

YPNWXB7MY1 YPNWXB7MY1

URI	`m2://inv/YPNWXB7MY1`
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.20480#8DB8 (statement). In BK4359JSC3/e1, lemma 7.3

History

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

YPP3KRD004 YPP3KRD004

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

Mentions

arxiv: arXiv 2601.15403#UUG0 (statement). In BSWNH3NW1M/e1, lemma 4.2

History

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

Narasimhan's lemma YPP7AZR2AZ

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

Mentions

lebl_scv: lebl_scv index/2.3/narasimhan-s-lemma, Narasimhan's lemma (concept). In VNMV985MXX, index, section 2.3

History

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

YPPE1523BE YPPE1523BE

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

Mentions

arxiv: arXiv 2104.00162#SUSA (example). In HVGT9D84WV/e1, example 1.6

History

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

YPPF58Y8R9 YPPF58Y8R9

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

Mentions

arxiv: arXiv 2609.28669#2OXW (problem)

History

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

Generalization YPPJB06MB2

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

Mentions

wikipedia: Wikipedia Birkhoff–Grothendieck theorem#VSCL, Generalization (statement)

History

2026-11-02: add by m2/dev

YPPM8C37H0 YPPM8C37H0

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

Mentions

arxiv: arXiv 2504.07573#70UG (example). In 78X5SKJX8J/e1, example A.3

History

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

uniform YPPV0P9HZD

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#9HSN, uniform (definition)

History

2026-11-02: add by m2/dev

YPPVEQBYSB YPPVEQBYSB

URI	`m2://inv/YPPVEQBYSB`
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.10790#LG04 (statement). In HHQ6P3RRB8/e1, lemma 2.2

History

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

YPPX5JTSYW YPPX5JTSYW

URI	`m2://inv/YPPX5JTSYW`
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.06108#7MBM (statement). In D3WKY1PW64/e1, theorem

History

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

Streaming SIMD Extensions YPQ0BDE7FT

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

Mentions

wikipedia: Wikipedia Streaming SIMD Extensions, Streaming SIMD Extensions (definition). Also Wikidata Q741291

History

2026-11-02: add by m2/dev

YPQ35B9AWH YPQ35B9AWH

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

Mentions

open_logic: open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#def:MaxCon (definition). In PKGMM3P5QY, defn, section 62.2

History

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

YPQRYZSJ6S YPQRYZSJ6S

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

Mentions

arxiv: arXiv 2610.07490#5D1S (statement). In 1BCKN2RQQ4/e1, lemma 3.1

History

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

Vincent Pilloni YPQW36C2MK

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

Mentions

wikipedia: Wikipedia Vincent Pilloni, Vincent Pilloni (topic). Also Wikidata Q55497273

History

2026-11-02: add by m2/dev

Annals of the Japan Association for the Philosophy of Science YPR0K2XP9G

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

Mentions

wikipedia: Wikipedia List of logic journals#E6PZ, Annals of the Japan Association for the Philosophy of Science (unknown)

History

2026-11-02: add by m2/dev

YPR2DF1AY8 YPR2DF1AY8

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

Mentions

arxiv: arXiv 2609.39747#BTOT (statement). In 9H2KJ3W3JX/e1, theorem 16

History

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

YPR4NTFD32 YPR4NTFD32

URI	`m2://inv/YPR4NTFD32`
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.15504#YUPT (statement). In AZ8SEW6HAV/e1, lemma 5

History

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

Ninety Mile Beach YPRN1R98WT

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

Mentions

wikipedia: Wikipedia List of places with numeric names#Q1H1, Ninety Mile Beach (unknown)

History

2026-11-02: add by m2/dev

TI SR-50 YPRQ4GE4ST

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

Mentions

wikipedia: Wikipedia TI SR-50, TI SR-50 (definition). Also Wikidata Q7670485

History

2026-11-02: add by m2/dev

Transmutation of species YPRSDXF8Z7

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#FW3S, Transmutation of species (unknown)

History

2026-11-02: add by m2/dev

duad YPRW2JAFWE

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#OZVL, duad (definition)

History

2026-11-02: add by m2/dev

Conway algebra YPS167RF30

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

Mentions

wikipedia: Wikipedia Conway algebra, Conway algebra (definition). Also Wikidata Q5166737

History

2026-11-02: add by m2/dev

Statement YPS1SY8DK4

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

Mentions

wikipedia: Wikipedia Bloch's theorem#SZ0H, Statement (statement)

History

2026-11-02: add by m2/dev

YPS2FKMR06 YPS2FKMR06

URI	`m2://inv/YPS2FKMR06`
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.21305#EDJA (statement)

History

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

Heaviside cover-up method YPS3VNQ00W

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

Mentions

wikipedia: Wikipedia Heaviside cover-up method, Heaviside cover-up method (definition). Also Wikidata Q5694970

History

2026-11-02: add by m2/dev

Steerable convolution kernel YPSBHT6FHM

URI	`m2://inv/YPSBHT6FHM`
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.25987#VPTC, Steerable convolution kernel (statement)

History

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

6-cube YPSFCS0QNR

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ASA0, 6-cube (definition)

History

2026-11-02: add by m2/dev

tesseract graph YPSGZQYSY1

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

Mentions

wikidata: Wikidata Q3115607, tesseract graph (unknown). Also House of Graphs 1340, MathWorld TesseractGraph

History

2026-10-26: add by m2/dev

Sigmund Selberg YPSHFY4GES

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

Mentions

wikipedia: Wikipedia Sigmund Selberg, Sigmund Selberg (topic). Also Wikidata Q12718269

History

2026-11-02: add by m2/dev

Knot YPT3T95P1N

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

Mentions

wikipedia: Wikipedia Knot (mathematics), Knot (definition). Also Wikidata Q1188853

History

2026-11-02: add by m2/dev

Absolute minimisers YPT6V7MCHW

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

Mentions

arxiv: arXiv 2609.27918#E42P, Absolute minimisers (definition)

History

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

Compact YPT9NQ0VWS

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#ZXFB, Compact (definition)

History

2026-11-02: add by m2/dev

YPTG5T4BCS YPTG5T4BCS

URI	`m2://inv/YPTG5T4BCS`
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.03081#7AI4 (statement). In TX0H26X4VX/e1, lemma 8.16

History

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

Michel Plancherel YPTPGMR6ZQ

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#0UWE, Michel Plancherel (unknown)

History

2026-11-02: add by m2/dev

Regiomontanus' angle maximization problem YPTPN96MRX

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

Mentions

wikipedia: Wikipedia Regiomontanus' angle maximization problem, Regiomontanus' angle maximization problem (problem). Also Wikidata Q7308957

History

2026-11-02: add by m2/dev

Fermi liquid YPTRTMHT1R

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

Mentions

wikidata: Wikidata Q1890239, Fermi liquid (unknown). Also nLab Landau's Fermi liquid theory
wikipedia: Wikipedia Fermi liquid theory, Fermi liquid theory (definition). Also Wikidata Q1890239

History

2026-10-26: add by m2/dev

Ohsawa–Takegoshi L2 extension theorem YPTVMQ3W2Q

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

Mentions

wikipedia: Wikipedia Ohsawa–Takegoshi L2 extension theorem, Ohsawa–Takegoshi L2 extension theorem (statement). Also Wikidata Q25111495

History

2026-11-02: add by m2/dev

YPTWN3B294 YPTWN3B294

URI	`m2://inv/YPTWN3B294`
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.12105#46S3 (statement). In 289HM2RXT3/e1, lemma 4.1

History

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

Klaus Kubinger YPV2RXFYNZ

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

Mentions

wikipedia: Wikipedia Klaus Kubinger, Klaus Kubinger (topic). Also Wikidata Q87484

History

2026-11-02: add by m2/dev

Equivalence Theorem YPV5S0YBHK

URI	`m2://inv/YPV5S0YBHK`
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.11772#HN7T, Equivalence Theorem (statement). In 2GW9HYGZ8S/e1, theorem 3.1

History

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

Near-regular hypergraphs YPV8XA7FSS

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

Mentions

arxiv: arXiv 2609.26133#WQZP, Near-regular hypergraphs (statement)

History

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

Wedderburn–Artin theorem YPVADRBXF9

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#03FA, Wedderburn–Artin theorem (statement)
wikipedia: Wikipedia List of things named after Emil Artin#FNYL, Wedderburn–Artin theorem (statement)

History

2026-11-02: add by m2/dev

YPVB84969D YPVB84969D

URI	`m2://inv/YPVB84969D`
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.17325#OCZU (statement). In SE16BAED46/e1, proposition 3

History

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

René Descartes YPVZWMQYHT

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

Mentions

wikipedia: Wikipedia List of films about mathematicians#QYWO, René Descartes (topic)

History

2026-11-02: add by m2/dev

``continuity'' of functions in type theory YPW2BGQVY5

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

Mentions

hott_book: hott_book index/9.1/continuity-of-functions-in-type-theory, ``continuity'' of functions in type theory (concept). In N54F33XE07, index, section 9.1

History

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

Confluence with several derivative rows YPW4539924

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

Mentions

arxiv: arXiv 2609.22027#HNIB, Confluence with several derivative rows (statement)

History

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

Dissipative operator YPWFCFK5M9

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

Mentions

wikipedia: Wikipedia Dissipative operator, Dissipative operator (definition). Also Wikidata Q1229326

History

2026-11-02: add by m2/dev

YPWG0Y19B5 YPWG0Y19B5

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/proving-things.tex#ex-2 (example). In PKGMM3P5QY, ex, section 22.11

History

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

Applications YPWMF41SKW

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

Mentions

wikipedia: Wikipedia Differential geometry#GCA4, Applications (example)

History

2026-11-02: add by m2/dev

YPWNVMCRQN YPWNVMCRQN

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

Mentions

arxiv: arXiv 2609.20881#0GRS (problem)

History

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

YPWX2BM796 YPWX2BM796

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#example-17 (example). In E59CDZA4DP, example, section 1.8.2

History

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

Nevanlinna's criterion YPX4ZTZYYV

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

Mentions

wikipedia: Wikipedia Nevanlinna's criterion, Nevanlinna's criterion (statement). Also Wikidata Q7003741

History

2026-11-02: add by m2/dev

YPX8SDJ4Z2 YPX8SDJ4Z2

URI	`m2://inv/YPX8SDJ4Z2`
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 2610.18094#OMBX (statement). In AYANBEWSFH/e1, proposition 3.4

History

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

Anton Zorich YPXGJV4QBD

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

Mentions

wikipedia: Wikipedia Anton Zorich, Anton Zorich (topic). Also Wikidata Q15453860

History

2026-11-02: add by m2/dev

Paul Pierre Lévy YPXKYYKCGG

URI	`m2://inv/YPXKYYKCGG`
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#5R12, Paul Pierre Lévy (topic)

History

2026-11-02: add by m2/dev

YPXMWQ49JR YPXMWQ49JR

URI	`m2://inv/YPXMWQ49JR`
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.23804#MSYC (statement)

History

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

YPXN3D9567 YPXN3D9567

URI	`m2://inv/YPXN3D9567`
Kind	example
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.35467#13AC (example). In FK89DQ9J4S/e1, example 4.5

History

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

Welch's method YPXRRB389Y

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

Mentions

wikipedia: Wikipedia Welch's method, Welch's method (definition). Also Wikidata Q7980541

History

2026-11-02: add by m2/dev

Proof of $P$ by contradiction YPXV4H58WK

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#skeleton-1, Proof of $P$ by contradiction (proof). In P1C114YBXG, skeleton, section F

History

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

YPXWQNN9Y1 YPXWQNN9Y1

URI	`m2://inv/YPXWQNN9Y1`
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#XLJP (statement). In WRE0P7V6Z3/e1, lemma 6.3

History

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

Genus character YPXXAHE2ZK

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

Mentions

wikipedia: Wikipedia Genus character, Genus character (definition). Also Wikidata Q5533831

History

2026-11-02: add by m2/dev

Willem van Zwet YPXZ5NBEHD

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

Mentions

wikipedia: Wikipedia Willem van Zwet, Willem van Zwet (topic). Also Wikidata Q15854600

History

2026-11-02: add by m2/dev

Definition YPY9XZDJ8H

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

Mentions

wikipedia: Wikipedia Choquet integral#J5FQ, Definition (definition)

History

2026-11-02: add by m2/dev

Word problem YPYDSQX16H

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

Mentions

wikipedia: Wikipedia Word problem (mathematics), Word problem (problem). Also Wikidata Q3406273

History

2026-11-02: add by m2/dev

Leifur Ásgeirsson YPYM77QND9

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

Mentions

wikipedia: Wikipedia Leifur Ásgeirsson, Leifur Ásgeirsson (topic). Also Wikidata Q51321681

History

2026-11-02: add by m2/dev

Examples YPYP4K0N0A

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

Mentions

wikipedia: Wikipedia Bateman–Horn conjecture#XZ46, Examples (example)

History

2026-11-02: add by m2/dev

YPYXAA12M8 YPYXAA12M8

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

Mentions

arxiv: arXiv 2609.30892#65BN (definition). In F7C1RM5VA4/e1, definition 1.1

History

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

Elementary recursive arithmetic YPYZ90SHW2

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

Mentions

wikipedia: Wikipedia Elementary function arithmetic#NHSY, Elementary recursive arithmetic (unknown)

History

2026-11-02: add by m2/dev

YPYZWAWV5G YPYZWAWV5G

URI	`m2://inv/YPYZWAWV5G`
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 2610.07092#CK3K (statement). In JWNYJVH8XG/e1, proposition 2.8

History

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

YPZ82D1PKP YPZ82D1PKP

URI	`m2://inv/YPZ82D1PKP`
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.27800#BOP8 (definition)

History

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

Nine Mile River, Nova Scotia YPZ9GJYM01

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

Mentions

wikipedia: Wikipedia List of places with numeric names#764F, Nine Mile River, Nova Scotia (unknown)

History

2026-11-02: add by m2/dev

YPZB5NMAVT YPZB5NMAVT

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

Mentions

arxiv: arXiv 2610.20972#PRQ3 (statement). In 6SZE4MTXGZ/e1, lemma 4.12

History

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

Hypothesis-class definition YPZGPQ8BZ0

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

Mentions

wikipedia: Wikipedia Growth function#HNUV, Hypothesis-class definition (statement)

History

2026-11-02: add by m2/dev

YPZM0PETWN YPZM0PETWN

URI	`m2://inv/YPZM0PETWN`
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.32946#LQU5 (statement). In 6AEBXNK614/e1, lemma 2.7

History

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

YPZMPJ03HN YPZMPJ03HN

URI	`m2://inv/YPZMPJ03HN`
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#K9FB (statement). In N2NQ3QJYTW/e1, corollary 4.2

History

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

Definition YPZQ83G2X6

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

Mentions

wikipedia: Wikipedia Supersilver ratio#2V3X, Definition (definition)

History

2026-11-02: add by m2/dev

Optical rotation YPZSHAVF2Y

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

Mentions

wikipedia: Wikipedia Optical rotation, Optical rotation (definition). Also Wikidata Q530648

History

2026-11-02: add by m2/dev

convex optimization YPZVR5TBA9

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

Mentions

wikidata: Wikidata Q463359, convex optimization (unknown). Also EoM Convex_programming
wikipedia: Wikipedia Convex optimization, Convex optimization (topic). Also Wikidata Q463359

History

2026-10-26: add by m2/dev

YPZVXG3FGJ YPZVXG3FGJ

URI	`m2://inv/YPZVXG3FGJ`
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.11056#PA4M (statement). In 1NDB3SAG7K/e1, corollary 6.2

History

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

Aise Johan de Jong YPZX0ER3HC

URI	`m2://inv/YPZX0ER3HC`
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#4W6H, Aise Johan de Jong (topic)

History

2026-11-02: add by m2/dev