Inventory rows JW

Instability of stationary maps on $\mb S^m$ JW0190B10N

URI	`m2://inv/JW0190B10N`
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.13214#1XLO, Instability of stationary maps on $\mb S^m$ (statement). In 4GRNWWH88J/e1, lemma 2.2

History

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

JW06GBFFNN JW06GBFFNN

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

Mentions

napkin: napkin tex/set-theory/models.tex#proof-1 (proof). In RZP28ERRZV, proof, section 91.4

History

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

JW0G0FKBCP JW0G0FKBCP

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-69 (exercise). In VNMV985MXX, exercise, section 2.2

History

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

Gai Binyamini JW0NDE84FG

URI	`m2://inv/JW0NDE84FG`
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#PZFE, Gai Binyamini (unknown)

History

2026-11-02: add by m2/dev

GEOS circle JW0PC9YT49

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

Mentions

wikipedia: Wikipedia List of triangle topics#RRZW, GEOS circle (definition)

History

2026-11-02: add by m2/dev

Binary mass function JW0WKCCH6V

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

Mentions

wikipedia: Wikipedia Binary mass function, Binary mass function (definition). Also Wikidata Q25305264

History

2026-11-02: add by m2/dev

maximal element JW0WKE8JXH

URI	`m2://inv/JW0WKE8JXH`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Maximal element 072G59HW59

Mentions

wikidata: Wikidata Q111315902, maximal element (unknown). Also MathWorld MaximalElement, nLab maximal element

History

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

conservative functor JW0X5F1X9R

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

Mentions

wikidata: Wikidata Q23808682, conservative functor (unknown). Also nLab conservative functor
wikipedia: Wikipedia Conservative functor, Conservative functor (definition). Also Wikidata Q23808682

History

2026-10-26: add by m2/dev

JW0XB20HT4 JW0XB20HT4

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

Mentions

arxiv: arXiv 2610.12352#ZWWO (statement). In EXASSFT73P/e1, proposition 4.3

History

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

Deterministic context-free grammar JW0Y5AFWGJ

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

Mentions

wikipedia: Wikipedia Deterministic context-free grammar, Deterministic context-free grammar (definition). Also Wikidata Q3435975

History

2026-11-02: add by m2/dev

Duality of complexes JW0YDAHS8H

URI	`m2://inv/JW0YDAHS8H`
Kind	statement
Layer	research
MSC	49-XX, 62-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 2409.03461#WE1Z, Duality of complexes (statement). In XJVZSGCX5V/e1, proposition 2

History

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

Small-time comparaison JW0ZKZ1BM4

URI	`m2://inv/JW0ZKZ1BM4`
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.39409#IR8O, Small-time comparaison (statement). In CQ0Z7QA0A5/e1, lemma 3.3

History

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

Fundamental lemma JW11MVQQXQ

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

Mentions

wikipedia: Wikipedia Langlands program#7VQS, Fundamental lemma (statement)

History

2026-11-02: add by m2/dev

JW142CN6V1 JW142CN6V1

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

Mentions

napkin: napkin tex/H113/grp-intro.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 2.8

History

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

Completely degenerate basins JW16RGNWXM

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

Mentions

arxiv: arXiv 2610.19953#QV9V, Completely degenerate basins (statement). In CHPJWBREES/e1, proposition 5.5

History

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

JW1BXE6SZ5 JW1BXE6SZ5

URI	`m2://inv/JW1BXE6SZ5`
Kind	statement
Layer	research
MSC	05-XX, 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 2609.31783#5JWE (statement). In CGNVT4C47F/e1, lemma 2.5

History

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

Hemihelix JW1K51MRSB

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

Mentions

wikipedia: Wikipedia Hemihelix, Hemihelix (definition). Also Wikidata Q17022315

History

2026-11-02: add by m2/dev

Distance of qubitized CSS codes JW1TMV9Q2J

URI	`m2://inv/JW1TMV9Q2J`
Kind	statement
Layer	research
MSC	05-XX, 51-XX, 52-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.04834#YQ1H, Distance of qubitized CSS codes (statement). In YZNK67K060/e1, theorem 6.5

History

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

Bulk equations JW1YCNXJTG

URI	`m2://inv/JW1YCNXJTG`
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 2610.11652#HH2A, Bulk equations (statement). In VEXM27M8Q1/e1, theorem 5.1

History

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

Eigen's paradox JW1ZSTBF60

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

Mentions

wikipedia: Wikipedia Error threshold (evolution)#FGFH, Eigen's paradox (statement)

History

2026-11-02: add by m2/dev

Kronecker's theorem JW274BEM3B

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

Mentions

wikipedia: Wikipedia List of theorems#QVBV, Kronecker's theorem (statement)

History

2026-11-02: add by m2/dev

JW27GYB0SC JW27GYB0SC

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

Mentions

arxiv: arXiv 2609.24917#OLII (statement)

History

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

Vladimir Retakh JW2CDSXRCH

URI	`m2://inv/JW2CDSXRCH`
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 Q4393678, Vladimir Retakh (unknown). Also nLab Vladimir Retakh
wikipedia: Wikipedia Vladimir Retakh, Vladimir Retakh (topic). Also Wikidata Q4393678

History

2026-10-26: add by m2/dev

Fixed-energy forward stationary limit JW2JMZZEA0

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

Mentions

arxiv: arXiv 2610.21268#X726, Fixed-energy forward stationary limit (statement). In 9W2YX5X4AX/e1, lemma 4.5

History

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

Isotonic regression JW2K9ZT9R8

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

Mentions

wikipedia: Wikipedia List of statistics articles#OG31, Isotonic regression (definition)

History

2026-11-02: add by m2/dev

Monotone/Antitone behaviour of rational exponents JW2MZST1GR

URI	`m2://inv/JW2MZST1GR`
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 2104.00162#FXIV, Monotone/Antitone behaviour of rational exponents (statement). In HVGT9D84WV/e1, proposition 3.1

History

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

Semantics for intuitionistic logic JW2R87A955

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

Mentions

wikipedia: Wikipedia Intuitionistic logic#PRBO, Semantics for intuitionistic logic (unknown)

History

2026-11-02: add by m2/dev

Cheeger and Gromoll's Riemannian splitting theorem JW2Y7X85NJ

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

Mentions

wikipedia: Wikipedia Splitting theorem#F90E, Cheeger and Gromoll's Riemannian splitting theorem (statement)

