Inventory rows JY

Nocturnal planetary boundary layer JY05V836GC

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

Mentions

wikipedia: Wikipedia Planetary boundary layer#BNOJ, Nocturnal planetary boundary layer (unknown)

History

2026-11-02: add by m2/dev

JY06SPNW6V JY06SPNW6V

URI	`m2://inv/JY06SPNW6V`
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 2610.00789#489N (definition). In 4WPYBTARS2/e1, definition 2.18

History

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

JY09JMFWRG JY09JMFWRG

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

Mentions

arxiv: arXiv 2610.09561#FY8K (statement). In WDV5E2CVTR/e1, theorem 6.8

History

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

JY0ACZGKK1 JY0ACZGKK1

URI	`m2://inv/JY0ACZGKK1`
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.30302#1HNM (statement). In R6ABTE22G0/e1, theorem 8

History

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

Fundamental theorems JY0CNQY058

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

Mentions

wikipedia: Wikipedia Equivariant algebraic K-theory#OIW6, Fundamental theorems (statement)

History

2026-11-02: add by m2/dev

𝑛-tuple JY0E67FB59

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

Mentions

wikidata: Wikidata Q600590, 𝑛-tuple (unknown). Also MathWorld n-Tuple
wikipedia: Wikipedia Tuple, Tuple (definition). Also Wikidata Q600590

History

2026-10-26: add by m2/dev

The Friis formula for noise factor JY0KEN3BFA

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

Mentions

wikipedia: Wikipedia Friis formulas for noise#AUTI, The Friis formula for noise factor (statement)

History

2026-11-02: add by m2/dev

Examples JY0KTFKD74

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

Mentions

wikipedia: Wikipedia Dual basis#7O4B, Examples (example)

History

2026-11-02: add by m2/dev

Properties JY0NZASB7K

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

Mentions

wikipedia: Wikipedia Geometric–harmonic mean#2A67, Properties (statement)

History

2026-11-02: add by m2/dev

topological tensor product JY0QPQ53S2

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

Mentions

wikidata: Wikidata Q7825044, topological tensor product (unknown). Also EoM Topological_tensor_product
wikipedia: Wikipedia Topological tensor product, Topological tensor product (definition). Also Wikidata Q7825044

History

2026-10-26: add by m2/dev

limit, of sets JY0S1Y7BWJ

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

Mentions

hott_book: hott_book index/C.1.1/limit-of-sets, limit, of sets (concept). In N54F33XE07, index, section C.1.1

History

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

JY0ST7BMT9 JY0ST7BMT9

URI	`m2://inv/JY0ST7BMT9`
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 2610.12486#IQMU (statement). In CWQ2YHT24E/e1, proposition 8.1

History

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

Bott periodicity theorem JY0WEXAXJJ

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

Mentions

wikipedia: Wikipedia Symmetric space#HUUQ, Bott periodicity theorem (statement)

History

2026-11-02: add by m2/dev

continuous at $x = a$ JY0YX5KHXC

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

Mentions

active_calculus: active_calculus index/1.7.3/continuous-at-x-a, continuous at $x = a$ (concept). In 907G4C4EJ1, index, section 1.7.3

History

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

Lorentz surface JY121X05MC

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

Mentions

wikipedia: Wikipedia Lorentz surface, Lorentz surface (definition). Also Wikidata Q6680541

History

2026-11-02: add by m2/dev

JY1BE6QTDB JY1BE6QTDB

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

Mentions

arxiv: arXiv 2609.36423#V939 (definition). In Q5Z178SAHP/e1, definition 4.14

History

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

Properties JY1CVBSPX9

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

Mentions

wikipedia: Wikipedia Löschian number#VO9K, Properties (statement)

History

2026-11-02: add by m2/dev

Seasonally adjusted annual rate JY1HZHQ7PQ

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

Mentions

wikipedia: Wikipedia List of statistics articles#TNWT, Seasonally adjusted annual rate (definition)

History

2026-11-02: add by m2/dev

Example JY1NWNAMM7

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

Mentions

wikipedia: Wikipedia Sheaf of modules#LDWR, Example (example)

History

2026-11-02: add by m2/dev

Meagre set JY1QQ8KXVJ

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

Mentions

wikipedia: Wikipedia List of exceptional set concepts#I55L, Meagre set (definition)
wikipedia: Wikipedia List of types of sets#KILE, Meagre set (definition)

History

2026-11-02: add by m2/dev

Examples JY1RSR63DF

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

Mentions

wikipedia: Wikipedia Appeal to nature#XCE4, Examples (example)

History

2026-11-02: add by m2/dev

JY1TGKX4K7 JY1TGKX4K7

URI	`m2://inv/JY1TGKX4K7`
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.21033#ELFL (statement). In A8C1M9BSWH/e1, theorem 3.5

History

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

Castelnuovo–Mumford regularity JY211JP8BS

URI	`m2://inv/JY211JP8BS`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Castelnuovo–Mumford regularity Y76T2DQJPQ

Mentions

wikidata: Wikidata Q5049716, Castelnuovo–Mumford regularity (unknown). Also nLab wall crossing
wikipedia: Wikipedia Castelnuovo–Mumford regularity, Castelnuovo–Mumford regularity (definition). Also Wikidata Q5049716

History

2026-10-26: add by m2/dev

JY254YM203 JY254YM203

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

Mentions

arxiv: arXiv 2610.07240#40ON (statement). In D0F1GK5AHW/e1, proposition

History

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

Definition JY28P692EE

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

Mentions

wikipedia: Wikipedia Plücker embedding#P9CI, Definition (definition)

History

2026-11-02: add by m2/dev

Example JY2BZ9EMR5

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

Mentions

wikipedia: Wikipedia Hindley–Milner type system#S2UT, Example (example)

History

2026-11-02: add by m2/dev

Band sum JY2CVZNWBT

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

Mentions

wikipedia: Wikipedia List of knot theory topics#T4TL, Band sum (definition)

History

2026-11-02: add by m2/dev

JY2JA9DTA2 JY2JA9DTA2

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

Mentions

arxiv: arXiv 2609.29531#HALW (statement)

History

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

JY2JB8F5Z7 JY2JB8F5Z7

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

Mentions

arxiv: arXiv 2610.11048#QKIJ (statement). In H6TK4V0YVQ/e1, lemma 5.2

History

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

JY2N6A0SA1 JY2N6A0SA1

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

Mentions

napkin: napkin tex/set-theory/cardinal.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 89.7

History

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

