Inventory rows RS

RS019K7C5C RS019K7C5C

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

Mentions

arxiv: arXiv 2610.13972#7UGQ (statement). In S1KHNS8XQM/e1, lemma 2.7

History

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

Pareto interpolation RS04SA7MKC

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

Mentions

wikipedia: Wikipedia Pareto interpolation, Pareto interpolation (definition). Also Wikidata Q7136870

History

2026-11-02: add by m2/dev

RS0J108YBY RS0J108YBY

URI	`m2://inv/RS0J108YBY`
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.06556#RX1V (example). In KW8C7VE9XR/e1, example 21

History

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

RS0QJ66J6A RS0QJ66J6A

URI	`m2://inv/RS0QJ66J6A`
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#029M (statement). In 6X76XBE3HV/e1, lemma 3.3

History

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

RS0R7RBZVC RS0R7RBZVC

URI	`m2://inv/RS0R7RBZVC`
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.11027#KALY (statement). In 2BBW80EX78/e1, proposition 4.10

History

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

Pathwise Ergodic Theorem RS0Y4RKDF6

URI	`m2://inv/RS0Y4RKDF6`
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#E56M, Pathwise Ergodic Theorem (statement). In XFE35F9NEV/e1, theorem 2

History

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

RS0ZEHCEQN RS0ZEHCEQN

URI	`m2://inv/RS0ZEHCEQN`
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.39430#ESC7 (statement). In 6FH24CYAMW/e1, theorem C

History

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

Convergence of Fourier series RS1718N5BX

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

Mentions

wikipedia: Wikipedia List of Fourier analysis topics#7JDC, Convergence of Fourier series (definition)

History

2026-11-02: add by m2/dev

RS1HS4ZG8D RS1HS4ZG8D

URI	`m2://inv/RS1HS4ZG8D`
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#1V9V (definition). In 3KTZ6Z615H/e1, definition 2.6

History

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

RS1HSQDSQQ RS1HSQDSQQ

URI	`m2://inv/RS1HSQDSQQ`
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.05512#GJD5 (statement). In 2F0KX51XKM/e1, theorem 10

History

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

RS1SCVCA4Y RS1SCVCA4Y

URI	`m2://inv/RS1SCVCA4Y`
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 2204.13401#X80A (definition). In B8MJT0GGW8/e1, definition 3.13

History

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

Properties RS1ZFV1NY8

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

Mentions

wikipedia: Wikipedia Spinh group#AFZ9, Properties (statement)

History

2026-11-02: add by m2/dev

RS249QKFBS RS249QKFBS

URI	`m2://inv/RS249QKFBS`
Kind	definition
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#11CD (definition). In 5KR3MHYVV6/e1, definition 6.2

History

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

Notation RS26X1CNZ4

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

Mentions

wikipedia: Wikipedia Gradient#CNIW, Notation (definition)

History

2026-11-02: add by m2/dev

RS28KTXBTE RS28KTXBTE

URI	`m2://inv/RS28KTXBTE`
Kind	problem
Layer	research
MSC	51-XX, 52-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.01087#20UH (problem). In 7QXAZXGNPQ/e1, problem 9.1

History

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

RS29ESVRRM RS29ESVRRM

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

Mentions

arxiv: arXiv 2211.13105#IDY4 (statement). In 5ACPY6CEDV/e1, lemma 2.1

History

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

Premixed flame RS2TNKQP5B

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

Mentions

wikipedia: Wikipedia Premixed flame, Premixed flame (definition). Also Wikidata Q4563566

History

2026-11-02: add by m2/dev

Backward Monge approximation in higher dimensions RS2WHZE8SX

URI	`m2://inv/RS2WHZE8SX`
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#PUCM, Backward Monge approximation in higher dimensions (statement). In 9YAE8FNQST/e1, theorem 11.1

History

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

RS2YSW420V RS2YSW420V

URI	`m2://inv/RS2YSW420V`
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.13229#A1YL (example). In 4WN20N5Z57/e1, example 4.2

History

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

RS33YM9R58 RS33YM9R58

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

Mentions

arxiv: arXiv 2610.17759#WFRI (statement). In 7MWKMG2V8A/e1, theorem 4.13

History

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

RS359ACS5M RS359ACS5M

URI	`m2://inv/RS359ACS5M`
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 1311.6044#MVQQ (statement). In W4FFB6SVZD/e1, lemma 6.2

History

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

RS35MZR834 RS35MZR834

URI	`m2://inv/RS35MZR834`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-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.25289#FTAZ (statement)

History

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

System LJ RS3946KF11

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

Mentions

wikipedia: Wikipedia Sequent calculus#U131, System LJ (unknown)

History

2026-11-02: add by m2/dev

Segment moment bounds RS3BPA2GFW

URI	`m2://inv/RS3BPA2GFW`
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.37944#740A, Segment moment bounds (statement). In KP94WJVJXY/e1, lemma 4

History

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

RS3SMRTQ6Y RS3SMRTQ6Y

URI	`m2://inv/RS3SMRTQ6Y`
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.13914#WIJ4 (statement). In M974J0V5EZ/e1, theorem 1

History

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

Airy function zeros RS3XN4VNEW

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

Mentions

wikidata: Wikidata Q122897633, Airy function zeros (unknown). Also MathWorld AiryFunctionZeros

History

2026-10-26: add by m2/dev

Naum Akhiezer RS3Z7CYGQV

URI	`m2://inv/RS3Z7CYGQV`
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 Q1385805, Naum Akhiezer (unknown). Also ProofWiki Mathematician:Naum_Ilyich_Akhiezer
wikipedia: Wikipedia Naum Akhiezer, Naum Akhiezer (topic). Also Wikidata Q1385805

History

2026-10-26: add by m2/dev

RS41B0AA3K RS41B0AA3K