History

2026-11-02: add by m2/dev

JW3A1EF9A4 JW3A1EF9A4

URI	`m2://inv/JW3A1EF9A4`
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.31556#6FLV (statement). In 1VBEMR0JXH/e1, lemma 4.1

History

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

Absorption Lemma JW3J512NZ4

URI	`m2://inv/JW3J512NZ4`
Kind	statement
Layer	research
MSC	11-XX, 26-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.14160#LDFE, Absorption Lemma (statement). In Y4TP36M0C7/e1, lemma 12

History

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

Endofunctor of a sub-groupoid JW3M1215C2

URI	`m2://inv/JW3M1215C2`
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 2312.05005#GBIV, Endofunctor of a sub-groupoid (definition). In SMJMAQ2S3J/e1, definition 17

History

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

Maria Chudnovsky JW3QB3CAWE

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

Mentions

wikipedia: Wikipedia Maria Chudnovsky, Maria Chudnovsky (topic). Also Wikidata Q528763

History

2026-11-02: add by m2/dev

JW3SNDJPYG JW3SNDJPYG

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

Mentions

arxiv: arXiv 2609.23972#C4C8 (statement)

History

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

JW3TYBBV9M JW3TYBBV9M

URI	`m2://inv/JW3TYBBV9M`
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.09882#TL1H (statement). In 7XV6T4N79V/e1, lemma C.5

History

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

JW3WWF7WTP JW3WWF7WTP

URI	`m2://inv/JW3WWF7WTP`
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.29304#1EOE (statement)

History

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

Negative relationship JW3XMH0F1H

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

Mentions

wikipedia: Wikipedia List of statistics articles#IEZN, Negative relationship (definition)

History

2026-11-02: add by m2/dev

JW44YQ4SZZ JW44YQ4SZZ

URI	`m2://inv/JW44YQ4SZZ`
Kind	definition
Layer	research
MSC	26-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.06152#KCQL (definition). In HH35K7S17H/e1, definition A.4

History

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

Derivative bounds JW45TKDNFX

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

Mentions

arxiv: arXiv 2610.17276#LPCQ, Derivative bounds (statement). In GG14QF0JKJ/e1, lemma 2.4

History

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

Examples JW4ATJ69ZJ

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

Mentions

wikipedia: Wikipedia Beatty sequence#1O8D, Examples (example)

History

2026-11-02: add by m2/dev

The Big Mo JW4CK81WC6

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

Mentions

wikipedia: Wikipedia The Big Mo (book), The Big Mo (definition). Also Wikidata Q25217386

History

2026-11-02: add by m2/dev

Borromean rings JW4ENENZEA

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

Mentions

wikipedia: Wikipedia List of knot theory topics#ZKSH, Borromean rings (definition)

History

2026-11-02: add by m2/dev

Janin Plot JW4HADGGKD

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

Mentions

wikipedia: Wikipedia Janin Plot, Janin Plot (definition). Also Wikidata Q16990440

History

2026-11-02: add by m2/dev

JW4RGTHH80 JW4RGTHH80

URI	`m2://inv/JW4RGTHH80`
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.13745#FQYV (statement). In CFJH0Q39FZ/e1, theorem 1.1

History

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

Proper coloring JW4VKVNREV

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

Mentions

wikipedia: Wikipedia Graph coloring#0YX4, Proper coloring (unknown)

History

2026-11-02: add by m2/dev

JW4W671TM3 JW4W671TM3

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

Mentions

arxiv: arXiv 1809.06512#C2SP (statement). In RY2X22P6XW/e1, theorem 23

History

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

Definition JW50AYBY63

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

Mentions

wikipedia: Wikipedia Fourier transform#73RG, Definition (definition)

History

2026-11-02: add by m2/dev

Peter B. Gilkey JW52S6AZEB

URI	`m2://inv/JW52S6AZEB`
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 Q2073764, Peter B. Gilkey (unknown). Also nLab Peter Gilkey
wikipedia: Wikipedia Peter B. Gilkey, Peter B. Gilkey (topic). Also Wikidata Q2073764

History

2026-10-26: add by m2/dev

Improved bound on the number of nonzero weights JW54SWTAX8

URI	`m2://inv/JW54SWTAX8`
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.20344#D7O8, Improved bound on the number of nonzero weights (statement)

History

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

Zigzag code JW54Y4YD5W

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

Mentions

wikipedia: Wikipedia Zigzag code, Zigzag code (definition). Also Wikidata Q8071825

History

2026-11-02: add by m2/dev

Blue eyes puzzle JW596R5DR0

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

Mentions

wikipedia: Wikipedia Common knowledge (logic)#IPAA, Blue eyes puzzle (unknown)

History

2026-11-02: add by m2/dev

Budan's theorem JW5E9T5ZYN

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

Mentions

wikipedia: Wikipedia Budan's theorem, Budan's theorem (statement). Also Wikidata Q3527026

History

2026-11-02: add by m2/dev

JW5EXGZA67 JW5EXGZA67

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

Mentions

napkin: napkin tex/measure/caratheodory.tex#proof-4 (proof). In RZP28ERRZV, proof, section 63.5

History

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

JW5M10X42W JW5M10X42W

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

Mentions

arxiv: arXiv 2610.10937#0JLZ (definition). In 6VVK3YTABP/e1, definition 8.1

History

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

Blow-up lemma JW5MK2EZ7F

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

Mentions

wikipedia: Wikipedia Blow-up lemma, Blow-up lemma (statement). Also Wikidata Q111953566

History

2026-11-02: add by m2/dev

stability, of homotopy groups of spheres JW5R540NEY

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

Mentions

hott_book: hott_book index/7.6/stability-of-homotopy-groups-of-spheres, stability, of homotopy groups of spheres (concept). In N54F33XE07, index, section 7.6

History

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

angular acceleration JW618MDRC4

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

Mentions

wikidata: Wikidata Q186300, angular acceleration (definition). Also MathWorld AngularAcceleration, ProofWiki Definition:Angular_Acceleration
wikipedia: Wikipedia Angular acceleration, Angular acceleration (definition). Also Wikidata Q186300

History

2026-10-26: add by m2/dev

Pseudo-monotone operator JW62GMMKNN

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

Mentions

wikipedia: Wikipedia Pseudo-monotone operator, Pseudo-monotone operator (definition). Also Wikidata Q7254436