JY2RQ6W8K4 JY2RQ6W8K4

URI	`m2://inv/JY2RQ6W8K4`
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.28350#EVVM (statement)

History

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

Eric Schechter JY2VCJC00W

URI	`m2://inv/JY2VCJC00W`
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 Q5387448, Eric Schechter (unknown). Also nLab Eric Schechter
wikipedia: Wikipedia Eric Schechter, Eric Schechter (topic). Also Wikidata Q5387448

History

2026-10-26: add by m2/dev

Examples JY2VY7PX3A

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

Mentions

wikipedia: Wikipedia Saturated family#Q9JS, Examples (example)

History

2026-11-02: add by m2/dev

JY30PMDCM7 JY30PMDCM7

URI	`m2://inv/JY30PMDCM7`
Kind	definition
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#N2QN (definition)

History

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

JY30SK8KAT JY30SK8KAT

URI	`m2://inv/JY30SK8KAT`
Kind	statement
Layer	research
MSC	16-XX, 20-XX, 22-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 2607.00146#FX5E (statement). In 6KR7Z5ETRY/e1, lemma 3.15

History

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

JY314177B2 JY314177B2

URI	`m2://inv/JY314177B2`
Kind	statement
Layer	research
MSC	13-XX, 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 2206.11797#ITT8 (statement). In 8SJWWZN4FH/e1, theorem 2.8

History

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

Initial enlargement by a general terminal signal JY32JDNGTK

URI	`m2://inv/JY32JDNGTK`
Kind	problem
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.18180#5C95, Initial enlargement by a general terminal signal (problem). In NJGS7D1EPH/e1, problem 9.3

History

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

Harmonic multiplication and sifting convolution JY3CPRQQ9E

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

Mentions

arxiv: arXiv 2610.13892#HIB2, Harmonic multiplication and sifting convolution (definition). In HV9KKEBBDD/e1, definition III.9

History

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

Peter Nemenyi JY3KF0WCKT

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#JZQ9, Peter Nemenyi (unknown)

History

2026-11-02: add by m2/dev

JY3QJ4BHRZ JY3QJ4BHRZ

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

Mentions

arxiv: arXiv 2609.29747#8FRY (statement)

History

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

JY3Y8S644R JY3Y8S644R

URI	`m2://inv/JY3Y8S644R`
Kind	statement
Layer	research
MSC	26-XX, 46-XX, 60-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 2610.07679#OOC4 (statement). In K8JMTRS42G/e1, lemma 8.1

History

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

JY3YW8KZ90 JY3YW8KZ90

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

Mentions

arxiv: arXiv 2609.32374#4HJ4 (example). In 96D6N9AXQM/e1, example 2.2

History

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

critical point JY3ZBSZ18S

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

Mentions

lebl_diffyqs: lebl_diffyqs index/8.1.1/critical-point, critical point (concept). In E9HS8K3A52, index, section 8.1.1

History

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

JY41N73V7K JY41N73V7K

URI	`m2://inv/JY41N73V7K`
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 2410.12994#KZ3D (statement). In DF7NRQSDH9/e1, lemma 3

History

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

Definition JY475PE3RY

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

Mentions

wikipedia: Wikipedia Leximin order#XDCP, Definition (definition)

History

2026-11-02: add by m2/dev

Barangay 76, Caloocan JY48N49KQA

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

Mentions

wikipedia: Wikipedia List of places with numeric names#IW6Y, Barangay 76, Caloocan (unknown)

History

2026-11-02: add by m2/dev

Definition JY4CMZSFZ0

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

Mentions

wikipedia: Wikipedia Knot energy#MFVD, Definition (definition)

History

2026-11-02: add by m2/dev

Robert Frucht JY4ND9C2Z4

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

Mentions

wikipedia: Wikipedia Robert Frucht, Robert Frucht (topic). Also Wikidata Q522384

History

2026-11-02: add by m2/dev

JY4SQDTHA6 JY4SQDTHA6

URI	`m2://inv/JY4SQDTHA6`
Kind	definition
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 1810.06028#V0V5 (definition). In ZPFHH6YJG3/e1, definition 2.8

History

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

JY53Q9KBTH JY53Q9KBTH

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

Mentions

arxiv: arXiv 2609.27694#6ZDT (statement)

History

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

Induction argument 2 JY5CPEHFXZ

URI	`m2://inv/JY5CPEHFXZ`
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.30957#5JSF, Induction argument 2 (statement). In P5YB6R0RK3/e1, lemma C.10

History

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

JY5S0ZKEKZ JY5S0ZKEKZ

URI	`m2://inv/JY5S0ZKEKZ`
Kind	statement
Layer	research
MSC	19-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.01473#YP0S (statement). In ABS9M47F4K/e1, lemma 3.37

History

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

JY5T003XHK JY5T003XHK

URI	`m2://inv/JY5T003XHK`
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.20466#0V91 (statement). In M4ZVJWM8YA/e1, theorem C

History

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

JY6B60EBMA JY6B60EBMA

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#ex:relation finite to finite (example). In P1C114YBXG, example, section H

History

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

range of a function JY6E4J1C7D

URI	`m2://inv/JY6E4J1C7D`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Range of a function 03FHD14RKC

Mentions

wikidata: Wikidata Q1806121, range of a function (unknown). Also MathWorld Range
wikipedia: Wikipedia Range of a function, Range of a function (definition). Also Wikidata Q1806121

History

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

Consistency with a fixed coarse partition JY6MBCT3BD

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

Mentions

arxiv: arXiv 2610.05457#IG13, Consistency with a fixed coarse partition (statement). In SV36P5P5Z3/e1, corollary 6.1

History

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

Examples JY6QJE4R6V

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

Mentions

wikipedia: Wikipedia Tensor product of fields#3FGF, Examples (example)

History

2026-11-02: add by m2/dev

!!^{derivability} JY6TYDYJW5

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#defn-2, !!^{derivability} (definition). In PKGMM3P5QY, defn, section 22.5

History

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

ATLAS of Finite Groups JY6Z19HNTT

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

Mentions

wikipedia: Wikipedia ATLAS of Finite Groups, ATLAS of Finite Groups (definition). Also Wikidata Q4654705

History

2026-11-02: add by m2/dev

Bitangents of a quartic JY73THPBGD

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

Mentions

wikipedia: Wikipedia List of curves topics#IPEO, Bitangents of a quartic (definition)

History

2026-11-02: add by m2/dev

JY74EFYC6B JY74EFYC6B

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

Mentions