URI	`m2://inv/RS41B0AA3K`
Kind	definition
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#Y8MV (definition). In W4TYN4PGE8/e1, definition 2.16

History

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

NE RS41YQXCVV

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

Mentions

wikipedia: Wikipedia NE (complexity), NE (definition). Also Wikidata Q6953653

History

2026-11-02: add by m2/dev

RS48CK3V98 RS48CK3V98

URI	`m2://inv/RS48CK3V98`
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.10205#LQ0A (statement). In PQGS7NDMDQ/e1, theorem 2

History

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

Durbin test RS4A3WKKMZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#UDIM, Durbin test (definition)

History

2026-11-02: add by m2/dev

RS4AMFGED3 RS4AMFGED3

URI	`m2://inv/RS4AMFGED3`
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 2212.06621#FC0M (statement). In DB223AABTH/e1, lemma 3.3

History

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

Forward-magic energy bounds RS4BXRV7AY

URI	`m2://inv/RS4BXRV7AY`
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.02166#TV2D, Forward-magic energy bounds (statement). In R6RF3P6D5A/e1, proposition 4.9

History

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

RS4CZ2DWXG RS4CZ2DWXG

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

Mentions

arxiv: arXiv 2609.34081#DHAI (statement). In 3RVGEKGX46/e1, lemma 5.4

History

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

RS4E8RF8M9 RS4E8RF8M9

URI	`m2://inv/RS4E8RF8M9`
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 2208.07401#P97F (statement). In GJD7HKCE56/e1, proposition 2.1

History

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

Ascher Wagner RS4K1E05PS

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

Mentions

wikipedia: Wikipedia Ascher Wagner, Ascher Wagner (topic). Also Wikidata Q70902073

History

2026-11-02: add by m2/dev

RS4N9F84BE RS4N9F84BE

URI	`m2://inv/RS4N9F84BE`
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.27049#QMME (statement)

History

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

Cocycle generalized hyperbolicity RS4RKZVJPT

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

Mentions

arxiv: arXiv 2610.04179#5O4L, Cocycle generalized hyperbolicity (definition). In D64RQ09KBP/e1, definition 2.13

History

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

RS4WVEDARR RS4WVEDARR

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

Mentions

arxiv: arXiv 2609.33231#W6UL (statement). In WPDRT63QNW/e1, corollary 1.1

History

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

Syndetic set RS5F93PN30

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

Mentions

wikipedia: Wikipedia List of exceptional set concepts#BME5, Syndetic set (unknown)

History

2026-11-02: add by m2/dev

Geometric Invariant Theory RS5G1GJV50

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

Mentions

wikipedia: Wikipedia Geometric invariant theory#YGAH, Geometric Invariant Theory (unknown)

History

2026-11-02: add by m2/dev

Computation RS5QYDPEM7

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

Mentions

wikipedia: Wikipedia M-estimator#VM54, Computation (definition)

History

2026-11-02: add by m2/dev

RS5WX5JG99 RS5WX5JG99

URI	`m2://inv/RS5WX5JG99`
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.02213#9G28 (statement). In 43B5W08GMR/e1, corollary 9.2

History

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

RS5Y06Z93T RS5Y06Z93T

URI	`m2://inv/RS5Y06Z93T`
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 2608.23797#TOPX (definition). In PZCA01JXVR/e1, definition 1.5

History

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

RS5YBFKKDN RS5YBFKKDN

URI	`m2://inv/RS5YBFKKDN`
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.27974#1F3Z (statement)

History

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

Fermat's factorization method RS60N8DM09

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

Mentions

wikidata: Wikidata Q983978, Fermat's factorization method (unknown). Also MathWorld FermatsFactorizationMethod
wikipedia: Wikipedia Fermat's factorization method, Fermat's factorization method (definition). Also Wikidata Q983978

History

2026-10-26: add by m2/dev

Smooth dependence on the cone angle RS60YYVY6E

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

Mentions

arxiv: arXiv 2610.18219#9MCX, Smooth dependence on the cone angle (statement). In X1AGBB90EH/e1, corollary 5.11

History

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

Cayley's mousetrap RS61XNQX53

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

Mentions

wikidata: Wikidata Q4726764, Cayley's mousetrap (unknown). Also MathWorld Mousetrap
wikipedia: Wikipedia Cayley's mousetrap, Cayley's mousetrap (definition). Also Wikidata Q4726764

History

2026-10-26: add by m2/dev

affine transformation RS62EH9QP5

URI	`m2://inv/RS62EH9QP5`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Affine map 0JF0TVYGWT

Mentions

wikidata: Wikidata Q382497, affine transformation (unknown). Also EoM Affine_transformation, MathWorld AffineTransformation
wikipedia: Wikipedia Affine transformation, Affine transformation (definition). Also Wikidata Q382497

History

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

Examples RS69AF7K7F

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

Mentions

wikipedia: Wikipedia Telescoping series#659T, Examples (example)

History

2026-11-02: add by m2/dev

Pansu derivative RS6AVC97E8

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

Mentions

wikipedia: Wikipedia Pansu derivative, Pansu derivative (definition). Also Wikidata Q7131600

History

2026-11-02: add by m2/dev

Kampyle of Eudoxus RS6E71RV7K

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#551C, Kampyle of Eudoxus (definition)
wikipedia: Wikipedia List of curves#HB2N, Kampyle of Eudoxus (definition)

History

2026-11-02: add by m2/dev

RS6SBX6JBA RS6SBX6JBA

URI	`m2://inv/RS6SBX6JBA`
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.06764#6CX8 (statement). In MSWV3MJ5CE/e1, theorem 4.2

History

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

Per capita RS6TRD5040

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

Mentions

wikipedia: Wikipedia Per capita, Per capita (definition). Also Wikidata Q558635

History

2026-11-02: add by m2/dev

RS6ZRA08EC RS6ZRA08EC

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