History

2026-11-02: add by m2/dev

almost symplectic manifold JW634ZV9QT

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

Mentions

wikidata: Wikidata Q4734008, almost symplectic manifold (unknown). Also EoM Almost-symplectic_structure
wikipedia: Wikipedia Almost symplectic manifold, Almost symplectic manifold (definition). Also Wikidata Q4734008

History

2026-10-26: add by m2/dev

JW6C35MEG4 JW6C35MEG4

URI	`m2://inv/JW6C35MEG4`
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 2211.04758#TV6S (statement). In DRWDJG2G3S/e1, theorem A.1

History

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

Circuit Complexity of the Closed-Form Formula JW6D91NFXY

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

Mentions

arxiv: arXiv 2610.12239#LX6K, Circuit Complexity of the Closed-Form Formula (statement). In CW9MNA6K58/e1, theorem 4.4

History

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

JW6DJ722HH JW6DJ722HH

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

Mentions

open_logic: open_logic content/proof-theory/sequent-calculus/interpretation-rules.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 61.7

History

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

Public Use Microdata Area JW6EX6AP3M

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

Mentions

wikipedia: Wikipedia Public Use Microdata Area, Public Use Microdata Area (definition). Also Wikidata Q7257651

History

2026-11-02: add by m2/dev

Hooker, Reginald Hawthorn JW6J9F5P1Y

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

Mentions

wikipedia: Wikipedia List of statisticians#ZZF4, Hooker, Reginald Hawthorn (unknown)

History

2026-11-02: add by m2/dev

Examples JW6K1FHPJH

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

Mentions

wikipedia: Wikipedia Noether's theorem#XQU7, Examples (example)

History

2026-11-02: add by m2/dev

Tsvi Piran JW6V95444D

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#RZ6M, Tsvi Piran (unknown)

History

2026-11-02: add by m2/dev

Potential isomorphism JW6XV4SBV6

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

Mentions

wikipedia: Wikipedia Potential isomorphism, Potential isomorphism (definition). Also Wikidata Q7234824

History

2026-11-02: add by m2/dev

JW77ZDZF2C JW77ZDZF2C

URI	`m2://inv/JW77ZDZF2C`
Kind	statement
Layer	research
MSC	11-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.18503#NN17 (statement). In RW315W172S/e1, theorem 1.2

History

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

Concentration of measure JW78SKMEEG

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

Mentions

wikipedia: Wikipedia Concentration of measure, Concentration of measure (definition). Also Wikidata Q5158327

History

2026-11-02: add by m2/dev

JW7AWY07SP JW7AWY07SP

URI	`m2://inv/JW7AWY07SP`
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.02489#ZG2Q (statement). In ZCJDWDR16Z/e1, corollary 7.4

History

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

Examples JW7K0SNJ32

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

Mentions

wikipedia: Wikipedia Risk score#S0OL, Examples (example)

History

2026-11-02: add by m2/dev

Strict Hessian bound around a conditioned critical point JW7KN9KHN7

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

Mentions

arxiv: arXiv 2610.06490#Q8OQ, Strict Hessian bound around a conditioned critical point (statement). In NKXTXH59P1/e1, proposition E.9

History

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

Doorman fallacy JW7NM7S287

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

Mentions

wikipedia: Wikipedia List of fallacies#O9ID, Doorman fallacy (unknown)

History

2026-11-02: add by m2/dev

Malthus, Thomas Robert JW7QH7EC08

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

Mentions

wikipedia: Wikipedia List of statisticians#ZVY5, Malthus, Thomas Robert (unknown)

History

2026-11-02: add by m2/dev

JW7RCKGMXY JW7RCKGMXY

URI	`m2://inv/JW7RCKGMXY`
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.29489#PAZQ (statement)

History

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

JW7TQB3TNJ JW7TQB3TNJ

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

Mentions

arxiv: arXiv 2609.23941#KM42 (definition)

History

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

Applications JW7WYX7YYJ

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

Mentions

wikipedia: Wikipedia Triple correlation#D6HR, Applications (example)

History

2026-11-02: add by m2/dev

Examples JW81H3XZM5

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

Mentions

wikipedia: Wikipedia Orthogonal wavelet#BFE5, Examples (example)

History

2026-11-02: add by m2/dev

Isomorphism theorem JW81Y2G5FB

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

Mentions

wikipedia: Wikipedia List of theorems#V1GW, Isomorphism theorem (statement)

History

2026-11-02: add by m2/dev

JW83999V5T JW83999V5T

URI	`m2://inv/JW83999V5T`
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.30779#KHD4 (statement). In 64V4DXGBKB/e1, proposition 4.1

History

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

Applications JW83TD7KXE

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

Mentions

wikipedia: Wikipedia 2.5D (visual perception)#44AP, Applications (example)

History

2026-11-02: add by m2/dev

LaplacesDemon JW84M1CNYQ

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

Mentions

wikipedia: Wikipedia List of statistics articles#W6F2, LaplacesDemon (definition)

History

2026-11-02: add by m2/dev

Non-power-law scaling JW8E5M7HNS

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

Mentions

wikipedia: Wikipedia Kleiber's law#7463, Non-power-law scaling (statement)

History

2026-11-02: add by m2/dev

JW8FZT73ET JW8FZT73ET

URI	`m2://inv/JW8FZT73ET`
Kind	statement
Layer	research
MSC	05-XX, 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 2610.21866#Z90C (statement). In Q3NMYW8ANH/e1, lemma 2.5

History

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

or, inclusive JW8HSZ8CBT

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

Mentions

applied_combinatorics: applied_combinatorics index/B.2.1/or-inclusive, or, inclusive (concept). In QKM9DD2H56, index, section B.2.1

History

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

Combinatorial number theory JW8PW6GG17

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#B4Z2, Combinatorial number theory (definition)

History

2026-11-02: add by m2/dev

JW8Z06TYCZ JW8Z06TYCZ

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

Mentions

arxiv: arXiv 2308.08081#OPJ0 (statement). In FJ8XVQ6F0T/e1, theorem 1.6

History

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

JW9199NSK6 JW9199NSK6

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

Mentions

arxiv: arXiv 2609.24465#LOY1 (statement)

History

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

JW9CS2PR15 JW9CS2PR15