arxiv: arXiv 2610.03619#QOWE (statement). In 7SRERSS1PF/e1, proposition 6.1

History

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

JY79VZWPQJ JY79VZWPQJ

URI	`m2://inv/JY79VZWPQJ`
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.19309#HLGN (statement). In XKENQH35DW/e1, lemma 4.4

History

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

JY7HQ1CRMN JY7HQ1CRMN

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-3.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 2.3

History

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

JY7N45SAZH JY7N45SAZH

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

Mentions

arxiv: arXiv 2609.36423#05CN (example). In Q5Z178SAHP/e1, example 8.6

History

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

JY7PZNTXTY JY7PZNTXTY

URI	`m2://inv/JY7PZNTXTY`
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.20760#9E1C (statement). In 6G9JSJ5JMP/e1, theorem 33

History

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

Hajnal, John JY7QJY3BX9

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

Mentions

wikipedia: Wikipedia List of statisticians#L69Z, Hajnal, John (topic)

History

2026-11-02: add by m2/dev

Properties JY7XXY5427

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

Mentions

wikipedia: Wikipedia Indefinite sum#005C, Properties (statement)

History

2026-11-02: add by m2/dev

\MModify{Analytical shadowing of a guiding orbit of transition maps JY81906K4K

URI	`m2://inv/JY81906K4K`
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.16404#6P5U, \MModify{Analytical shadowing of a guiding orbit of transition maps (statement). In PQ7W037C2H/e1, theorem 1

History

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

Randomness test JY82FX6KWR

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

Mentions

wikipedia: Wikipedia Randomness test, Randomness test (definition). Also Wikidata Q13560113

History

2026-11-02: add by m2/dev

JY836SR50F JY836SR50F

URI	`m2://inv/JY836SR50F`
Kind	statement
Layer	research
MSC	35-XX, 53-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 2610.08484#XAFQ (statement). In C2HJ1CCJ0S/e1, lemma 11

History

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

Definition JY83ZQV24K

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

Mentions

wikipedia: Wikipedia Resistance distance#4X10, Definition (definition)

History

2026-11-02: add by m2/dev

Noisy-channel coding theorem JY84B3210B

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

Mentions

mathlib_1000: mathlib_1000 Q2345282, Shannon's theorem (statement). Also Wikidata Q2345282
thousand_plus: thousand_plus Q2345282, Shannon's theorem (statement). Also Wikidata Q2345282, Wikipedia Shannon's theorem
wikipedia: Wikipedia Noisy-channel coding theorem, Noisy-channel coding theorem (statement). Also Wikidata Q2345282

History

2026-10-26: add by m2/dev

JY87N3TDWX JY87N3TDWX

URI	`m2://inv/JY87N3TDWX`
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 2508.02432#BG14 (statement). In B366ACYB37/e1, lemma 4.3

History

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

Formal definition JY892CTB68

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

Mentions

wikipedia: Wikipedia Fukaya category#BNT2, Formal definition (definition)

History

2026-11-02: add by m2/dev

Intermediate value theorem JY89TSF8JB

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

Mentions

wikipedia: Wikipedia Continuous function#WX40, Intermediate value theorem (statement)

History

2026-11-02: add by m2/dev

Dana S. Nau JY8EMCCSB3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#H1SN, Dana S. Nau (unknown)

History

2026-11-02: add by m2/dev

Kompaneyets equation JY8P7JD9Q5

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

Mentions

wikipedia: Wikipedia Kompaneyets equation, Kompaneyets equation (definition). Also Wikidata Q126975065

History

2026-11-02: add by m2/dev

JY8RRT6JCM JY8RRT6JCM

URI	`m2://inv/JY8RRT6JCM`
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.16358#4PMQ (statement). In RJA3YJ9NYK/e1, proposition 2.1

History

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

inverse curve JY8RYXXKYG

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

Mentions

wikidata: Wikidata Q6060369, inverse curve (unknown). Also MathWorld InverseCurve
wikipedia: Wikipedia Inverse curve, Inverse curve (definition). Also Wikidata Q6060369

History

2026-10-26: add by m2/dev

Codimension-two replacement JY91MWFG79

URI	`m2://inv/JY91MWFG79`
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.20215#RR36, Codimension-two replacement (statement)

History

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

rising sun graph JY92ZVF8AN

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

Mentions

wikidata: Wikidata Q136288669, rising sun graph (unknown). Also House of Graphs 1286, MathWorld RisingSunGraph

History

2026-10-26: add by m2/dev

Closed graph property of $\pi_S(K)$ JY93JZPNMS

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

Mentions

arxiv: arXiv 2505.10801#9O04, Closed graph property of $\pi_S(K)$ (statement). In BWJS3H55WH/e1, lemma 10

History

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

Main results JY95H8J8EJ

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

Mentions

arxiv: arXiv 2609.24011#7ORF, Main results (statement)

History

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

Example JY99M5W4JJ

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

Mentions

wikipedia: Wikipedia Forking lemma#74MT, Example (example)

History

2026-11-02: add by m2/dev

JY9ET3510T JY9ET3510T

URI	`m2://inv/JY9ET3510T`
Kind	problem
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#G4BQ (problem). In WNNNWV7741/e1, problem 1.1

History

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

double negation JY9JN7V4J7

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

Mentions

wikipedia: Wikipedia Glossary of logic#9DQH, double negation (definition)

History

2026-11-02: add by m2/dev

These conditions are weak JY9KSRG8Y7

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

Mentions

napkin: napkin tex/topology/cover-project.tex#example-12, These conditions are weak (example). In RZP28ERRZV, example, section 97.5

History

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

theory of differentiable maps between manifolds JY9N760ZBD

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

Mentions

wikidata: Wikidata Q114702083, theory of differentiable maps between manifolds (topic)

History

2026-10-26: add by m2/dev

JY9RRH54PP JY9RRH54PP

URI	`m2://inv/JY9RRH54PP`
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.21274#T4BK (statement)

History

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

Definition JYA0WG1F9X

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

Mentions

wikipedia: Wikipedia Cograph#7RZ0, Definition (definition)

History

2026-11-02: add by m2/dev

Christoph Thiele JYA15RFAHV

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

Mentions

wikipedia: Wikipedia Christoph Thiele, Christoph Thiele (topic). Also Wikidata Q1085991

History

2026-11-02: add by m2/dev

JYA3YARQ0Q JYA3YARQ0Q

URI	`m2://inv/JYA3YARQ0Q`
Kind	statement
Layer	research
MSC	05-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.33651#94M1 (statement). In 69DBD2HKGK/e1, corollary 1.2

History

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

JYAFN92KSW JYAFN92KSW

URI	`m2://inv/JYAFN92KSW`
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 2610.08323#MIRP (statement). In FR51ART4NF/e1, proposition 3

History

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

Faà di Bruno formula JYAFRXHHND

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

Mentions

arxiv: arXiv 2609.28282#AWSY, Faà di Bruno formula (statement)

History

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

JYAHFMYFKK JYAHFMYFKK

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

Mentions

arxiv: arXiv 2610.15775#WDIP (statement). In QNNR4KR425/e1, lemma 1

History

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

Borel JYAKSJN3WA

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#J7XZ, Borel (definition)

History

2026-11-02: add by m2/dev

JYANJ8QW3P JYANJ8QW3P

URI	`m2://inv/JYANJ8QW3P`
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.29227#J8CY (statement)

History

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

Definitions JYAP4KMXYN

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

Mentions

wikipedia: Wikipedia Galois connection#L0S9, Definitions (definition)

History

2026-11-02: add by m2/dev

Edward Kasner JYB2HM18JZ

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#RETE, Edward Kasner (unknown)

History

2026-11-02: add by m2/dev

JYB4GHTTQK JYB4GHTTQK

URI	`m2://inv/JYB4GHTTQK`
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 2604.10080#6VZO (statement). In KM2FWKP93A/e1, lemma 6.3

History

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

JYB4YEMP97 JYB4YEMP97

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

Mentions

arxiv: arXiv 2610.05259#376K (statement). In X1J5HKPS3R/e1, lemma 2.17

History

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

Pavel Etingof JYB9W6DTZC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#XF7O, Pavel Etingof (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#71RI, Pavel Etingof (topic)

History

2026-11-02: add by m2/dev

Diffusion equation JYBBV64DBM

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

Mentions

wikipedia: Wikipedia Diffusion equation, Diffusion equation (definition). Also Wikidata Q6510183

History

2026-11-02: add by m2/dev

Definition JYBJTRNX3T

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

Mentions

wikipedia: Wikipedia Continuous q-Hermite polynomials#NJXY, Definition (definition)

History

2026-11-02: add by m2/dev

Amstat News JYBMBJ7EAV

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

Mentions

wikipedia: Wikipedia American Statistical Association#IZ8C, Amstat News (unknown)

History

2026-11-02: add by m2/dev

Extended ternary Golay code JYBN7ZNGH7

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

Mentions

wikipedia: Wikipedia Ternary Golay code#MJ07, Extended ternary Golay code (unknown)

History

2026-11-02: add by m2/dev

Asymptotic lattice-pair count JYBRJKADDW

URI	`m2://inv/JYBRJKADDW`
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.14085#7JA8, Asymptotic lattice-pair count (statement). In T8F19ZGHF3/e1, proposition 3.4

History

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

JYBVD60KS6 JYBVD60KS6

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

Mentions

arxiv: arXiv 2610.10093#1XQC (statement). In NJDN112PFS/e1, proposition A.4

History

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

Finite-difference monotonicity identities JYBYTQA0QT

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

Mentions

arxiv: arXiv 2609.22465#7II1, Finite-difference monotonicity identities (statement)

History

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

Bird Margaret Turner JYBZ1NC5HH

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

Mentions

wikipedia: Wikipedia Bird Margaret Turner, Bird Margaret Turner (topic). Also Wikidata Q69870030

History

2026-11-02: add by m2/dev

Vāsudeva Sārvabhauma JYC003XAHT

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

Mentions

wikipedia: Wikipedia List of teachers of Nyaya#7P88, Vāsudeva Sārvabhauma (unknown)

History

2026-11-02: add by m2/dev

Applications JYC01AM4RV

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

Mentions

wikipedia: Wikipedia Ginzburg–Landau theory#JJX4, Applications (example)

History

2026-11-02: add by m2/dev

JYCEMSXWPH JYCEMSXWPH

URI	`m2://inv/JYCEMSXWPH`
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.29623#LZ9B (statement)

History

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

JYCKHQVXTF JYCKHQVXTF

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

Mentions

arxiv: arXiv 2609.36423#11EI (statement). In Q5Z178SAHP/e1, lemma 3.1

History

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

Small quantum cohomology JYCS77CGSW

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

Mentions

wikipedia: Wikipedia Quantum cohomology#IYF7, Small quantum cohomology (unknown)

History

2026-11-02: add by m2/dev

JYDBB58NS5 JYDBB58NS5

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

Mentions

arxiv: arXiv 2609.31126#2MD7 (definition). In GK1V5GEHTK/e1, definition 2.12

History

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

JYDECYB6D9 JYDECYB6D9

URI	`m2://inv/JYDECYB6D9`
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 2610.20207#MSUY (statement). In 1MPH7GCFJ2/e1, lemma 7.2

History

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

Polynomial mapping JYDJ1MXTZ7

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

Mentions

wikipedia: Wikipedia Polynomial mapping, Polynomial mapping (definition). Also Wikidata Q48970625

History

2026-11-02: add by m2/dev

Thales' theorem JYDMTPVW2D

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

Mentions

wikipedia: Wikipedia Right triangle#WFZT, Thales' theorem (statement)

History

2026-11-02: add by m2/dev

JYDVJYRYMD JYDVJYRYMD

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

Mentions

arxiv: arXiv 2609.21668#ODMS (definition)

History

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

JYEDJ1H423 JYEDJ1H423

URI	`m2://inv/JYEDJ1H423`
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-85 (exercise). In E9HS8K3A52, exercise, section 4.6

History

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

Concrete operator space JYEDTFEAJ5

URI	`m2://inv/JYEDTFEAJ5`
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 2609.37698#I18T, Concrete operator space (definition). In HA2GG72C23/e1, definition 1.6

History

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

Poisson manifold JYEJEV819N

URI	`m2://inv/JYEJEV819N`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Poisson manifold A2KQ49Y4NF

Mentions

wikidata: Wikidata Q1464936, Poisson manifold (unknown). Also EoM Poisson_manifold, MathWorld PoissonManifold, nLab Poisson manifold
wikipedia: Wikipedia Poisson manifold, Poisson manifold (definition). Also Wikidata Q1464936

History

2026-10-26: add by m2/dev

JYEW3CM208 JYEW3CM208

URI	`m2://inv/JYEW3CM208`
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.12776#GW4H (statement). In Y1JXVWX454/e1, proposition A.1

History

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

JYF5PYVXD1 JYF5PYVXD1

URI	`m2://inv/JYF5PYVXD1`
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.11779#13OX (statement). In V1ZQRDM2CH/e1, corollary 1.2

History

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

Formulation JYF7Z3PVWN

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

Mentions

wikipedia: Wikipedia Jefimenko's equations#K2ZP, Formulation (definition)

History

2026-11-02: add by m2/dev

JYF8MD3RH0 JYF8MD3RH0

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

Mentions

arxiv: arXiv 2610.00375#E165 (statement). In YV6ZXRDHX4/e1, theorem 4.2

History

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

JYFDC8G8BK JYFDC8G8BK

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

Mentions

arxiv: arXiv 2306.12846#GCE5 (statement). In D6XA7JXZF3/e1, lemma 2.2

History

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

JYFPAATRC6 JYFPAATRC6

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 1.2

History

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

semicircle JYFT90MKXW

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

Mentions

wikidata: Wikidata Q1133242, semicircle (unknown). Also MathWorld Semicircle
wikipedia: Wikipedia Semicircle, Semicircle (definition). Also Wikidata Q1133242

History

2026-10-26: add by m2/dev

Continuity Lemma JYG3Z1RVK6

URI	`m2://inv/JYG3Z1RVK6`
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#6YKJ, Continuity Lemma (statement). In HVGT9D84WV/e1, lemma 3.3

History

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

Francesco Tricomi JYGA0NVA4M

URI	`m2://inv/JYGA0NVA4M`
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#BJ8B, Francesco Tricomi (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L2AL, Francesco Tricomi (topic)

History

2026-11-02: add by m2/dev

JYGJD83VZ8 JYGJD83VZ8

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

Mentions

arxiv: arXiv 2609.38453#J73P (statement). In DWKWF242Y0/e1, lemma 22

History

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

JYGP5SZEYS JYGP5SZEYS

URI	`m2://inv/JYGP5SZEYS`
Kind	statement
Layer	research
MSC	05-XX, 49-XX, 51-XX, 52-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.34845#5XZC (statement). In SBZNH932ZV/e1, theorem 7.8

History

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

Covariant orbit-growth and range obstruction JYGQRP3YS7

URI	`m2://inv/JYGQRP3YS7`
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.14081#CX42, Covariant orbit-growth and range obstruction (statement). In DCCKKQ7Y21/e1, theorem II.1

History

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

JYGS0FNE0V JYGS0FNE0V

URI	`m2://inv/JYGS0FNE0V`
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.16399#MESY (statement). In 2N87D4KTSY/e1, lemma 3.3

History

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

Ian G. Macdonald JYGS42ZQSG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#IEHF, Ian G. Macdonald (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#13DD, Ian G. Macdonald (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IOIB, Ian G. Macdonald (topic)

History

2026-11-02: add by m2/dev

Cayley computer algebra system JYGXMEWQJK

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

Mentions

wikipedia: Wikipedia List of things named after Arthur Cayley#8RJG, Cayley computer algebra system (unknown)

History

2026-11-02: add by m2/dev

Entropy decomposition under temporal aggregation JYH0A7E6SA

URI	`m2://inv/JYH0A7E6SA`
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.15466#9LM4, Entropy decomposition under temporal aggregation (statement). In KJ7V6XG4M7/e1, theorem 2

History

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

Formulation JYH31MPVYW

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

Mentions

wikipedia: Wikipedia Goodman's conjecture#X5LB, Formulation (definition)

History

2026-11-02: add by m2/dev

JYH5X38KP7 JYH5X38KP7

URI	`m2://inv/JYH5X38KP7`
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.39103#PLJU (statement). In VGB0N93ES8/e1, lemma 15

History

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

JYHPY6SFAB JYHPY6SFAB

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

Mentions

arxiv: arXiv 2610.22288#2YAY (definition). In X38P26DK6S/e1, definition 5.6

History

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

JYHQCYZMEY JYHQCYZMEY

URI	`m2://inv/JYHQCYZMEY`
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.05299#C0OB (statement). In 68AE571S4P/e1, theorem 1.2

History

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

JYHZ4XPX0C JYHZ4XPX0C

URI	`m2://inv/JYHZ4XPX0C`
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.04809#MNEC (statement). In 2VHV0RNTNV/e1, theorem 6.4

History

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

Urysohn space JYJ15AS7ED

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

Mentions

wikidata: Wikidata Q1629844, Urysohn space (concept). Also ProofWiki Definition:Completely_Hausdorff_Space

History

2026-10-26: add by m2/dev

JYJ2WGVX2N JYJ2WGVX2N

URI	`m2://inv/JYJ2WGVX2N`
Kind	statement
Layer	research
MSC	18-XX, 20-XX, 22-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.25761#O1NX (statement)

History

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

Shell localisation JYJ5YMDQHE

URI	`m2://inv/JYJ5YMDQHE`
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.25120#R2FD, Shell localisation (statement)

History

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

JYJ6W2JJ2W JYJ6W2JJ2W

URI	`m2://inv/JYJ6W2JJ2W`
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 2011.06637#L4C0 (statement). In KFCJ5CFP3G/e1, lemma 3.7

History

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

Existence of the very weak solution, case $V\geq 0$ JYJDZGJ2XT

URI	`m2://inv/JYJDZGJ2XT`
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 2110.12380#CC2G, Existence of the very weak solution, case $V\geq 0$ (statement). In M6MQPEDQ8N/e1, theorem 4.7

History

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

JYJPWV9RDA JYJPWV9RDA

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

Mentions

arxiv: arXiv 2610.17737#SY0I (statement). In 8SXY7Y68HV/e1, corollary 6.9

History

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

Communications in Statistics - Theory and Methods JYJQ59MZF8

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

Mentions

wikipedia: Wikipedia Communications in Statistics#49A0, Communications in Statistics - Theory and Methods (unknown)

History

2026-11-02: add by m2/dev

Ratner's theorems JYJWN0W848

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

Mentions

mathlib_1000: mathlib_1000 Q7295875, Ratner's theorems (statement). Also Wikidata Q7295875
thousand_plus: thousand_plus Q7295875, Ratner's theorems (statement). Also Wikidata Q7295875, Wikipedia Ratner's theorems
wikipedia: Wikipedia Ratner's theorems, Ratner's theorems (statement). Also Wikidata Q7295875

History

2026-10-26: add by m2/dev

Jeffrey Yi-Lin Forrest JYJX2Y1M3X

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#WTNL, Jeffrey Yi-Lin Forrest (topic)

History

2026-11-02: add by m2/dev

JYJYQHKX0P JYJYQHKX0P

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

Mentions

arxiv: arXiv 2610.02436#C53H (statement). In J9WZBK6KAY/e1, lemma A.3

History

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

Mathematics of general relativity JYK0FYKVQ9

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

Mentions

wikipedia: Wikipedia Mathematics of general relativity, Mathematics of general relativity (definition). Also Wikidata Q2537157

History

2026-11-02: add by m2/dev

Gheorghe Tzitzéica JYK4XDZ0VM

URI	`m2://inv/JYK4XDZ0VM`
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#03TT, Gheorghe Tzitzéica (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6MRD, Gheorghe Tzitzéica (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#777C, Gheorghe Tzitzéica (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EN1P, Gheorghe Tzitzéica (unknown)

History

2026-11-02: add by m2/dev

Jean-François Le Gall JYK97CAX4T

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#EQJ8, Jean-François Le Gall (unknown)

History

2026-11-02: add by m2/dev

Gravity anomaly JYKJAR6VYM

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

Mentions

wikipedia: Wikipedia Gravity anomaly, Gravity anomaly (definition). Also Wikidata Q1413914

History

2026-11-02: add by m2/dev

JYKS0Z5Q4N JYKS0Z5Q4N

URI	`m2://inv/JYKS0Z5Q4N`
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.13792#CSGQ (statement). In ZH0PFTZ12Y/e1, corollary 4.12

History

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

JYM0MPGRB6 JYM0MPGRB6

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

Mentions

arxiv: arXiv 2610.15831#D2RO (statement). In CVESAPNMCQ/e1, corollary 3.7

History

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

Lafforgue's theorem for GLn(F) JYM24R02YK

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

Mentions

wikipedia: Wikipedia Lafforgue's theorem#RMZX, Lafforgue's theorem for GLn(F) (statement)

History

2026-11-02: add by m2/dev

Jerzy Różycki JYMHG6MJ1Z

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

Mentions

wikipedia: Wikipedia List of cryptographers#5G5A, Jerzy Różycki (topic)

History

2026-11-02: add by m2/dev

JYMJRQPVN7 JYMJRQPVN7

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

Mentions

arxiv: arXiv 2610.14985#N576 (definition). In DGXJW3SCBR/e1, definition 13

History

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

hour JYMN1VQ9VK

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

Mentions

wikidata: Wikidata Q25235, hour (definition). Also ProofWiki Definition:Time/Unit/Hour

History

2026-10-26: add by m2/dev

Distinguished class JYMR1KG7PJ

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

Mentions

wikipedia: Wikipedia Glossary of field theory#UQCX, Distinguished class (definition)

History

2026-11-02: add by m2/dev

JYN0PKX7SX JYN0PKX7SX

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#prop:topology:closed (statement). In E59CDZA4DP, prop, section 4.2.1

History

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

Rodrigues' type formula JYN3H5KG9Y

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

Mentions

wikipedia: Wikipedia Rodrigues' formula#V7J1, Rodrigues' type formula (statement)

History

2026-11-02: add by m2/dev

Continuity of Arimoto conditional entropy at order one JYN643RP98

URI	`m2://inv/JYN643RP98`
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.29688#TKIG, Continuity of Arimoto conditional entropy at order one (statement)

History

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

JYNQT6FAGQ JYNQT6FAGQ

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

Mentions

arxiv: arXiv 2412.14956#ADWP (definition). In T8BQ6HHZYT/e1, definition 3.1

History

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

Special cases JYNSQ75Q5R

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

Mentions

wikipedia: Wikipedia Solder form#9OFA, Special cases (statement)

History

2026-11-02: add by m2/dev

The Imitation Game JYNW0DKDNA

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

Mentions

wikipedia: Wikipedia The Imitation Game, The Imitation Game (definition). Also Wikidata Q14918344

History

2026-11-02: add by m2/dev

JYNW1A1AF0 JYNW1A1AF0

URI	`m2://inv/JYNW1A1AF0`
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 2206.05392#BOZ5 (statement). In 58D1ZC82DW/e1, theorem 14

History

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

Dedekind number JYNZ41BSEZ

URI	`m2://inv/JYNZ41BSEZ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Dedekind number 481ZPQ0GC3

Mentions

wikidata: Wikidata Q5249753, Dedekind number (object). Also MathWorld DedekindNumber, OEIS A000372
wikipedia: Wikipedia Dedekind number, Dedekind number (definition). Also Wikidata Q5249753

History

2026-10-26: add by m2/dev

JYP0S4GYHQ JYP0S4GYHQ

URI	`m2://inv/JYP0S4GYHQ`
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 2510.12502#SVD7 (statement). In 3A4K47Y9F2/e1, lemma 5.31

History

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

JYP980AE4D JYP980AE4D

URI	`m2://inv/JYP980AE4D`
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.02585#MXWB (statement). In V0KBBY82SY/e1, lemma 3.1

History

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

JYPAQKQYS4 JYPAQKQYS4

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

Mentions

arxiv: arXiv 2610.10821#DAKE (statement). In RWNP4FEE65/e1, theorem 3.25

History

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

Newton's method JYPC2KAFJ5

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

Mentions

wikipedia: Wikipedia List of algorithms#V5XK, Newton's method (definition)

History

2026-11-02: add by m2/dev

JYPXNVJ4VD JYPXNVJ4VD

URI	`m2://inv/JYPXNVJ4VD`
Kind	definition
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.35740#FCXB (definition). In N7C6C0QGJM/e1, definition 2.9

History

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

JYPZP8BVXG JYPZP8BVXG

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-60 (exercise). In E59CDZA4DP, exercise, section 11.5.2

History

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

Cumulant JYPZV39MM8

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

Mentions

wikipedia: Wikipedia List of statistics articles#BJ59, Cumulant (definition)
wikipedia: Wikipedia List of partition topics#ORJA, Cumulant (definition)

History

2026-11-02: add by m2/dev

JYQ2T5DHZ8 JYQ2T5DHZ8

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

Mentions

arxiv: arXiv 2609.21860#G68X (example)

History

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

JYQ5MT8SGW JYQ5MT8SGW

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

Mentions

arxiv: arXiv 2610.13532#AXTH (problem). In 9B0X8YPF3P/e1, problem 11.1

History

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

Michio Suzuki JYQ66WWJMC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#5Z7L, Michio Suzuki (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0Z7I, Michio Suzuki (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K76A, Michio Suzuki (unknown)

History

2026-11-02: add by m2/dev

Universal small-dispersion asymptotics near the harmonic edge, \protect JYQ89FN40P

URI	`m2://inv/JYQ89FN40P`
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.00770#YV2O, Universal small-dispersion asymptotics near the harmonic edge, \protect (statement). In AYGRJSRG1M/e1, theorem

History

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

JYQBQPDSAQ JYQBQPDSAQ

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

Mentions

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

History

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

Graph-Based Reward Function JYQWV991PJ

URI	`m2://inv/JYQWV991PJ`
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 2609.36421#7D1V, Graph-Based Reward Function (definition). In E0ZRSZ0YHT/e1, definition 6

History

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

JYRB8RZVE3 JYRB8RZVE3

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

Mentions

arxiv: arXiv 2609.20460#IH1L (statement)

History

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

JYRCJ4A51W JYRCJ4A51W

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

Mentions

open_logic: open_logic content/first-order-logic/models-theories/expressing-relations.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 12.9

History

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

JYREHBDTMK JYREHBDTMK

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

Mentions

arxiv: arXiv 2306.12846#7N96 (statement). In D6XA7JXZF3/e1, lemma 2.4

History

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

Adjacent-vertex-distinguishing-total coloring JYRXHKDEBV

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

Mentions

wikipedia: Wikipedia Adjacent-vertex-distinguishing-total coloring, Adjacent-vertex-distinguishing-total coloring (definition). Also Wikidata Q17005461

History

2026-11-02: add by m2/dev

Varadhan's lemma JYS07PNMMY

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

Mentions

wikipedia: Wikipedia Varadhan's lemma, Varadhan's lemma (statement). Also Wikidata Q7915395

History

2026-11-02: add by m2/dev

JYS47ACC34 JYS47ACC34

URI	`m2://inv/JYS47ACC34`
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 2108.09796#XZES (statement). In NAA7WFQN20/e1, theorem B

History

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

G. I. Taylor JYS6K9ETV7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GV6V, G. I. Taylor (topic)

History

2026-11-02: add by m2/dev

Derek Frank Lawden JYS7XWKMHE

URI	`m2://inv/JYS7XWKMHE`
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 Q17479324, Derek Frank Lawden (unknown). Also ProofWiki Mathematician:Derek_Frank_Lawden
wikipedia: Wikipedia Derek Lawden, Derek Lawden (topic). Also Wikidata Q17479324

History

2026-10-26: add by m2/dev

JYSG03WF47 JYSG03WF47

URI	`m2://inv/JYSG03WF47`
Kind	definition
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 2610.15454#SF1X (definition). In RGQZVNXWM5/e1, definition 2.1

History

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

modular curve JYSGMQ67NW

URI	`m2://inv/JYSGMQ67NW`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Modular curve T5W0CMS0DM

Mentions

wikidata: Wikidata Q3001220, modular curve (unknown). Also nLab modular curve
wikipedia: Wikipedia Modular curve, Modular curve (definition). Also Wikidata Q3001220

History

2026-10-26: add by m2/dev

JYSSCRNNE5 JYSSCRNNE5

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

Mentions

open_logic: open_logic content/model-theory/basics/nonstandard-arithmetic.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 46.3

History

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

JYSWRX7FQM JYSWRX7FQM

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

Mentions

arxiv: arXiv 2505.04063#92AL (statement). In TFH7T63DX9/e1, lemma 6

History

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

Double-negation translation JYT41ZSX91

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

Mentions

mathlib_1000: mathlib_1000 Q5299605, Glivenko's theorem (statement). Also Wikidata Q5299605
thousand_plus: thousand_plus Q5299605, Glivenko's theorem (statement). Also Wikidata Q5299605
wikipedia: Wikipedia Double-negation translation, Double-negation translation (definition). Also Wikidata Q5299605

History

2026-10-26: add by m2/dev

Regret JYTCEGQ57E

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

Mentions

wikipedia: Wikipedia Regret (decision theory), Regret (definition). Also Wikidata Q79895177

History

2026-11-02: add by m2/dev

uniqueness, of identity proofs JYTDFWNR0Y

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

Mentions

hott_book: hott_book index/A.12.3/uniqueness-of-identity-proofs, uniqueness, of identity proofs (concept). In N54F33XE07, index, section A.12.3

History

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

Kynn\"os self-forcing JYTDYCKYXJ

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

Mentions

arxiv: arXiv 2609.34122#7JMA, Kynn\"os self-forcing (statement). In 6V2FT31QA1/e1, fact 3.4

History

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

Normal form JYTTJFCW5W

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

Mentions

wikipedia: Wikipedia Normal form (natural deduction), Normal form (definition). Also Wikidata Q7051808

History

2026-11-02: add by m2/dev

Quasi-Concave Function JYTY27YNST

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

Mentions

wikidata: Wikidata Q97621527, Quasi-Concave Function (unknown). Also MathWorld Quasi-ConcaveFunction

History

2026-10-26: add by m2/dev

Degree distribution JYTYNQ24SD

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

Mentions

wikipedia: Wikipedia Degree distribution, Degree distribution (definition). Also Wikidata Q1002603

History

2026-11-02: add by m2/dev

Midpoint circle algorithm JYV0236NKQ

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

Mentions

wikipedia: Wikipedia List of algorithms#5OIY, Midpoint circle algorithm (unknown)

History

2026-11-02: add by m2/dev

Oleg Maisenberg JYV0DJ32WS

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#7SEV, Oleg Maisenberg (unknown)

History

2026-11-02: add by m2/dev

JYV1APHX3N JYV1APHX3N

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

Mentions

hott_book: hott_book setmath.tex#defn-2 (definition). In N54F33XE07, defn, section C.2

History

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

JYV2F7HH27 JYV2F7HH27

URI	`m2://inv/JYV2F7HH27`
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 2610.07957#ECCO (statement). In RXFKX8M8P0/e1, theorem 3.1

History

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

Example 2 JYVG5K0C45

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

Mentions

wikipedia: Wikipedia Fibonacci sequence#D1JS, Example 2 (example)

History

2026-11-02: add by m2/dev

High-cycle fatigue JYVGQ58H01

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

Mentions

wikipedia: Wikipedia Fatigue (material)#TW1Y, High-cycle fatigue (unknown)

History

2026-11-02: add by m2/dev

Irreducible representations and Schur's lemma JYVH7BQJS8

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

Mentions

wikipedia: Wikipedia Representation theory of finite groups#80OF, Irreducible representations and Schur's lemma (statement)

History

2026-11-02: add by m2/dev

JYVJZ33ZZE JYVJZ33ZZE

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

Mentions

arxiv: arXiv 2610.12576#UVMC (definition). In BVAWVRS3R9/e1, definition 2.6

History

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

JYVV30RAG9 JYVV30RAG9

URI	`m2://inv/JYVV30RAG9`
Kind	example
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#XMSR (example). In MNWD3Y6W56/e1, example 5.5

History

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

outer JYW1C0CECD

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#TAQC, outer (definition)

History

2026-11-02: add by m2/dev

Group actions on sheaf codes JYW3V36HDG

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

Mentions

arxiv: arXiv 2609.28028#ZL55, Group actions on sheaf codes (definition)

History

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

JYW9A5RV86 JYW9A5RV86

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

Mentions

arxiv: arXiv 2609.31907#E89U (statement). In 6B2PCEGCYZ/e1, theorem 6.2

History

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

Representations JYWDN30Y7X

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

Mentions

wikipedia: Wikipedia Algorithm#5Y0S, Representations (definition)

History

2026-11-02: add by m2/dev

Victoria, Lady Welby JYWRZNKZHF

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

Mentions

wikipedia: Wikipedia Victoria, Lady Welby, Victoria, Lady Welby (topic). Also Wikidata Q468736

History

2026-11-02: add by m2/dev

Universal finite-field estimates JYWWEXBDM3

URI	`m2://inv/JYWWEXBDM3`
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.14509#5OI0, Universal finite-field estimates (statement). In N6GD8392QB/e1, lemma 4.1

History

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

Weak division JYWXDK0G34

URI	`m2://inv/JYWXDK0G34`
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 2211.16099#KLXS, Weak division (statement). In 91RRFW0K5D/e1, fact 45

History

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

JYX0WPYB35 JYX0WPYB35

URI	`m2://inv/JYX0WPYB35`
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.27484#QIAD (statement)

History

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

Penrose diagram JYX1P88YY1

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

Mentions

wikipedia: Wikipedia Penrose diagram, Penrose diagram (definition). Also Wikidata Q864015

History

2026-11-02: add by m2/dev

JYX5FCEMSG JYX5FCEMSG

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

Mentions

arxiv: arXiv 2609.35600#11JE (statement). In ET8GYMMDQM/e1, lemma 4.1

History

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

JYX95TV05M JYX95TV05M

URI	`m2://inv/JYX95TV05M`
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.06466#0CJJ (statement). In 6W451V3N75/e1, theorem 1.3

History

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

Definition JYXBWS23JS

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

Mentions

wikipedia: Wikipedia Amoeba (mathematics)#1AA3, Definition (definition)

History

2026-11-02: add by m2/dev

Continuous-time annealing JYXGX2YMRK

URI	`m2://inv/JYXGX2YMRK`
Kind	statement
Layer	research
MSC	49-XX, 60-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.28611#X0HE, Continuous-time annealing (statement)

History

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

JYXH4GY1W2 JYXH4GY1W2

URI	`m2://inv/JYXH4GY1W2`
Kind	definition
Layer	research
MSC	46-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 1709.04968#HMXK (definition). In BEX59Q3DE4/e1, definition 3.1

History

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

Robust transversality JYXPTVE1Z0

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

Mentions

arxiv: arXiv 2610.12480#8ERI, Robust transversality (definition). In 585QYGX4X6/e1, definition 8

History

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

Statement of the theorem JYY0KDBVX0

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

Mentions

wikipedia: Wikipedia Schilder's theorem#BRNJ, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

JYY32S17EV JYY32S17EV

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

Mentions

arxiv: arXiv 2610.13877#R967 (statement). In NBMA6DBKJG/e1, corollary 5.11

History

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

Stuart Arthur Rice JYY4G27E7F

URI	`m2://inv/JYY4G27E7F`
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 Q55720063, Stuart Arthur Rice (unknown). Also EoM Rice,_Stuart_Arthur
wikipedia: Wikipedia Stuart A. Rice (statistician), Stuart A. Rice (topic). Also Wikidata Q55720063

History

2026-10-26: add by m2/dev

Konstantin Semendyayev JYYD90N7SW

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

Mentions

wikipedia: Wikipedia Konstantin Semendyayev, Konstantin Semendyayev (topic). Also Wikidata Q24939727

History

2026-11-02: add by m2/dev

Zero-one principle JYYFETPA7P

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

Mentions

wikipedia: Wikipedia Sorting network#U2WG, Zero-one principle (statement)

History

2026-11-02: add by m2/dev

Label dynamics JYYJENG7P8

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

Mentions

arxiv: arXiv 2609.35102#6NLF, Label dynamics (definition). In XK6H7F2F13/e1, definition 3.4

History

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

Tristan Hübsch JYYJZS3M3P

URI	`m2://inv/JYYJZS3M3P`
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 Q74409062, Tristan Hübsch (unknown). Also nLab Tristan Hübsch

History

2026-10-26: add by m2/dev

JYYN6VFBKM JYYN6VFBKM

URI	`m2://inv/JYYN6VFBKM`
Kind	example
Layer	research
MSC	20-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.21080#0G67 (example). In DGE917KQSQ/e1, example 8.1

History

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

Examples JYYP4G9H63

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

Mentions

wikipedia: Wikipedia Kummer's theorem#137T, Examples (example)

History

2026-11-02: add by m2/dev

JYYQF6DGJP JYYQF6DGJP

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

Mentions

arxiv: arXiv 2609.20567#OZEU (statement)

History

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

Opinion polling for the 2019 Greek parliamentary election JYYTVGG1Y0

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

Mentions

wikipedia: Wikipedia Opinion polling for the 2019 Greek parliamentary election, Opinion polling for the 2019 Greek parliamentary election (definition). Also Wikidata Q25230482

History

2026-11-02: add by m2/dev

Hagen–Poiseuille equation JYZP0MHW4D

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

Mentions

wikipedia: Wikipedia Hagen–Poiseuille equation, Hagen–Poiseuille equation (definition). Also Wikidata Q869854

History

2026-11-02: add by m2/dev

JYZWYW30NR JYZWYW30NR

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-13 (exercise). In QKM9DD2H56, exercise, section 3

History

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

Hennadiy Kernes JYZZEGRWQQ

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#TYGI, Hennadiy Kernes (unknown)

History

2026-11-02: add by m2/dev