Mentions

active_calculus: active_calculus source/activities/act-7-1-2.xml#act-7-1-2 (exercise). In 907G4C4EJ1, activity, section 7.1.3

History

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

induction principle, for a modality RS70P25FNN

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

Mentions

hott_book: hott_book index/6.7/induction-principle-for-a-modality, induction principle, for a modality (concept). In N54F33XE07, index, section 6.7

History

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

full-component criterion RS72769DVW

URI	`m2://inv/RS72769DVW`
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.32733#B41D, full-component criterion (statement). In PCAS8S14J6/e1, theorem 6.4

History

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

RS736PZYJ1 RS736PZYJ1

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

Mentions

arxiv: arXiv 2506.07061#4Z6X (definition). In G2PA4KAGRP/e1, definition 2.16

History

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

Examples RS73F7R9Z7

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

Mentions

wikipedia: Wikipedia Lagrange multiplier#UH3R, Examples (example)

History

2026-11-02: add by m2/dev

Example RS74J69VXH

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

Mentions

wikipedia: Wikipedia Johnson's algorithm#7HAM, Example (example)

History

2026-11-02: add by m2/dev

RS77K2AWNX RS77K2AWNX

URI	`m2://inv/RS77K2AWNX`
Kind	statement
Layer	research
MSC	05-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.03851#AKSN (statement). In HNV63B8Y1A/e1, proposition 3.7

History

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

RS78CM1PKN RS78CM1PKN

URI	`m2://inv/RS78CM1PKN`
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.05327#09RT (statement). In ZD7BWDKT84/e1, corollary 2.5

History

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

RS7ENYK2H5 RS7ENYK2H5

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

Mentions

arxiv: arXiv 2610.02079#I0NQ (definition). In CNS2J2E4T2/e1, definition 23

History

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

Local well-posedness and blow-up criteria RS7F85DSGG

URI	`m2://inv/RS7F85DSGG`
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.24789#44YQ, Local well-posedness and blow-up criteria (statement)

History

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

List of uniform tilings RS85S1PZAD

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#1GTO, List of uniform tilings (topic)

History

2026-11-02: add by m2/dev

Freiman's theorem RS8B4KQZ3C

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

Mentions

mathlib_1000: mathlib_1000 Q3527079, Freiman's theorem (statement). Also Wikidata Q3527079
thousand_plus: thousand_plus Q3527079, Freiman's theorem (statement). Also Wikidata Q3527079, Wikipedia Freiman's theorem
wikipedia: Wikipedia Freiman's theorem, Freiman's theorem (statement). Also Wikidata Q3527079

History

2026-10-26: add by m2/dev

Strassmann's theorem RS8EDXW6F4

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

Mentions

wikipedia: Wikipedia List of theorems#6RKC, Strassmann's theorem (statement)

History

2026-11-02: add by m2/dev

RS8JFB4P8X RS8JFB4P8X

URI	`m2://inv/RS8JFB4P8X`
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.19260#U75K (statement). In PWXT7J9JX3/e1, corollary 3.14

History

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

Basic formula RS8PQ5A27R

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

Mentions

wikipedia: Wikipedia Implicit differentiation#326N, Basic formula (statement)

History

2026-11-02: add by m2/dev

Nasir Khusraw RS8VPN1G95

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

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#LL9J, Nasir Khusraw (unknown)

History

2026-11-02: add by m2/dev

RS8ZC7GXRS RS8ZC7GXRS

URI	`m2://inv/RS8ZC7GXRS`
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.27078#INJJ (statement)

History

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

Interval (mathematics) RS906496C4

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

Mentions

wikipedia: Wikipedia List of convexity topics#FZHH, Interval (mathematics) (definition)

History

2026-11-02: add by m2/dev

RS90FZESEP RS90FZESEP

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

Mentions

austin_ula: austin_ula src/section6-5.xml#activity-3 (exercise). In 649HGZKE96, activity, section 6.5.5

History

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

RS91NN3AVW RS91NN3AVW

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

Mentions

arxiv: arXiv 2610.20956#MXQS (statement). In X9WFC1D9ZS/e1, lemma 18

History

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

Examples RS9587H19J

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

Mentions

wikipedia: Wikipedia Computation tree logic#HUOD, Examples (example)

History

2026-11-02: add by m2/dev

RS99FEWYR7 RS99FEWYR7

URI	`m2://inv/RS99FEWYR7`
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 2411.16655#PKL4 (statement). In EJHAXRV685/e1, corollary 3.1

History

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

RS9F9SBKMR RS9F9SBKMR

URI	`m2://inv/RS9F9SBKMR`
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.32078#4GA8 (statement). In 5PN85N6EJF/e1, lemma D.4

History

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

RS9N60VZ7Z RS9N60VZ7Z

URI	`m2://inv/RS9N60VZ7Z`
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.16203#FTA9 (statement). In 43TBS9P2PX/e1, fact 8.9

History

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

Properties RS9QKTBABP

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

Mentions

wikipedia: Wikipedia Generalized gamma distribution#ULAI, Properties (statement)

History

2026-11-02: add by m2/dev

RS9X46845V RS9X46845V

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

Mentions

arxiv: arXiv 2609.29878#0ZXQ (statement)

History

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

Flag bundle RS9YAK6A33

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

Mentions

wikipedia: Wikipedia Flag bundle, Flag bundle (definition). Also Wikidata Q85761197

History

2026-11-02: add by m2/dev

RS9YGK1Z2D RS9YGK1Z2D

URI	`m2://inv/RS9YGK1Z2D`
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#MKMJ (statement). In JPYGC2R3FC/e1, corollary 6.10

History

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

David Nadler RS9ZFZRRGY

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

Mentions

wikipedia: Wikipedia David Nadler (mathematician), David Nadler (topic). Also Wikidata Q87742939

History