URI	`m2://inv/JW9CS2PR15`
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 2609.36300#M9D2 (statement). In MNWD3Y6W56/e1, lemma 3.7

History

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

518 (number) JW9VQ5X201

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

Mentions

wikipedia: Wikipedia 500 (number)#BE6O, 518 (number) (unknown)

History

2026-11-02: add by m2/dev

Formulations JW9ZFAZ1TH

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

Mentions

wikipedia: Wikipedia Grothendieck's relative point of view#N26S, Formulations (definition)

History

2026-11-02: add by m2/dev

freely sparse action JW9ZGW6SYF

URI	`m2://inv/JW9ZGW6SYF`
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 2610.03497#63XD, freely sparse action (definition). In RRNHC0CAC9/e1, definition

History

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

Veronika Hubeny JWA406787X

URI	`m2://inv/JWA406787X`
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 Q30325442, Veronika Hubeny (unknown). Also nLab Veronika Hubeny

History

2026-10-26: add by m2/dev

JWA51656EJ JWA51656EJ

URI	`m2://inv/JWA51656EJ`
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.14450#PX72 (statement). In ZHTGQT07PE/e1, theorem 3.12

History

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

JWA7X9VR73 JWA7X9VR73

URI	`m2://inv/JWA7X9VR73`
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.19093#QE2G (statement). In S2K79KESZ4/e1, corollary 1.7

History

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

Pál Turán JWAJQHE3T5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#NBCA, Pál Turán (topic)

History

2026-11-02: add by m2/dev

Efim D. Gluskin JWAMG5D2BZ

URI	`m2://inv/JWAMG5D2BZ`
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#QKRZ, Efim D. Gluskin (unknown)

History

2026-11-02: add by m2/dev

JWAMSHHC4W JWAMSHHC4W

URI	`m2://inv/JWAMSHHC4W`
Kind	statement
Layer	research
MSC	53-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.39845#226N (statement). In RK8DFVGQP1/e1, theorem 11

History

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

edge JWAMWQ5PSM

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

Mentions

wikidata: Wikidata Q26382, edge (unknown). Also MathWorld PolygonEdge, MathWorld PolytopeEdge
wikipedia: Wikipedia Edge (geometry), Edge (object). Also Wikidata Q26382

History

2026-10-26: add by m2/dev

Definition JWAYDG0NBR

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

Mentions

wikipedia: Wikipedia Wick product#0KW1, Definition (definition)

History

2026-11-02: add by m2/dev

JWAZKN651X JWAZKN651X

URI	`m2://inv/JWAZKN651X`
Kind	statement
Layer	research
MSC	37-XX, 46-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.24901#UI57 (statement)

History

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

JWB7AQW4A6 JWB7AQW4A6

URI	`m2://inv/JWB7AQW4A6`
Kind	statement
Layer	research
MSC	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 2610.19023#3ULC (statement). In QFA8TMJPHZ/e1, proposition 5.5

History

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

Apeirophobia JWBJ7TJ5E9

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

Mentions

wikipedia: Wikipedia Apeirophobia, Apeirophobia (definition). Also Wikidata Q104870117

History

2026-11-02: add by m2/dev

Prime zeta function JWBP0JMWYZ

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

Mentions

wikipedia: Wikipedia List of zeta functions#0KNJ, Prime zeta function (definition)

History

2026-11-02: add by m2/dev

Examples JWC1WZ5XXC

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

Mentions

wikipedia: Wikipedia Change of rings#64N1, Examples (example)

History

2026-11-02: add by m2/dev

Inscribed angle theorem for circles JWC3VXWHDC

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

Mentions

wikipedia: Wikipedia Ellipse#XQ84, Inscribed angle theorem for circles (statement)

History

2026-11-02: add by m2/dev

JWC40B0765 JWC40B0765

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

Mentions

arxiv: arXiv 2609.24465#CJSG (statement)

History

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

Lev Pontryagin JWC4W64DDN

URI	`m2://inv/JWC4W64DDN`
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 Q451319, Lev Pontryagin (unknown). Also nLab Lev Pontrjagin
wikipedia: Wikipedia Lev Pontryagin, Lev Pontryagin (topic). Also Wikidata Q451319

History

2026-10-26: add by m2/dev

Frederic M. Lord JWCMYZTAV1

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

Mentions

wikipedia: Wikipedia Frederic M. Lord, Frederic M. Lord (topic). Also Wikidata Q5497090

History

2026-11-02: add by m2/dev

JWCNNSMM1F JWCNNSMM1F

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

Mentions

arxiv: arXiv 2610.05856#XRD1 (example). In WMXXXFH1M4/e1, example

History

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

JWCRWZ2AYC JWCRWZ2AYC

URI	`m2://inv/JWCRWZ2AYC`
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.03310#3WD6 (statement). In 2CQ2KPV3CG/e1, theorem 1.2

History

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

JWCWSPC5RM JWCWSPC5RM

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-42 (exercise). In E9HS8K3A52, exercise, section 2.3.6

History

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

Endpoint regularity JWCXD30ZDM

URI	`m2://inv/JWCXD30ZDM`
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.15419#GG6T, Endpoint regularity (statement). In QHMR7JRJ0W/e1, theorem 2.4

History

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

JWDPDY3ESG JWDPDY3ESG

URI	`m2://inv/JWDPDY3ESG`
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.08052#0BZ9 (statement). In 672XAVEQ34/e1, lemma 5.3

History

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

JWDSTFSK2Y JWDSTFSK2Y

URI	`m2://inv/JWDSTFSK2Y`
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.27483#EWEO (statement)

History

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

A simple example JWE2YJBKJ4

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

Mentions

wikipedia: Wikipedia Abstract polytope#RJYX, A simple example (example)

History

2026-11-02: add by m2/dev

Loschmidt's paradox JWE5VN8QYE

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

Mentions

wikipedia: Wikipedia H-theorem#B4TT, Loschmidt's paradox (statement)

History

2026-11-02: add by m2/dev

Josselin Garnier JWECZ5DCZE

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

Mentions

wikipedia: Wikipedia Josselin Garnier, Josselin Garnier (topic). Also Wikidata Q1621728

History

2026-11-02: add by m2/dev

John Lighton Synge JWEF6B0DZH

URI	`m2://inv/JWEF6B0DZH`
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#89IH, John Lighton Synge (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DCQ0, John Lighton Synge (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XZ8I, John Lighton Synge (topic)