2026-11-02: add by m2/dev

Conditional dependence RSA17E61V1

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

Mentions

wikipedia: Wikipedia Conditional dependence, Conditional dependence (definition). Also Wikidata Q5159256

History

2026-11-02: add by m2/dev

RSA3EGKJ5G RSA3EGKJ5G

URI	`m2://inv/RSA3EGKJ5G`
Kind	statement
Layer	research
MSC	11-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.05914#SS8M (statement). In V8MYP6MBAZ/e1, corollary 2

History

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

Cognitive dissonance RSA8MRWWWB

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

Mentions

wikipedia: Wikipedia List of cognitive biases#QSUN, Cognitive dissonance (unknown)

History

2026-11-02: add by m2/dev

French Statistical Society RSAHTYKYZT

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

Mentions

wikipedia: Wikipedia French Statistical Society, French Statistical Society (definition). Also Wikidata Q3488327

History

2026-11-02: add by m2/dev

RSAKPZ59HD RSAKPZ59HD

URI	`m2://inv/RSAKPZ59HD`
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 2108.05533#XAPK (statement). In 14DZA4M2C6/e1, lemma B.2

History

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

RSAQ0NHA33 RSAQ0NHA33

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

Mentions

arxiv: arXiv 2609.25762#9WHW (statement)

History

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

Conjecture RSAQJS6GSY

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

Mentions

wikipedia: Wikipedia Rademacher distribution#D2ID, Conjecture (statement)

History

2026-11-02: add by m2/dev

Applications RSB2AM48XB

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

Mentions

wikipedia: Wikipedia Bauernfeind prism#UL6Q, Applications (example)

History

2026-11-02: add by m2/dev

The weak Collatz conjecture RSB86WPBWZ

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

Mentions

wikipedia: Wikipedia 3x + 1 semigroup#QK3A, The weak Collatz conjecture (statement)

History

2026-11-02: add by m2/dev

Examples RSBAX63QYV

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

Mentions

wikipedia: Wikipedia General linear methods#V8VU, Examples (example)

History

2026-11-02: add by m2/dev

Disproved broader orbit-closure conjecture RSBFM8JHM1

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

Mentions

wikipedia: Wikipedia Littlewood conjecture#D0W8, Disproved broader orbit-closure conjecture (statement)

History

2026-11-02: add by m2/dev

Nicole-Reine Lepaute RSBSM5YHJ6

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

Mentions

wikipedia: Wikipedia Nicole-Reine Lepaute, Nicole-Reine Lepaute (topic). Also Wikidata Q266049

History

2026-11-02: add by m2/dev

RSBZGGGW59 RSBZGGGW59

URI	`m2://inv/RSBZGGGW59`
Kind	statement
Layer	research
MSC	14-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.38556#BAT0 (statement). In GC2H0HS7ZM/e1, lemma 4.8

History

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

Lipschitzness of the JE integrand RSC15P7542

URI	`m2://inv/RSC15P7542`
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.30590#WBB4, Lipschitzness of the JE integrand (statement). In WYE2JVEZBT/e1, lemma 6.9

History

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

Barbershop paradox RSC3V88NJJ

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

Mentions

wikipedia: Wikipedia Barbershop paradox, Barbershop paradox (statement). Also Wikidata Q3363342

History

2026-11-02: add by m2/dev

Examples RSC8R2AREV

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

Mentions

wikipedia: Wikipedia Interpretability logic#R34M, Examples (example)

History

2026-11-02: add by m2/dev

RSC9GGNFWH RSC9GGNFWH

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

Mentions

arxiv: arXiv 2011.14561#N8J4 (statement). In V2XJJJX1Z8/e1, lemma 2.3

History

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

technique RSCBAW9KPH

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

Mentions

wikidata: Wikidata Q2695280, technique (unknown). Also MathWorld Technique

History

2026-10-26: add by m2/dev

RSCJWY92TC RSCJWY92TC

URI	`m2://inv/RSCJWY92TC`
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#50PH (statement). In TX0H26X4VX/e1, lemma 6.10

History

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

RSCT9H2G0D RSCT9H2G0D

URI	`m2://inv/RSCT9H2G0D`
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.13981#D9AX (statement). In V78F5DK90W/e1, lemma 2.2

History

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

KECCAK Message Authentication Code RSD02RS7QQ

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

Mentions

wikipedia: Wikipedia SHA-3#IZ6T, KECCAK Message Authentication Code (unknown)

History

2026-11-02: add by m2/dev

Gerd Grubb RSD3NV9CNA

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

Mentions

wikipedia: Wikipedia Gerd Grubb, Gerd Grubb (topic). Also Wikidata Q61726646

History

2026-11-02: add by m2/dev

RSD7WWT3BJ RSD7WWT3BJ

URI	`m2://inv/RSD7WWT3BJ`
Kind	statement
Layer	research
MSC	20-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.06699#QHCP (statement). In GXHKRV5BPY/e1, theorem 1.2

History

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

RSDA26W1P1 RSDA26W1P1

URI	`m2://inv/RSDA26W1P1`
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 2303.17308#5V1Q (statement). In 6N0T1S0BQG/e1, lemma 3

History

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

embedding RSDA39W8W9

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#45WL, embedding (definition)

History

2026-11-02: add by m2/dev

List of Taylor series RSDKMD3SDT

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

Mentions

wikipedia: Wikipedia Taylor series#JIMQ, List of Taylor series (unknown)

History

2026-11-02: add by m2/dev

Construction RSDNR5VYX1

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

Mentions

wikipedia: Wikipedia Triacontagon#WZHV, Construction (definition)

History

2026-11-02: add by m2/dev

Roman Bezrukavnikov RSDRGK9A84

URI	`m2://inv/RSDRGK9A84`
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#M9OP, Roman Bezrukavnikov (topic)

History

2026-11-02: add by m2/dev

RSDSZGN4G4 RSDSZGN4G4

URI	`m2://inv/RSDSZGN4G4`
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 1607.01095#J9H7 (definition). In W3T1ZAT3GC/e1, definition 3.4

History

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

RSE1EZD3Z2 RSE1EZD3Z2

URI	`m2://inv/RSE1EZD3Z2`
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.25985#LTZE (statement)

History

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

Examples RSE4GRX04T

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

Mentions

wikipedia: Wikipedia Topological vector lattice#16P5, Examples (example)

History

2026-11-02: add by m2/dev

epistemic constraint RSEC2VH1AQ

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

Mentions

wikipedia: Wikipedia Glossary of logic#DIGZ, epistemic constraint (definition)

History

2026-11-02: add by m2/dev

exact zero divisor RSEHGP4BE3

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#7S2P, exact zero divisor (definition)

History

2026-11-02: add by m2/dev

Simon model RSENJNVGNS

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

Mentions

wikipedia: Wikipedia List of statistics articles#A3PP, Simon model (definition)

History

2026-11-02: add by m2/dev

RSERGDHPJP RSERGDHPJP

URI	`m2://inv/RSERGDHPJP`
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 2404.06445#P8WI (statement). In 12JKZ8EN52/e1, lemma 2.3

History

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

RSESJ6PKB0 RSESJ6PKB0

URI	`m2://inv/RSESJ6PKB0`
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.11210#WI1H (statement). In CRFDGFZHBF/e1, proposition 4.3

History

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

Minimum-norm multiplier bound under local regularity RSEXFH934H

URI	`m2://inv/RSEXFH934H`
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.33021#MLZS, Minimum-norm multiplier bound under local regularity (statement). In GG96DW33Q9/e1, lemma K.1

History

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

RSF0H1WD1C RSF0H1WD1C

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

Mentions

arxiv: arXiv 2609.27617#WN5J (statement)

History

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

RSG1CQSSV2 RSG1CQSSV2

URI	`m2://inv/RSG1CQSSV2`
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.34311#YFDP (statement). In YYV9SHAPCZ/e1, proposition 3.3

History

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

Module homomorphism RSG4ZRTK82

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#VV7W, Module homomorphism (definition)

History

2026-11-02: add by m2/dev

Using formulas for polynomial roots RSG6H7DFZX

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

Mentions

wikipedia: Wikipedia Factorization#XKKY, Using formulas for polynomial roots (statement)

History

2026-11-02: add by m2/dev

Hilbert's sixteenth problem RSGF451NJX

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

Mentions

wikipedia: Wikipedia List of incomplete proofs#I1U3, Hilbert's sixteenth problem (conjecture)

History

2026-11-02: add by m2/dev

Eugène Cremmer RSGGNF9Y8B

URI	`m2://inv/RSGGNF9Y8B`
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 Q1373462, Eugène Cremmer (unknown). Also nLab Eugene Cremmer

History

2026-10-26: add by m2/dev

RSGTEEXR1W RSGTEEXR1W

URI	`m2://inv/RSGTEEXR1W`
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 1007.4365#TLUB (example). In 935WKCMD8C/e1, example 1

History

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

The fibering map RSGWJQKS1V

URI	`m2://inv/RSGWJQKS1V`
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.02933#NVZE, The fibering map (statement). In QSYZKPFRAN/e1, lemma 3.1

History

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

Xalapa 2000 RSGWMJ9XVR

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

Mentions

wikipedia: Wikipedia List of places with numeric names#JD30, Xalapa 2000 (unknown)

History

2026-11-02: add by m2/dev

Definition RSGWY2VP45

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

Mentions

wikipedia: Wikipedia Lexis ratio#CML1, Definition (definition)

History

2026-11-02: add by m2/dev

RSGYW20Y7G RSGYW20Y7G

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

Mentions

arxiv: arXiv 2609.20513#U6V0 (statement)

History

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

Applications RSH0PGKF00

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

Mentions

wikipedia: Wikipedia Fractional coloring#PRLC, Applications (example)

History

2026-11-02: add by m2/dev

Prékopa, András RSH2DR7V1M

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#KBV0, Prékopa, András (unknown)

History

2026-11-02: add by m2/dev

Extensions RSH348XZEA

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

Mentions

wikipedia: Wikipedia Control function (econometrics)#GK46, Extensions (statement)

History

2026-11-02: add by m2/dev

Hilbert polynomial RSH90SFQ8C

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

Mentions

wikipedia: Wikipedia List of commutative algebra topics#L1AS, Hilbert polynomial (definition)

History

2026-11-02: add by m2/dev

RSHA7E0Q0P RSHA7E0Q0P

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

Mentions

arxiv: arXiv 2609.34813#12I3 (statement). In P3V3ZGCHV7/e1, theorem 2.7

History

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

complex roots of unity RSHMX1QKE5

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

Mentions

mathlib_undergrad: mathlib_undergrad Group Theory > Abelian group > complex roots of unity, complex roots of unity (unknown). Also Mathlib Complex.mem_rootsOfUnity

History

2026-10-26: add by m2/dev

RSJ5Q27W81 RSJ5Q27W81

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

Mentions

napkin: napkin tex/alg-NT/galois.tex#example-10 (example). In RZP28ERRZV, example, section 14.5

History

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

RSJ9FEMJVA RSJ9FEMJVA

URI	`m2://inv/RSJ9FEMJVA`
Kind	example
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 1008.4946#KCSE (example). In R4ZM6Q4SHH/e1, example

History

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

RSJVBVTMMK RSJVBVTMMK

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

Mentions

arxiv: arXiv 2609.27320#M9BY (statement)

History

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

Statement RSJYFNZGR0

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

Mentions

wikipedia: Wikipedia André–Oort conjecture#GPP9, Statement (statement)

History