History

2026-11-02: add by m2/dev

sound deductive argument JWEQ0H9VQZ

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

Mentions

wikipedia: Wikipedia Glossary of logic#JKPR, sound deductive argument (definition)

History

2026-11-02: add by m2/dev

Square summability for deterministic weights JWEY8AS3ZP

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

Mentions

arxiv: arXiv 2610.00614#TKXD, Square summability for deterministic weights (statement). In NC5Z77F6H4/e1, lemma 6.1

History

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

Direction accuracy for local refinement JWF2MQ8MYY

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

Mentions

arxiv: arXiv 2609.36594#051I, Direction accuracy for local refinement (statement). In 8JDQ9FWFRK/e1, lemma B.3

History

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

Public key certificate JWF9520T82

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

Mentions

wikipedia: Wikipedia Public key certificate, Public key certificate (definition). Also Wikidata Q274758

History

2026-11-02: add by m2/dev

Challenging JWFNHQ1B21

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise:increasingfuncdiscatQ, Challenging (exercise). In E59CDZA4DP, exercise, section 2.6.3

History

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

JWFS594730 JWFS594730

URI	`m2://inv/JWFS594730`
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.30363#XKS5 (statement). In QHBBP180QJ/e1, lemma 3

History

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

Steiner orbit codes meet the Johnson bound JWFV1PKYXE

URI	`m2://inv/JWFV1PKYXE`
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.15340#29BP, Steiner orbit codes meet the Johnson bound (statement). In 9NVKKW8HDH/e1, theorem 3.21

History

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

JWFXZKNZPV JWFXZKNZPV

URI	`m2://inv/JWFXZKNZPV`
Kind	example
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.29723#ISX5 (example)

History

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

JWG15G50C1 JWG15G50C1

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

Mentions

open_logic: open_logic content/computability/recursive-functions/examples.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 3.20

History

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

FCFS JWG3A737BX

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

Mentions

wikipedia: Wikipedia Queueing theory#ZRTH, FCFS (unknown)

History

2026-11-02: add by m2/dev

JWGFD5JQVX JWGFD5JQVX

URI	`m2://inv/JWGFD5JQVX`
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.31641#C9H7 (statement). In XC2HE3KXPM/e1, theorem

History

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

JWH2Y6QN2F JWH2Y6QN2F

URI	`m2://inv/JWH2Y6QN2F`
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.17698#RKU3 (statement). In DAH99JEYHF/e1, proposition 2.4

History

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

JWH6A6NVGN JWH6A6NVGN

URI	`m2://inv/JWH6A6NVGN`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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.20798#OF8T (statement)

History

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

Riemann hypothesis JWHEEMV56P

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

Mentions

wikipedia: Wikipedia Conjecture#W48U, Riemann hypothesis (statement)

History

2026-11-02: add by m2/dev

Total least squares JWHFKKT4FW

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

Mentions

wikipedia: Wikipedia List of statistics articles#R11C, Total least squares (definition)

History

2026-11-02: add by m2/dev

Zolotarev's lemma JWHY350R8B

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

Mentions

wikipedia: Wikipedia List of permutation topics#IXVD, Zolotarev's lemma (statement)
wikipedia: Wikipedia List of lemmas#W7BU, Zolotarev's lemma (statement)

History

2026-11-02: add by m2/dev

Examples JWJ08W9WV9

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

Mentions

wikipedia: Wikipedia Completion of a ring#E6UC, Examples (example)

History

2026-11-02: add by m2/dev

Contrast JWJ86PXYEV

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

Mentions

wikipedia: Wikipedia Contrast (statistics), Contrast (definition). Also Wikidata Q5165754

History

2026-11-02: add by m2/dev

Special cases JWJ9Q1WK2H

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

Mentions

wikipedia: Wikipedia Hecke character#RY2V, Special cases (statement)

History

2026-11-02: add by m2/dev

Fixed-number-of-types compensator limit JWJBBRGYCA

URI	`m2://inv/JWJBBRGYCA`
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.17479#NV1B, Fixed-number-of-types compensator limit (statement). In 4FWAY748N7/e1, proposition 1.4

History

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

Canonical cospan-algebra presentation of OC causal nets JWJBVDZV65

URI	`m2://inv/JWJBVDZV65`
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.20478#WHN2, Canonical cospan-algebra presentation of OC causal nets (statement)

History

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

Cunningham function JWJEPNVW0Q

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

Mentions

wikidata: Wikidata Q5194340, Cunningham function (unknown). Also MathWorld CunninghamFunction
wikipedia: Wikipedia Cunningham function, Cunningham function (definition). Also Wikidata Q5194340

History

2026-10-26: add by m2/dev

JWJJP2H490 JWJJP2H490

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#prop-7 (statement). In E59CDZA4DP, prop, section 11.2.3

History

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

JWJJVT03XS JWJJVT03XS

URI	`m2://inv/JWJJVT03XS`
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.35361#BVCK (statement). In E4PGMSEQTS/e1, lemma 3.1

History

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

Statement JWJQDYSGXD

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

Mentions

wikipedia: Wikipedia Fluctuation theorem#42I1, Statement (statement)

History

2026-11-02: add by m2/dev

Equation JWJS5R9219

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#W4Q6, Equation (definition)

History

2026-11-02: add by m2/dev

JWJTMFQYNG JWJTMFQYNG

URI	`m2://inv/JWJTMFQYNG`
Kind	statement
Layer	research
MSC	26-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 2610.17116#QNE0 (statement). In A02X6MX28Y/e1, proposition 4.3

History

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

Stratified randomization JWJZ3YTMM5

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

Mentions

wikipedia: Wikipedia Stratified randomization, Stratified randomization (definition). Also Wikidata Q104844009

History

2026-11-02: add by m2/dev

JWK1VW4ZSA JWK1VW4ZSA

URI	`m2://inv/JWK1VW4ZSA`
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#F64H (statement). In BDN507RN7J/e1, proposition 3.7.9

History

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

Synge's theorem JWKDBZS8ZW

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

Mentions

wikipedia: Wikipedia List of theorems#97NB, Synge's theorem (statement)

History

2026-11-02: add by m2/dev

Super PI JWKHG7SN79

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

Mentions

wikipedia: Wikipedia Super PI, Super PI (definition). Also Wikidata Q1786021

History