2026-11-02: add by m2/dev

RSKRG0WMWG RSKRG0WMWG

URI	`m2://inv/RSKRG0WMWG`
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.18106#1M99 (statement). In VZDPG7NJCX/e1, corollary 2

History

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

RSKSAG1SDX RSKSAG1SDX

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

Mentions

arxiv: arXiv 2610.19470#LLI4 (statement). In Y24F6WTV90/e1, theorem 4.1

History

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

A separate planar consequence RSKTG5W276

URI	`m2://inv/RSKTG5W276`
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.18907#8DZW, A separate planar consequence (statement). In 4SSZ4PF2P2/e1, corollary 8.2

History

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

RSKVFG2NXJ RSKVFG2NXJ

URI	`m2://inv/RSKVFG2NXJ`
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.30685#3A7L (statement). In WNNNWV7741/e1, theorem 5.2

History

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

RSKVN35N6V RSKVN35N6V

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

Mentions

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

History

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

n! conjecture RSKYTTP5CR

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

Mentions

wikipedia: Wikipedia Macdonald polynomials#XAKT, n! conjecture (statement)

History

2026-11-02: add by m2/dev

Johannes Tropfke RSM1ZK699K

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

Mentions

wikipedia: Wikipedia Johannes Tropfke, Johannes Tropfke (topic). Also Wikidata Q103468

History

2026-11-02: add by m2/dev

RSM9JAH87W RSM9JAH87W

URI	`m2://inv/RSM9JAH87W`
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 2603.21971#F8O2 (statement). In R6KSZ9H8CY/e1, lemma 8.1

History

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

RSMV1AWQGN RSMV1AWQGN

URI	`m2://inv/RSMV1AWQGN`
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.02628#UH2R (statement). In G4S9C5M1A4/e1, proposition 5.6

History

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

RSN1TA2Q72 RSN1TA2Q72

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

Mentions

arxiv: arXiv 2609.25967#DP93 (definition)

History

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

RSN7QRR8WB RSN7QRR8WB

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 54.7

History

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

St. Petersburg paradox RSNCMDV9PW

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

Mentions

wikipedia: Wikipedia List of statistics articles#81AZ, St. Petersburg paradox (statement)

History

2026-11-02: add by m2/dev

Examples RSNF6YFGZ5

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

Mentions

wikipedia: Wikipedia Ergodicity#ZT7J, Examples (example)

History

2026-11-02: add by m2/dev

RSNM448E0D RSNM448E0D

URI	`m2://inv/RSNM448E0D`
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 1905.00573#G5B1 (statement). In 74RNQVBM2G/e1, proposition 3.24

History

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

Miroslav Katetov RSNSF0EFAN

URI	`m2://inv/RSNSF0EFAN`
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#3I6O, Miroslav Katetov (unknown)

History

2026-11-02: add by m2/dev

RSNWFCPC28 RSNWFCPC28

URI	`m2://inv/RSNWFCPC28`
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 2409.20170#53RU (statement). In QXJP79APHN/e1, lemma 2.10

History

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

Facts RSNZGG0C9X

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

Mentions

wikipedia: Wikipedia Functor category#2028, Facts (statement)

History

2026-11-02: add by m2/dev

Applications RSP12X82NA

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

Mentions

wikipedia: Wikipedia Bogoliubov transformation#0PGQ, Applications (example)

History

2026-11-02: add by m2/dev

RSP1PZZSRK RSP1PZZSRK

URI	`m2://inv/RSP1PZZSRK`
Kind	definition
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#6UIS (definition). In HGE2NCQW29/e1, definition 3.1

History

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

RSP4X01ED0 RSP4X01ED0

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

Mentions

arxiv: arXiv 2609.21414#QV6Q (statement)

History

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

Jekuthiel Ginsburg RSP6RG4CSV

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

Mentions

wikipedia: Wikipedia Jekuthiel Ginsburg, Jekuthiel Ginsburg (topic). Also Wikidata Q6176590

History

2026-11-02: add by m2/dev

Tree-like curve RSP6TEDX9Q

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

Mentions

wikipedia: Wikipedia Tree-like curve, Tree-like curve (definition). Also Wikidata Q131919736

History

2026-11-02: add by m2/dev

RSP7C2T0JE RSP7C2T0JE

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

Mentions

arxiv: arXiv 2609.31883#BKLE (example). In XBHQRTBH62/e1, example 6.7

History

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