2026-11-02: add by m2/dev

JWKMYE32WR JWKMYE32WR

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-2.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 6.2

History

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

JWM4599X72 JWM4599X72

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

Mentions

open_logic: open_logic content/intuitionistic-logic/tableaux/proofs.tex#ex-1 (example). In PKGMM3P5QY, ex, section 34.4

History

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

Volume of a simplex JWM7MCJ5P3

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

Mentions

wikipedia: Wikipedia Simplex#D2NM, Volume of a simplex (unknown)

History

2026-11-02: add by m2/dev

JWMDVZWYPF JWMDVZWYPF

URI	`m2://inv/JWMDVZWYPF`
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 2609.28020#M62G (statement)

History

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

JWMJ3XZRWH JWMJ3XZRWH

URI	`m2://inv/JWMJ3XZRWH`
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#7VXS (statement). In V2XJJJX1Z8/e1, theorem 1.4

History

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

Symmetry JWMJ4C6T18

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

Mentions

wikipedia: Wikipedia Order-6 hexagonal tiling honeycomb#ED2A, Symmetry (statement)

History

2026-11-02: add by m2/dev

Properties JWMKQASRC7

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

Mentions

wikipedia: Wikipedia Folkman graph#NSX2, Properties (statement)

History

2026-11-02: add by m2/dev

Zlil Sela JWMVFD1Q79

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

Mentions

mathlib_1000: mathlib_1000 Q207244, Sela's theorem (statement). Also Wikidata Q207244
thousand_plus: thousand_plus Q207244, Sela's theorem (statement). Also Wikidata Q207244
wikipedia: Wikipedia Zlil Sela, Zlil Sela (topic). Also Wikidata Q207244

History

2026-10-26: add by m2/dev

encode-decode method JWMVNS6T9Z

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

Mentions

hott_book: hott_book index/1.12/encode-decode-method, encode-decode method (concept). In N54F33XE07, index, section 1.12

History

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

JWMZE1PQDW JWMZE1PQDW

URI	`m2://inv/JWMZE1PQDW`
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.24675#FRXB (statement)

History

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

Yiannis N. Moschovakis JWN8SKF5MT

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

Mentions

wikipedia: Wikipedia List of logicians#9W7V, Yiannis N. Moschovakis (topic)

History

2026-11-02: add by m2/dev

small, set JWNGCEMCVJ

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

Mentions

hott_book: hott_book index/2.1/small-set, small, set (concept). In N54F33XE07, index, section 2.1

History

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

Applications JWNKH1270J

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

Mentions

wikipedia: Wikipedia Graph canonization#E4AN, Applications (example)

History

2026-11-02: add by m2/dev

JWNNNEZK3E JWNNNEZK3E

URI	`m2://inv/JWNNNEZK3E`
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.29699#EPEX (statement)

History

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

JWP3MCQ4XC JWP3MCQ4XC

URI	`m2://inv/JWP3MCQ4XC`
Kind	definition
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#Q9NU (definition). In 8SXY7Y68HV/e1, definition 6.1

History

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

JWP6G404Y6 JWP6G404Y6

URI	`m2://inv/JWP6G404Y6`
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#6A37 (statement). In EJHAXRV685/e1, proposition 3.9

History

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

JWP8E2S60K JWP8E2S60K

URI	`m2://inv/JWP8E2S60K`
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 2608.24424#RWXA (example). In RQHGZ4AA5T/e1, example 4.4

History

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

Matrix theory JWPDE2WA04

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

Mentions

wikipedia: Wikipedia Matrix theory (physics), Matrix theory (definition). Also Wikidata Q21175464

History

2026-11-02: add by m2/dev

Arrhenius equation JWPF2CN2BG

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

Mentions

wikipedia: Wikipedia Arrhenius equation, Arrhenius equation (definition). Also Wikidata Q507505

History

2026-11-02: add by m2/dev

JWPFTRFEYD JWPFTRFEYD

URI	`m2://inv/JWPFTRFEYD`
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#5TUO (definition)

History

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

JWQ3Z3P47C JWQ3Z3P47C

URI	`m2://inv/JWQ3Z3P47C`
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.25880#4URB (statement)

History

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

JWQ4WTHJ3Y JWQ4WTHJ3Y

URI	`m2://inv/JWQ4WTHJ3Y`
Kind	statement
Layer	research
MSC	60-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.16267#G17P (statement). In 65GKPZ15VH/e1, proposition 3.17

History

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

Examples JWQ8JC16N4

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

Mentions

wikipedia: Wikipedia Ideal quotient#P6VR, Examples (example)

History

2026-11-02: add by m2/dev

JWQH85MNCM JWQH85MNCM

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

Mentions

arxiv: arXiv 2610.10365#0D6B (statement). In PRVQPSBVHK/e1, lemma 10

History

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

Visible and invisible eigenvalues JWQK7JDYBF

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

Mentions

arxiv: arXiv 2610.08011#E5WO, Visible and invisible eigenvalues (definition). In K0BXT951HT/e1, definition 2.7

History

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

JWQMW41ZW5 JWQMW41ZW5

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

Mentions

arxiv: arXiv 2204.04820#POH3 (statement). In 9EJ71MW89B/e1, theorem 2.3

History

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

JWQPBABKZJ JWQPBABKZJ

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

Mentions

arxiv: arXiv 2610.00409#INYC (statement). In YQT2APQPWD/e1, proposition 8.1

History

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

JWQV4XK2WE JWQV4XK2WE

URI	`m2://inv/JWQV4XK2WE`
Kind	statement
Layer	research
MSC	05-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.31768#F7KU (statement). In WC7ZECEE3P/e1, proposition 3.5

History

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

Plant blindness JWQZV84H4H

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

Mentions

wikipedia: Wikipedia List of cognitive biases#1SQM, Plant blindness (unknown)

History

2026-11-02: add by m2/dev

Special cases JWR814FJ64

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

Mentions

wikipedia: Wikipedia Champernowne distribution#WVNP, Special cases (statement)

History

2026-11-02: add by m2/dev

Dover JWREJWMFQR

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

Mentions

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

History

2026-11-02: add by m2/dev

JWRJ6N7HZX JWRJ6N7HZX

URI	`m2://inv/JWRJ6N7HZX`
Kind	statement
Layer	research
MSC	05-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.22514#X9OY (statement)

History

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