Kusner (1989 RSPCQKYBVW

URI	`m2://inv/RSPCQKYBVW`
Kind	conjecture
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.26745#SMEO, Kusner (1989 (conjecture)

History

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

RSPHQ6X4CC RSPHQ6X4CC

URI	`m2://inv/RSPHQ6X4CC`
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.40017#EOH8 (statement). In MBHJA0HT06/e1, theorem 1.1

History

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

Joseph-Ignace Guillotin RSPNN71MZD

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#4L33, Joseph-Ignace Guillotin (unknown)

History

2026-11-02: add by m2/dev

RSQ0PYTDA6 RSQ0PYTDA6

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

Mentions

arxiv: arXiv 2609.37520#WPEG (statement). In BDN507RN7J/e1, theorem 4.2.14

History

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

Exact test RSQ3ZFQ9D4

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

Mentions

wikipedia: Wikipedia List of statistics articles#521Y, Exact test (definition)

History

2026-11-02: add by m2/dev

RSQ9DBE71M RSQ9DBE71M

URI	`m2://inv/RSQ9DBE71M`
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 2509.21444#TWQG (statement). In CTVPA2FQT1/e1, lemma 7.1

History

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

Odd girth RSQC8KTSRS

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

Mentions

wikipedia: Wikipedia Girth (graph theory)#8K2W, Odd girth (unknown)

History

2026-11-02: add by m2/dev

Information visualization RSQMV49GXV

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

Mentions

wikipedia: Wikipedia List of information graphics software#J7PD, Information visualization (definition)

History

2026-11-02: add by m2/dev

The three-vertex case and suspension RSQQNCY40R

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

Mentions

arxiv: arXiv 2609.36444#68PD, The three-vertex case and suspension (example). In 4DJE72VPJP/e1, example 4.6

History

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

independent domination number RSQR5BC1RG

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

Mentions

wikidata: Wikidata Q130343874, independent domination number (unknown). Also MathWorld LowerIndependenceNumber

History

2026-10-26: add by m2/dev

Examples RSQZEV8AEV

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

Mentions

wikipedia: Wikipedia Tensor product of modules#ICKJ, Examples (example)

History

2026-11-02: add by m2/dev

RSR6QET714 RSR6QET714

URI	`m2://inv/RSR6QET714`
Kind	definition
Layer	research
MSC	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 2303.09207#S733 (definition). In 9DQKY7KGE8/e1, definition B.23

History

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

RSR8XDDJVJ RSR8XDDJVJ

URI	`m2://inv/RSR8XDDJVJ`
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.21494#JGIL (statement). In ZWT4C1DYPE/e1, lemma 8.6

History

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

RSRA8K9CQB RSRA8K9CQB

URI	`m2://inv/RSRA8K9CQB`
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.40251#91VE (statement). In 9J7TJYKGYX/e1, corollary 6.6

History

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

Properties RSRHWGP2FY

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

Mentions

wikipedia: Wikipedia Lp sum#QEH0, Properties (statement)

History

2026-11-02: add by m2/dev

Spatial dependence RSRSXF8TC0

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

Mentions

wikipedia: Wikipedia List of statistics articles#ILYQ, Spatial dependence (definition)

History

2026-11-02: add by m2/dev

RSRT5Z6KTE RSRT5Z6KTE

URI	`m2://inv/RSRT5Z6KTE`
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 2207.12181#NH3J (statement). In FSD8NE3XSR/e1, lemma 4.3

History

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

Min-entropy RSRYVK4AH8

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

Mentions

wikipedia: Wikipedia Min-entropy, Min-entropy (definition). Also Wikidata Q17103874

History

2026-11-02: add by m2/dev

Andrew Joseph Majda RSS18B80JJ

URI	`m2://inv/RSS18B80JJ`
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#L75A, Andrew Joseph Majda (topic)

History

2026-11-02: add by m2/dev

Plane coordinate RSS5N94ZSG

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

Mentions

wikipedia: Wikipedia Euclidean plane#8UDY, Plane coordinate (unknown)

History

2026-11-02: add by m2/dev

CEV model RSS69NK3GB

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

Mentions

arxiv: arXiv 2610.05864#UDU0, CEV model (definition). In 31QPXWDZSH/e1, definition 1.1

History

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

Center for Asset Management RSS98Z6DGH

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

Mentions

wikipedia: Wikipedia List of research centers at Boston College#RGJW, Center for Asset Management (unknown)

History

2026-11-02: add by m2/dev

RSS9YVVWRY RSS9YVVWRY

URI	`m2://inv/RSS9YVVWRY`
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.36421#D9HC (statement). In E0ZRSZ0YHT/e1, theorem

History

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

RSSH2YZT5D RSSH2YZT5D

URI	`m2://inv/RSSH2YZT5D`
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.18358#K0Z8 (statement). In SPZ446XNDW/e1, proposition 4.3

History

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

exterior algebra RSSNPKKMVW

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#RPA0, exterior algebra (definition)

History

2026-11-02: add by m2/dev

RST1F17VQ9 RST1F17VQ9

URI	`m2://inv/RST1F17VQ9`
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#M6DT (statement). In 1QSCT53ZED/e1, corollary 7.10

History

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

Danielson–Lanczos lemma RST3VGSTVK

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

Mentions

wikipedia: Wikipedia List of lemmas#KKA7, Danielson–Lanczos lemma (definition)

History

2026-11-02: add by m2/dev

Van der Waerden's theorem RST9QF6J3P

URI	`m2://inv/RST9QF6J3P`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	5
Outcome	open
Node	van der Waerden's theorem V96FRZ2ME1

Mentions

mathlib_1000: mathlib_1000 Q764287, Van der Waerden's theorem (statement). Also Mathlib Combinatorics.exists_mono_homothetic_copy, Wikidata Q764287
mathlib_overview: mathlib_overview Combinatorics > Ramsey theory > van der Waerden theorem, van der Waerden theorem (unknown). Also Mathlib Combinatorics.exists_mono_homothetic_copy
thousand_plus: thousand_plus Q764287, Van der Waerden's theorem (statement). Also Mathlib Combinatorics.exists_mono_homothetic_copy, Wikidata Q764287, Wikipedia Van der Waerden's theorem
wikidata: Wikidata Q764287, Van der Waerden's theorem (statement). Also MathWorld vanderWaerdensTheorem
wikipedia: Wikipedia Van der Waerden's theorem, Van der Waerden's theorem (statement). Also Wikidata Q764287

History

2026-10-26: add by m2/dev

Banach space RSTBS1XKTZ

URI	`m2://inv/RSTBS1XKTZ`
Kind	definition
Layer	textbook
MSC	42B10
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Banach space 06GZ956657

Mentions

wikidata: Wikidata Q194397, Banach space (topic). Also EoM Banach_space, MathWorld BanachSpace, nLab Banach space, ProofWiki Definition:Banach_Space
wikipedia: Wikipedia Banach space, Banach space (definition). Also Wikidata Q194397

History

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

Character module RSTC0R4K4T

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

Mentions

wikipedia: Wikipedia Character module, Character module (definition). Also Wikidata Q97359798

History

2026-11-02: add by m2/dev

Examples RSTMYMYXNQ

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

Mentions

wikipedia: Wikipedia Loupekine snark#CJZI, Examples (example)

History

2026-11-02: add by m2/dev

Definition RSTZEJ921Y

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

Mentions

wikipedia: Wikipedia *-autonomous category#64IK, Definition (definition)

History

2026-11-02: add by m2/dev

RSV29X750V RSV29X750V

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

Mentions

arxiv: arXiv 2610.08193#X7H9 (statement). In 8XAKGH8S2D/e1, lemma 3.10

History

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

Boris L. Feigin RSVF1WJJNG

URI	`m2://inv/RSVF1WJJNG`
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#Q18N, Boris L. Feigin (topic)

History

2026-11-02: add by m2/dev

RSVQDW68Y1 RSVQDW68Y1

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

Mentions

open_logic: open_logic content/model-theory/interpolation/separation.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 47.2

History

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

Folded-t and half-t distributions RSVSVKQ1TQ

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

Mentions

wikipedia: Wikipedia Folded-t and half-t distributions, Folded-t and half-t distributions (definition). Also Wikidata Q28402613

History

2026-11-02: add by m2/dev

Reye configuration RSVVDTGHT9

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

Mentions

wikidata: Wikidata Q17099755, Reye configuration (concept). Also MathWorld ReyeConfiguration
wikipedia: Wikipedia Reye configuration, Reye configuration (definition). Also Wikidata Q17099755

History

2026-10-26: add by m2/dev

Applications RSW85TWZR8

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

Mentions

wikipedia: Wikipedia Matrix exponential#DZGR, Applications (example)

History

2026-11-02: add by m2/dev

RSWCMR4YAP RSWCMR4YAP

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

Mentions

arxiv: arXiv 2609.28780#K4AE (statement)

History

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

Nearly uniform triples RSWTB3CPX1

URI	`m2://inv/RSWTB3CPX1`
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.30895#W4JJ, Nearly uniform triples (statement). In B8D26BYA7T/e1, lemma 10

History

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

RSWXHKHXFC RSWXHKHXFC

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

Mentions

arxiv: arXiv 2610.15881#FVDK (problem). In RK0JCSYK33/e1, problem 4.2

History

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

Conservation of mass-energy RSWXMA7HM5

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

Mentions

wikipedia: Wikipedia Mass–energy equivalence#1U19, Conservation of mass-energy (unknown)

History

2026-11-02: add by m2/dev

Gardam, announced 2021 RSWYPBSYS3

URI	`m2://inv/RSWYPBSYS3`
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.22380#4CVI, Gardam, announced 2021 (statement)

History

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

RSWZ7XGJBA RSWZ7XGJBA

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/unsolvability-decision-problem.tex#cor:undecidable-sat (statement). In PKGMM3P5QY, cor, section 87.2

History

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

Kurt Mahler RSX7KBGRK2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VOK6, Kurt Mahler (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4SI5, Kurt Mahler (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FICG, Kurt Mahler (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OEDH, Kurt Mahler (topic)

History

2026-11-02: add by m2/dev

RSX8JV2FNN RSX8JV2FNN

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

Mentions

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

History

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

Theorem RSXB3V9JM2

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

Mentions

wikipedia: Wikipedia Laplace invariant#1R4A, Theorem (statement)

History

2026-11-02: add by m2/dev

Convexity on the gap RSY78G2DE5

URI	`m2://inv/RSY78G2DE5`
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.37479#1Z24, Convexity on the gap (statement). In P3RTT99C41/e1, proposition 5.5

History

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

Monotonically normal space RSYDT04SP9

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

Mentions

wikipedia: Wikipedia Monotonically normal space, Monotonically normal space (definition). Also Wikidata Q6902034

History

2026-11-02: add by m2/dev

Dennis Sullivan RSYDWK7B8Q

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HVG9, Dennis Sullivan (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7UHG, Dennis Sullivan (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DMBM, Dennis Sullivan (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MS82, Dennis Sullivan (topic)

History

2026-11-02: add by m2/dev

Dawson function RSYWGA2FAB

URI	`m2://inv/RSYWGA2FAB`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Dawson function EQ4QB1QW60

Mentions

wikidata: Wikidata Q3055353, Dawson function (concept). Also MathWorld DawsonsIntegral
wikipedia: Wikipedia Dawson function, Dawson function (definition). Also Wikidata Q3055353

History

2026-10-26: add by m2/dev

Mahan Mj RSZ0AZEK5B

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

Mentions

wikipedia: Wikipedia Mahan Mj, Mahan Mj (topic). Also Wikidata Q16732701

History

2026-11-02: add by m2/dev

RSZHFSP84J RSZHFSP84J

URI	`m2://inv/RSZHFSP84J`
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.39455#7TXC (statement). In HW4Y4TMEZ3/e1, theorem 6.4

History

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

Nill RSZKTY4YVM

URI	`m2://inv/RSZKTY4YVM`
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.06419#ISSY, Nill (statement). In JSZRXT3W3E/e1, proposition 2.2

History

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

Eigenvalue-free interval, ordinary Laplacian RSZQKBBNJY

URI	`m2://inv/RSZQKBBNJY`
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.08599#6KLO, Eigenvalue-free interval, ordinary Laplacian (statement). In DST9FWMHT6/e1, theorem 3.6

History

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

Nancy Spruill RSZW00MND3

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

Mentions

wikipedia: Wikipedia Nancy Spruill, Nancy Spruill (topic). Also Wikidata Q107488330

History

2026-11-02: add by m2/dev

RSZWZZPNGT RSZWZZPNGT

URI	`m2://inv/RSZWZZPNGT`
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 2312.06473#MONB (statement). In P1MYSYHSGX/e1, lemma B.1

History

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

Definition RSZZSJW91F

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

Mentions

wikipedia: Wikipedia Gröbner basis#201J, Definition (definition)

History

2026-11-02: add by m2/dev