Convergence of Fourier series JWRPY0CG2F

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

Mentions

wikipedia: Wikipedia Convergence of Fourier series, Convergence of Fourier series (definition). Also Wikidata Q5166386

History

2026-11-02: add by m2/dev

Conformal anomaly JWRT3F6THP

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

Mentions

wikipedia: Wikipedia List of string theory topics#W2Z9, Conformal anomaly (unknown)

History

2026-11-02: add by m2/dev

Semicircle JWS3E6K698

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#BHP2, Semicircle (definition)
wikipedia: Wikipedia List of mathematical shapes#NI37, Semicircle (definition)

History

2026-11-02: add by m2/dev

Great ditrigonal dodecacronic hexecontahedron JWS61KR07J

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#7F8Q, Great ditrigonal dodecacronic hexecontahedron (object)

History

2026-11-02: add by m2/dev

JWS67967NH JWS67967NH

URI	`m2://inv/JWS67967NH`
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.08912#TYOI (statement). In DK5QY64NGH/e1, lemma 5.6

History

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

Symmetric three-node completion JWS8ES3TYJ

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

Mentions

arxiv: arXiv 2609.25027#R88Y, Symmetric three-node completion (statement)

History

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

Finite lifting from \(S\ JWSHNS1BK3

URI	`m2://inv/JWSHNS1BK3`
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.27641#00AP, Finite lifting from \(S\ (statement)

History

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

Maxwell–Boltzmann distribution JWSKBT5V8M

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

Mentions

wikipedia: Wikipedia List of statistics articles#G5BP, Maxwell–Boltzmann distribution (definition)

History

2026-11-02: add by m2/dev

JWSXWV2YKJ JWSXWV2YKJ

URI	`m2://inv/JWSXWV2YKJ`
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.39307#Z8HO (statement). In QFBGPGRP1P/e1, lemma 4.1

History

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

JWSZMZP7TW JWSZMZP7TW

URI	`m2://inv/JWSZMZP7TW`
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.21937#SGLU (statement)

History

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

Point processes with exact intensity and spectral control JWT0TZ5XFH

URI	`m2://inv/JWT0TZ5XFH`
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#ZQF1, Point processes with exact intensity and spectral control (statement). In 9YAE8FNQST/e1, theorem 7.14

History

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

Real line JWT6YWADPX

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

Mentions

wikipedia: Wikipedia List of real analysis topics#DVHT, Real line (definition)

History

2026-11-02: add by m2/dev

JWT755K722 JWT755K722

URI	`m2://inv/JWT755K722`
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#4A5I (statement). In BDN507RN7J/e1, proposition 6.1.6

History

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

JWT7H22F27 JWT7H22F27

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#example-6 (example). In E9HS8K3A52, example, section 9.2

History

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

JWT92E7YKW JWT92E7YKW

URI	`m2://inv/JWT92E7YKW`
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 2609.38323#Q6HU (statement). In MER0S03A77/e1, theorem A

History

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

JWTCVCYYE4 JWTCVCYYE4

URI	`m2://inv/JWTCVCYYE4`
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 1904.09810#KJLM (statement). In T1VFA7TXPA/e1, lemma 44

History

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

Rose (topology) JWTEVPW1HJ

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

Mentions

wikipedia: Wikipedia List of topologies#EJWN, Rose (topology) (definition)

History

2026-11-02: add by m2/dev

JWTQM5533J JWTQM5533J

URI	`m2://inv/JWTQM5533J`
Kind	statement
Layer	research
MSC	19-XX, 30-XX, 32-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.26808#9DHZ (statement)

History

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

JWTSV1FJTM JWTSV1FJTM

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

Mentions

arxiv: arXiv 2111.07409#L0ZV (definition). In KWH4QJDPWC/e1, definition 5.1

History

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

computable analysis JWV20AX7C2

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

Mentions

wikidata: Wikidata Q5157264, computable analysis (unknown). Also nLab computable analysis
wikipedia: Wikipedia Computable analysis, Computable analysis (topic). Also Wikidata Q5157264

History

2026-10-26: add by m2/dev

JWV7QRSFT3 JWV7QRSFT3

URI	`m2://inv/JWV7QRSFT3`
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.33185#71VC (statement). In QX30H2WNA7/e1, proposition 4.10

History

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

Foliation JWV9TNC9HH

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

Mentions

wikipedia: Wikipedia List of partition topics#EI8A, Foliation (definition)

History

2026-11-02: add by m2/dev

Nguyen-Dang--Wang JWVNF3WP7N

URI	`m2://inv/JWVNF3WP7N`
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.30675#P27X, Nguyen-Dang--Wang (statement). In RQ0K0A6PQA/e1, theorem A.2

History

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

Diana Thomas JWVPK7YZ5Y

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

Mentions

wikipedia: Wikipedia Diana Thomas (mathematician), Diana Thomas (topic). Also Wikidata Q69541039

History

2026-11-02: add by m2/dev

JWVV390GYH JWVV390GYH

URI	`m2://inv/JWVV390GYH`
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 2311.01874#LY5A (statement). In A4TR95VGX2/e1, corollary 2

History

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

JWW78RGBYE JWW78RGBYE

URI	`m2://inv/JWW78RGBYE`
Kind	statement
Layer	research
MSC	19-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.36823#6JSI (statement). In 55WT8DME6Y/e1, proposition 4.7

History

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

Spectral element method JWWP3W5NEK

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

Mentions

wikipedia: Wikipedia Spectral element method, Spectral element method (definition). Also Wikidata Q7575186

History

2026-11-02: add by m2/dev

JWWPRMTVB5 JWWPRMTVB5

URI	`m2://inv/JWWPRMTVB5`
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 2606.20229#X7VL (definition). In 1B85G2QJC2/e1, definition 5.1

History

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

Applications JWWQNEC7DX

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

Mentions

wikipedia: Wikipedia Circle packing theorem#5UDN, Applications (example)

History

2026-11-02: add by m2/dev

JWWQRBWABT JWWQRBWABT

URI	`m2://inv/JWWQRBWABT`
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.10875#ZFFW (statement). In N91F15MHW1/e1, lemma 13

History

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

Applications JWWSAV0W6P

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

Mentions

wikipedia: Wikipedia Elliptic cylindrical coordinates#CHND, Applications (example)

History

2026-11-02: add by m2/dev

Oxford Bulletin of Economics and Statistics JWWY2Z2SFA

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

Mentions

wikipedia: Wikipedia Oxford Bulletin of Economics and Statistics, Oxford Bulletin of Economics and Statistics (definition). Also Wikidata Q7115255

History

2026-11-02: add by m2/dev

Identity matrix JWWZXCX36P

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

Mentions

wikipedia: Wikipedia Substitution matrix#F4H8, Identity matrix (statement)

History

2026-11-02: add by m2/dev

van Kampen theorem JWX1M10675

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

Mentions

hott_book: hott_book index/2.9/van-kampen-theorem, van Kampen theorem (concept). In N54F33XE07, index, section 2.9

History

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

Localized mean estimates JWX21B8A8B

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

Mentions

arxiv: arXiv 2609.23927#DOIL, Localized mean estimates (statement)

History

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

cofactor JWX3AP9QZF

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

Mentions

lebl_diffyqs: lebl_diffyqs index/2.6/cofactor, cofactor (concept). In E9HS8K3A52, index, section 2.6

History

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

Fusion frame JWX4EAYXJV

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

Mentions

wikipedia: Wikipedia Fusion frame, Fusion frame (definition). Also Wikidata Q17015058

History

2026-11-02: add by m2/dev

JWXB0DYWTY JWXB0DYWTY

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

Mentions

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

History

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

Hammersley set JWXEPJYS3V

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

Mentions

wikipedia: Wikipedia Low-discrepancy sequence#JG34, Hammersley set (unknown)

History

2026-11-02: add by m2/dev

JWXFKHNXJG JWXFKHNXJG

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

Mentions

arxiv: arXiv 2609.25275#FAJT (statement)

History

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

JWXJREWFXG JWXJREWFXG

URI	`m2://inv/JWXJREWFXG`
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.03208#FHHJ (statement). In A3CMP0TJK2/e1, lemma 4.1

History

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

Levitzky's theorem JWXRW022TR

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

Mentions

mathlib_1000: mathlib_1000 Q6535741, Levitzky's theorem (statement). Also Wikidata Q6535741
thousand_plus: thousand_plus Q6535741, Levitzky's theorem (statement). Also Wikidata Q6535741, Wikipedia Levitzky's theorem
wikipedia: Wikipedia Levitzky's theorem, Levitzky's theorem (statement). Also Wikidata Q6535741

History

2026-10-26: add by m2/dev

Examples JWXSWYAPRS

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

Mentions

wikipedia: Wikipedia Best, worst and average case#DQD7, Examples (example)

History

2026-11-02: add by m2/dev

Indefinite sum JWXWQ41PMM

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

Mentions

wikipedia: Wikipedia Indefinite sum, Indefinite sum (definition). Also Wikidata Q6015812

History

2026-11-02: add by m2/dev

JWXWQAVRW7 JWXWQAVRW7

URI	`m2://inv/JWXWQAVRW7`
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#GUH1 (statement)

History

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

Multilinear principal component analysis JWXXASY5B2

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

Mentions

wikipedia: Wikipedia Multilinear principal component analysis, Multilinear principal component analysis (definition). Also Wikidata Q6934740

History

2026-11-02: add by m2/dev

Markov number JWY20BTZX6

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

Mentions

wikidata: Wikidata Q1900907, Markov number (concept). Also MathWorld MarkovNumber
wikipedia: Wikipedia Markov number, Markov number (definition). Also Wikidata Q1900907

History

2026-10-26: add by m2/dev

JWY2TW3X9T JWY2TW3X9T

URI	`m2://inv/JWY2TW3X9T`
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.16746#C2EE (statement). In M00TA3JJM6/e1, corollary 1.5

History

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

Computational geometry JWY4ADWRFE

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#IA60, Computational geometry (definition)

History

2026-11-02: add by m2/dev

Song District JWY7NRGM03

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

Mentions

wikipedia: Wikipedia List of places with numeric names#KZGR, Song District (unknown)

History

2026-11-02: add by m2/dev

Somerton JWYKH18ZFY

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

Mentions

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

History

2026-11-02: add by m2/dev

Synthetic division JWYQPWHQYB

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

Mentions

wikipedia: Wikipedia List of polynomial topics#BW21, Synthetic division (definition)

History

2026-11-02: add by m2/dev

Examples JWZDHP38XH

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

Mentions

wikipedia: Wikipedia Contraposition#UYEV, Examples (example)

History

2026-11-02: add by m2/dev

wavelet transform JWZN91X7P9

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

Mentions

wikidata: Wikidata Q2867, wavelet transform (unknown). Also MathWorld WaveletTransform
wikipedia: Wikipedia Wavelet transform, Wavelet transform (definition). Also Wikidata Q2867

History

2026-10-26: add by m2/dev

Commuting Markov and feature operators JWZSHB31WS

URI	`m2://inv/JWZSHB31WS`
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.13916#2UP9, Commuting Markov and feature operators (statement). In JS2JSD0507/e1, corollary 3.16

History

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

divergence theorem JWZSVNTSRW

URI	`m2://inv/JWZSVNTSRW`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Divergence theorem 0JX86PSSA9

Mentions

mathlib_1000: mathlib_1000 Q338886, Divergence theorem (statement). Also Mathlib MeasureTheory.integral_divergence_of_hasFDerivAt_off_countable, Wikidata Q338886
mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > divergence theorem, divergence theorem (unknown). Also Mathlib MeasureTheory.integral_divergence_of_hasFDerivAt_off_countable
thousand_plus: thousand_plus Q338886, Divergence theorem (statement). Also Wikidata Q338886, Wikipedia Divergence theorem, Wikipedia Gauss theorem
wikidata: Wikidata Q338886, divergence theorem (statement). Also MathWorld DivergenceTheorem, nLab divergence theorem
wikipedia: Wikipedia Divergence theorem, Divergence theorem (statement). Also Wikidata Q338886

History

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

Lucas chain JWZY3ERFVQ

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

Mentions

wikidata: Wikidata Q6696364, Lucas chain (unknown). Also MathWorld LucasChain
wikipedia: Wikipedia Lucas chain, Lucas chain (definition). Also Wikidata Q6696364

History

2026-10-26: add by m2/dev

Tusi, Nasireddin JWZZ1PCNB6

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

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#OAC7, Tusi, Nasireddin (topic)

History

2026-11-02: add by m2/dev