Inventory rows 4H

Charles Hutton 4H00NNQPBC

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

Mentions

wikipedia: Wikipedia Charles Hutton, Charles Hutton (topic). Also Wikidata Q726736

History

2026-11-02: add by m2/dev

chain rule 4H02HGYYKG

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

Mentions

active_calculus: active_calculus index/2.5.2/chain-rule, chain rule (concept). In 907G4C4EJ1, index, section 2.5.2

History

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

Image plane 4H02X4DV73

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#NL8A, Image plane (definition)

History

2026-11-02: add by m2/dev

Alexei Borisovich Aleksandrov 4H04S4GHNF

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

Mentions

wikipedia: Wikipedia Alexei Borisovich Aleksandrov, Alexei Borisovich Aleksandrov (topic). Also Wikidata Q23061991

History

2026-11-02: add by m2/dev

Conjugate gradient squared method 4H08BN51DF

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

Mentions

wikipedia: Wikipedia Conjugate gradient squared method, Conjugate gradient squared method (definition). Also Wikidata Q124053964

History

2026-11-02: add by m2/dev

Dedekind group 4H0HH7F8TH

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#L4C6, Dedekind group (definition)

History

2026-11-02: add by m2/dev

Direct sum of matrices 4H0QHHYM6Z

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

Mentions

wikipedia: Wikipedia Direct sum of matrices, Direct sum of matrices (definition). Also Wikidata Q134607551

History

2026-11-02: add by m2/dev

WFF 'N PROOF 4H0XTE0SAT

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

Mentions

wikipedia: Wikipedia WFF 'N PROOF, WFF 'N PROOF (definition). Also Wikidata Q30587838

History

2026-11-02: add by m2/dev

4H15B6V2K4 4H15B6V2K4

URI	`m2://inv/4H15B6V2K4`
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.01354#QLKA (statement). In BWD76W20W8/e1, theorem 4.7

History

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

Comanche codetalkers 4H161ASKK6

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

Mentions

wikipedia: Wikipedia Code talker#YGWT, Comanche codetalkers (unknown)

History

2026-11-02: add by m2/dev

4H1A0Y9AHY 4H1A0Y9AHY

URI	`m2://inv/4H1A0Y9AHY`
Kind	unknown
Layer	research
MSC	35-XX, 65-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13680#LOCB (unknown). In QNBFHFZ3H0/e1, unknown 67

History

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

Richard von Mises 4H1A472VTR

URI	`m2://inv/4H1A472VTR`
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 Q84292, Richard von Mises (unknown). Also EoM Mises,_Richard_von
wikipedia: Wikipedia Richard von Mises, Richard von Mises (topic). Also Wikidata Q84292

History

2026-10-26: add by m2/dev

Examples and counterexamples 4H1BYMQ2KH

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

Mentions

wikipedia: Wikipedia Well-order#5QSB, Examples and counterexamples (example)

History

2026-11-02: add by m2/dev

4H1C680J1H 4H1C680J1H

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

Mentions

arxiv: arXiv math/9902147#B09U (statement). In 7CK21JGM5A/e1, lemma 2.4

History

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

Statement 4H1R9Q9V1N

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

Mentions

wikipedia: Wikipedia Myhill–Nerode theorem#DFEZ, Statement (statement)

History

2026-11-02: add by m2/dev

G. Glauberman 4H1RJ739TX

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

Mentions

wikipedia: Wikipedia List of group theory topics#UHDW, G. Glauberman (topic)

History

2026-11-02: add by m2/dev

4H1VSTEWXA 4H1VSTEWXA

URI	`m2://inv/4H1VSTEWXA`
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 2603.07541#J87A (statement). In X3RFXWN6FW/e1, lemma A.4

History

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

Gyroelongated alternated cubic honeycomb 4H2094VRD4

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#VN5L, Gyroelongated alternated cubic honeycomb (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#37EH, Gyroelongated alternated cubic honeycomb (definition)

History

2026-11-02: add by m2/dev

4H221GQDEQ 4H221GQDEQ

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

Mentions

arxiv: arXiv 2609.33173#DMSX (statement). In R630A60CMM/e1, theorem

History

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

Complex Wishart distribution 4H257QT74N

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

Mentions

wikipedia: Wikipedia Complex Wishart distribution, Complex Wishart distribution (definition). Also Wikidata Q48839687

History

2026-11-02: add by m2/dev

4H286CV56V 4H286CV56V

URI	`m2://inv/4H286CV56V`
Kind	statement
Layer	research
MSC	05-XX, 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.09900#TST2 (statement). In ATSYBWEMMP/e1, proposition 4.4

History

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

6001 (number) 4H2B1WDH71

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

Mentions

wikipedia: Wikipedia 6000 (number)#FZ8X, 6001 (number) (unknown)

History

2026-11-02: add by m2/dev

4H2F57C4VG 4H2F57C4VG

URI	`m2://inv/4H2F57C4VG`
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 2608.24190#HNA9 (statement). In DW7FVA587C/e1, lemma 4.20

History

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

Clyde Coombs 4H2GYFSND5

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#RVZW, Clyde Coombs (unknown)

History

2026-11-02: add by m2/dev

Implicit differentiation 4H2JC8E8XJ

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

Mentions

wikipedia: Wikipedia Implicit differentiation, Implicit differentiation (definition). Also Wikidata Q137392401

History

2026-11-02: add by m2/dev

centrosymmetry 4H2MC6XME6

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

Mentions

wikidata: Wikidata Q6960366, centrosymmetry (unknown). Also MathWorld CentrosymmetricSet

History

2026-10-26: add by m2/dev

Lickorish twist theorem 4H2MZJQM4K

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

Mentions

wikipedia: Wikipedia List of theorems#4DCV, Lickorish twist theorem (definition)

History

2026-11-02: add by m2/dev

List of topics in logic 4H2R9G8N9J

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#EKBN, List of topics in logic (topic)

History

2026-11-02: add by m2/dev

Worst-case stability 4H32SG2CSS

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

Mentions

arxiv: arXiv 2610.00448#24JZ, Worst-case stability (statement). In N06J7GC05Q/e1, lemma 4.7

History

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

4H353MCB1X 4H353MCB1X

URI	`m2://inv/4H353MCB1X`
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.03661#C8JJ (statement). In ESDKTYDHC8/e1, theorem 12

History

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

4H37MM4T2Q 4H37MM4T2Q

URI	`m2://inv/4H37MM4T2Q`
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.16875#BHEA (statement). In KS30K5JXGB/e1, lemma B.1

History

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

4H3BTJ3AAB 4H3BTJ3AAB

URI	`m2://inv/4H3BTJ3AAB`
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.35323#XPU2 (definition). In 5CKPXBWSCX/e1, definition 2.7

History

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

4H3GTQK5HP 4H3GTQK5HP

URI	`m2://inv/4H3GTQK5HP`
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.39539#90XT (statement). In GVR218P3ZR/e1, proposition 9.0.6

History

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

presentation, of a space as a CW complex 4H3JAYAMP8

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

Mentions

hott_book: hott_book index/u1.u4/presentation-of-a-space-as-a-cw-complex, presentation, of a space as a CW complex (concept). In N54F33XE07, index, section u1.u4

History

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

Algebraic decision diagram 4H3SZ253MH

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

Mentions

wikipedia: Wikipedia Algebraic decision diagram, Algebraic decision diagram (definition). Also Wikidata Q116029473

History

2026-11-02: add by m2/dev

4H3V7BH2NX 4H3V7BH2NX

URI	`m2://inv/4H3V7BH2NX`
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 2609.24235#KH1D (definition)

History

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

4H475QHC9P 4H475QHC9P

URI	`m2://inv/4H475QHC9P`
Kind	statement
Layer	research
MSC	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 2610.21945#RBHH (statement). In 371P9QASSJ/e1, lemma 7.2

History

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

gauge fixing 4H4DK9CQR2

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

Mentions

wikidata: Wikidata Q832289, gauge fixing (unknown). Also nLab gauge fixing
wikipedia: Wikipedia Gauge fixing, Gauge fixing (definition). Also Wikidata Q832289

History

2026-10-26: add by m2/dev

Pierre Colmez 4H4H168N6N

URI	`m2://inv/4H4H168N6N`
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#PCMO, Pierre Colmez (topic)

History

2026-11-02: add by m2/dev

Neural Ideal 4H4M0FC17N

URI	`m2://inv/4H4M0FC17N`
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 2609.30279#WBYW, Neural Ideal (definition). In DPWKG7FD0H/e1, definition 2.7

History

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

4H4MMRSJ3Z 4H4MMRSJ3Z

URI	`m2://inv/4H4MMRSJ3Z`
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.25896#PPBG (statement)

History

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

Milnor conjecture 4H4P334S4Q

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

Mentions

wikipedia: Wikipedia Milnor conjecture (Ricci curvature), Milnor conjecture (statement). Also Wikidata Q126193031

History

2026-11-02: add by m2/dev

Hamiltonian fluid mechanics 4H51PEMFPW

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

Mentions

wikipedia: Wikipedia Hamiltonian fluid mechanics, Hamiltonian fluid mechanics (definition). Also Wikidata Q5645294

History

2026-11-02: add by m2/dev

$A_6^{(1)}$-type 4H52XAKA4X

URI	`m2://inv/4H52XAKA4X`
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 2104.11433#SLNZ, $A_6^{(1)}$-type (statement). In X3TYD6TMCE/e1, theorem 1.2

History

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

mathematics, proof-relevant 4H5682GTEE

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

Mentions

hott_book: hott_book index/A.1/mathematics-proof-relevant, mathematics, proof-relevant (concept). In N54F33XE07, index, section A.1

History

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

Truncated 5-simplexes 4H5BDWWQ60

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

Mentions

wikipedia: Wikipedia Truncated 5-simplexes, Truncated 5-simplexes (definition). Also Wikidata Q7847856

History

2026-11-02: add by m2/dev

4H5D7S93ER 4H5D7S93ER

URI	`m2://inv/4H5D7S93ER`
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.17240#MRLZ (statement). In 59BZ4V9RQW/e1, lemma 3.7

History

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

4H5HVPZ48C 4H5HVPZ48C

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

Mentions

arxiv: arXiv 2609.22847#T2TN (example)

History

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

Truncated square tiling 4H62D2PBVE

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#BGQ7, Truncated square tiling (object)

History

2026-11-02: add by m2/dev

Walter A. Shewhart 4H67WDMHWV

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#7QKX, Walter A. Shewhart (topic)

History

2026-11-02: add by m2/dev

Demographics of the Victorian era 4H67Y74G5E

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

Mentions

wikipedia: Wikipedia Demographics of the Victorian era, Demographics of the Victorian era (definition). Also Wikidata Q117354597

History

2026-11-02: add by m2/dev

4H6FJGAZ6R 4H6FJGAZ6R

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

Mentions

arxiv: arXiv 2505.04593#E30P (statement). In PEXJPV3NP8/e1, theorem 4.8

History

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

Example 1 4H6KY29HWD

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

Mentions

wikipedia: Wikipedia Fibonacci sequence#UT26, Example 1 (example)

History

2026-11-02: add by m2/dev

Properties 4H6SQHSGV8

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

Mentions

wikipedia: Wikipedia Knot group#M2UF, Properties (statement)

History

2026-11-02: add by m2/dev

Definition 4H6X945SRM

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

Mentions

wikipedia: Wikipedia Fowlkes–Mallows index#4QL3, Definition (definition)

History

2026-11-02: add by m2/dev

Statement 4H745Z5TNX

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

Mentions

wikipedia: Wikipedia Kramers–Moyal expansion#0XPH, Statement (statement)

History

2026-11-02: add by m2/dev

Example of tripling 4H7B1XR0E2

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

Mentions

wikipedia: Wikipedia Edwards curve#55UO, Example of tripling (example)

History

2026-11-02: add by m2/dev

4H7FGDV4RG 4H7FGDV4RG

URI	`m2://inv/4H7FGDV4RG`
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.20600#WJ7H (statement). In H5JZ2T9KVT/e1, proposition 4

History

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

Nonfirstorderizability 4H7JJQ9EPY

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#JEFQ, Nonfirstorderizability (definition)

History

2026-11-02: add by m2/dev

Lê Thị Thanh Nhàn 4H7R345R77

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

Mentions

wikipedia: Wikipedia Lê Thị Thanh Nhàn, Lê Thị Thanh Nhàn (topic). Also Wikidata Q20735776

History

2026-11-02: add by m2/dev

visible Lagrangians 4H81XDSM5X

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

Mentions

arxiv: arXiv 2310.15716#NRKO, visible Lagrangians (definition). In 7WDA4MEWE2/e1, definition 2.3

History

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

June Huh 4H82SHYA0A

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#OGYF, June Huh (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H30M, June Huh (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OJD3, June Huh (topic)

History

2026-11-02: add by m2/dev

4H855D6KJQ 4H855D6KJQ

URI	`m2://inv/4H855D6KJQ`
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.23341#3VBE (statement)

History

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

fork graph 4H889NWZZH

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

Mentions

wikidata: Wikidata Q3115563, fork graph (unknown). Also House of Graphs 30, MathWorld ForkGraph

History

2026-10-26: add by m2/dev

Lefschetz theorem on (1,1)-classes 4H88G6SXB2

URI	`m2://inv/4H88G6SXB2`
Kind	statement
Layer	textbook
MSC	14-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q6516736, Lefschetz theorem on (1,1)-classes (statement). Also Wikidata Q6516736
thousand_plus: thousand_plus Q6516736, Lefschetz theorem on (1,1)-classes (statement). Also Wikidata Q6516736, Wikipedia Lefschetz theorem on (1,1)-classes
wikidata: Wikidata Q6516736, Lefschetz theorem on (1,1)-classes (statement). Also nLab Lefschetz theorem on (1,1)-classes
wikipedia: Wikipedia Lefschetz theorem on (1,1)-classes, Lefschetz theorem on (1,1)-classes (statement). Also Wikidata Q6516736

History

2026-10-26: add by m2/dev

4H88HSXXJP 4H88HSXXJP

URI	`m2://inv/4H88HSXXJP`
Kind	definition
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#SB9V (definition). In RY2X22P6XW/e1, definition 24

History

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

$k$-round magic classes 4H88XV1VA8

URI	`m2://inv/4H88XV1VA8`
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 2610.02166#CXI0, $k$-round magic classes (definition). In R6RF3P6D5A/e1, definition 4.2

History

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

4H8AC06AHW 4H8AC06AHW

URI	`m2://inv/4H8AC06AHW`
Kind	statement
Layer	research
MSC	26-XX, 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.27730#FOP7 (statement)

History

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

4H8J4W5X98 4H8J4W5X98

URI	`m2://inv/4H8J4W5X98`
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 2402.17852#X1HN (statement). In 1WCXV5PVZA/e1, proposition 3.8

History

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

4H8PFAK3RY 4H8PFAK3RY

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

Mentions

arxiv: arXiv 2609.26276#3CUT (statement)

History

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

finite dimensional record packing 4H8RNY0KCB

URI	`m2://inv/4H8RNY0KCB`
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.37375#M2KD, finite dimensional record packing (statement). In PV4Z2FRXRZ/e1, proposition 8.1

History

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

4H8VM63KTZ 4H8VM63KTZ

URI	`m2://inv/4H8VM63KTZ`
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.19088#HZCR (statement). In 90QTB4CC31/e1, proposition 3.34

History

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

4H93P17929 4H93P17929

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

Mentions

arxiv: arXiv 2510.01873#0GBS (statement). In FVZZDPEYNM/e1, lemma 1.2

History

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

Good comparison input and good used caches 4H95C1250E

URI	`m2://inv/4H95C1250E`
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.28791#BK6A, Good comparison input and good used caches (statement)

History

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

4H99MFPPM8 4H99MFPPM8

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

Mentions

arxiv: arXiv 2504.14383#R7LY (statement). In QD0X3XJS6T/e1, theorem 1.2

History

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

4H9BS3309W 4H9BS3309W

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

Mentions

arxiv: arXiv 2609.38567#NNIZ (definition). In 59AXA7QFTE/e1, definition 7

History

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

reliability 4H9GZDWK1B

URI	`m2://inv/4H9GZDWK1B`
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 2602.14912#7TDE, reliability (statement). In A87BVH5DCM/e1, theorem 3.1

History

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

Brouwer fixed-point theorem 4H9H0H3Z62

URI	`m2://inv/4H9H0H3Z62`
Kind	statement
Layer	textbook
MSC	54-XX
Sources	4
Outcome	open
Node	Brouwer fixed-point theorem N7AAJ2MW5T

Mentions

mathlib_1000: mathlib_1000 Q1144897, Brouwer fixed-point theorem (statement). Also Wikidata Q1144897
thousand_plus: thousand_plus Q1144897, Brouwer fixed-point theorem (statement). Also Wikidata Q1144897, Wikipedia Brouwer fixed-point theorem
wikidata: Wikidata Q1144897, Brouwer fixed-point theorem (statement). Also EoM Brouwer_theorem, MathWorld BrouwerFixedPointTheorem, nLab Brouwer's fixed point theorem
wikipedia: Wikipedia Brouwer fixed-point theorem, Brouwer fixed-point theorem (statement). Also Wikidata Q1144897

History

2026-10-26: add by m2/dev

Hubble constant 4H9K49CWY0

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people#B77R, Hubble constant (statement)

History

2026-11-02: add by m2/dev

4H9KAYQ1RF 4H9KAYQ1RF

URI	`m2://inv/4H9KAYQ1RF`
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 2202.07274#GJAC (statement). In V5WGBGKYXN/e1, lemma 2.6

History

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

Neumann boundary condition 4H9SKAW6H9

URI	`m2://inv/4H9SKAW6H9`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Neumann boundary condition GS3KT2H645

Mentions

wikidata: Wikidata Q1149279, Neumann boundary condition (concept). Also MathWorld NeumannBoundaryConditions
wikipedia: Wikipedia Neumann boundary condition, Neumann boundary condition (definition). Also Wikidata Q1149279

History

2026-10-26: add by m2/dev

Multifactor design of experiments software 4H9SZW3D1C

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

Mentions

wikipedia: Wikipedia List of statistics articles#RNX4, Multifactor design of experiments software (definition)

History

2026-11-02: add by m2/dev

4H9TVDEYA9 4H9TVDEYA9

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

Mentions

arxiv: arXiv 2609.29653#1CP1 (statement)

History

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

Properties 4H9VWJP9V2

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

Mentions

wikipedia: Wikipedia Gamma/Gompertz distribution#85HW, Properties (statement)

History

2026-11-02: add by m2/dev

Honeycomb 4H9W52RM16

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#ATOK, Honeycomb (object)
wikipedia: Wikipedia List of mathematical shapes#JSYE, Honeycomb (object)

History

2026-11-02: add by m2/dev

Gábor N. Sárközy 4HA3N9TEPC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#DPZ4, Gábor N. Sárközy (unknown)

History

2026-11-02: add by m2/dev

Algebraically closed field 4HA3ZX4FRC

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

Mentions

wikipedia: Wikipedia Glossary of field theory#ADHO, Algebraically closed field (definition)

History

2026-11-02: add by m2/dev

Hajós, György 4HA4V8CKVE

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#NA8E, Hajós, György (unknown)

History

2026-11-02: add by m2/dev

4HA52AHFXK 4HA52AHFXK

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-6.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 2.6

History

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

Kepler photometer 4HA92QR2GV

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

Mentions

wikipedia: Wikipedia List of things named after Johannes Kepler#3XDP, Kepler photometer (unknown)

History

2026-11-02: add by m2/dev

Komei Fukuda 4HATSNAPPT

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

Mentions

wikipedia: Wikipedia Komei Fukuda, Komei Fukuda (topic). Also Wikidata Q98644582

History

2026-11-02: add by m2/dev

4HBGHMYQ94 4HBGHMYQ94

URI	`m2://inv/4HBGHMYQ94`
Kind	definition
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#YWCF (definition). In X1J5HKPS3R/e1, definition 3.1

History

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

Bound for the true-\texorpdfstring{$Q$}{Q} drift 4HBM0636WJ

URI	`m2://inv/4HBM0636WJ`
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.39837#R1AH, Bound for the true-\texorpdfstring{$Q$}{Q} drift (statement). In MDQXTBEK0F/e1, lemma B.3

History

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

4HBNTCNFW8 4HBNTCNFW8

URI	`m2://inv/4HBNTCNFW8`
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.03856#HW01 (statement). In HTBRYNPHSJ/e1, lemma 6.2

History

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

Perfect code 4HBXW9WEGA

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

Mentions

wikipedia: Wikipedia Hamming bound#437J, Perfect code (unknown)

History

2026-11-02: add by m2/dev

Bruno Finzi 4HBYCP5QKX

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#YJDU, Bruno Finzi (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MVSP, Bruno Finzi (topic)

History

2026-11-02: add by m2/dev

4HC3CJ3PCE 4HC3CJ3PCE

URI	`m2://inv/4HC3CJ3PCE`
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 2205.09049#91CO (definition). In 37S7MNMZ2F/e1, definition 1

History

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

4HC5KCE990 4HC5KCE990

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

Mentions

arxiv: arXiv 2610.22326#3OHV (statement). In EAABRG99V8/e1, lemma 6.12

History

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

Theorem (Banach) 4HC67ANKP6

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

Mentions

wikipedia: Wikipedia Surjection of Fréchet spaces#98PF, Theorem (Banach) (statement)

History

2026-11-02: add by m2/dev

4HC720H90R 4HC720H90R

URI	`m2://inv/4HC720H90R`
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.04730#SVQ9 (statement). In QHFP0837Q8/e1, corollary 3.9

History

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

4HC7CRMZ72 4HC7CRMZ72

URI	`m2://inv/4HC7CRMZ72`
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.20665#K5GK (definition)

History

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

Três Rios 4HCDG3E1Z2

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

Mentions

wikipedia: Wikipedia List of places with numeric names#12OY, Três Rios (unknown)

History

2026-11-02: add by m2/dev

Blaise Pascal 4HCEKQC6Z6

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#LXBD, Blaise Pascal (topic)

History

2026-11-02: add by m2/dev

situation 4HCGQNEJK6

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

Mentions

wikipedia: Wikipedia Glossary of logic#T9HM, situation (definition)

History

2026-11-02: add by m2/dev

4HCJSM3SS4 4HCJSM3SS4

URI	`m2://inv/4HCJSM3SS4`
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 2307.16868#DWRK (statement). In H1BA0DYXA1/e1, proposition 1.1

History

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

4HCSGJYYSN 4HCSGJYYSN

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

Mentions

arxiv: arXiv 2609.31393#LXH0 (statement). In ED0WC9Z55C/e1, theorem 1.1

History

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

4HCXCBMP2C 4HCXCBMP2C

URI	`m2://inv/4HCXCBMP2C`
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.13505#YQ8L (statement). In 6Z1DDCYCQ8/e1, lemma A.2

History

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

4HD2NF7AXY 4HD2NF7AXY

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

Mentions

arxiv: arXiv 2011.08789#DA10 (statement). In 43AGRMP7T3/e1, theorem 1.22

History

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

Toroidal grids 4HD44F56W9

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

Mentions

arxiv: arXiv 2610.14681#1T7P, Toroidal grids (problem). In 459W0NBS5Q/e1, problem 4

History

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

Centro de Investigación en Matemáticas 4HD5RG95K9

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

Mentions

wikipedia: Wikipedia Centro de Investigación en Matemáticas, Centro de Investigación en Matemáticas (definition). Also Wikidata Q5062929

History

2026-11-02: add by m2/dev

by way of contradiction 4HD5RGHQQY

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#J12K, by way of contradiction (topic)

History

2026-11-02: add by m2/dev

4HD751XZKT 4HD751XZKT

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 6.2

History

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

4HDCCAM7SW 4HDCCAM7SW

URI	`m2://inv/4HDCCAM7SW`
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.36045#O3L0 (statement). In F0E8YBV0Z0/e1, proposition 6.3

History

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

4HDF1SD9GZ 4HDF1SD9GZ

URI	`m2://inv/4HDF1SD9GZ`
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.11031#4B5Q (statement). In 9DMJXFRQN9/e1, corollary 2.4

History

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

4HDRX2ETD8 4HDRX2ETD8

URI	`m2://inv/4HDRX2ETD8`
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 2410.10337#6F4H (statement). In RBBF0XNZ5E/e1, corollary 24

History

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

4HDXH3CFCB 4HDXH3CFCB

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

Mentions

arxiv: arXiv 2610.13931#QHX0 (statement). In EXA79VR78Q/e1, theorem 2.9

History

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

4HE4ZR45WA 4HE4ZR45WA

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/identity.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 11.4

History

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

4HE7C6DSN8 4HE7C6DSN8

URI	`m2://inv/4HE7C6DSN8`
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.21929#FQ8X (statement). In 2PP4XRVS0J/e1, proposition 5.8

History

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

Noether normalization lemma 4HEG6H3G40

URI	`m2://inv/4HEG6H3G40`
Kind	statement
Layer	textbook
MSC	37-XX
Sources	4
Outcome	open
Node	Noether normalization lemma 7Z28JY8QW4

Mentions

mathlib_1000: mathlib_1000 Q578555, Noether's theorem (statement). Also Wikidata Q578555
thousand_plus: thousand_plus Q578555, Noether's theorem (statement). Also Wikidata Q578555, Wikipedia Noether's theorem
wikidata: Wikidata Q1287074, Noether normalization lemma (statement). Also EoM Noether_theorem
wikidata: Wikidata Q578555, Noether's theorem (statement). Also EoM Noether_theorem, nLab Noether's theorem, ProofWiki Noether's_Theorem_(Calculus_of_Variations)
wikipedia: Wikipedia Noether's theorem, Noether's theorem (statement). Also Wikidata Q578555
wikipedia: Wikipedia Noether normalization lemma, Noether normalization lemma (statement). Also Wikidata Q1287074

History

2026-10-26: add by m2/dev

Seok-Jin Kang 4HEHGCAP2Z

URI	`m2://inv/4HEHGCAP2Z`
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#O77G, Seok-Jin Kang (unknown)

History

2026-11-02: add by m2/dev

4HEPQYC4H9 4HEPQYC4H9

URI	`m2://inv/4HEPQYC4H9`
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.10576#MX8R (statement). In N3ZA5MDZBW/e1, theorem B

History

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

Examples 4HERGTC3C5

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

Mentions

wikipedia: Wikipedia Pólya enumeration theorem#D3T9, Examples (example)

History

2026-11-02: add by m2/dev

Graetz number 4HETMFE7B0

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

Mentions

wikipedia: Wikipedia Graetz number, Graetz number (definition). Also Wikidata Q903886

History

2026-11-02: add by m2/dev

4HEXASENVS 4HEXASENVS

URI	`m2://inv/4HEXASENVS`
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.04608#3IBP (statement). In ZYYMXYK7WJ/e1, proposition 1

History

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

Definition 4HEY153G0G

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

Mentions

wikipedia: Wikipedia Classical XY model#FX2E, Definition (definition)

History

2026-11-02: add by m2/dev

4HF0BX0R4P 4HF0BX0R4P

URI	`m2://inv/4HF0BX0R4P`
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.02669#GUI6 (statement). In NSBSWH6XB4/e1, proposition 3.9

History

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

Nearest neighbour distribution 4HFAW5Z47G

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

Mentions

wikipedia: Wikipedia Nearest neighbour distribution, Nearest neighbour distribution (definition). Also Wikidata Q17104448

History

2026-11-02: add by m2/dev

Baker's Theorem 4HFPZJZWMY

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

Mentions

wikipedia: Wikipedia Baker's theorem#5SMH, Baker's Theorem (statement)

History

2026-11-02: add by m2/dev

Repressed memories 4HFQSQJP29

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#GABN, Repressed memories (unknown)

History

2026-11-02: add by m2/dev

4HFXP1DNP2 4HFXP1DNP2

URI	`m2://inv/4HFXP1DNP2`
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#QQES (statement). In QFBGPGRP1P/e1, lemma 3.6

History

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

Singular properly immersed free-boundary minimal hypersurfaces 4HG2XGV3SC

URI	`m2://inv/4HG2XGV3SC`
Kind	definition
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.09596#ZB17, Singular properly immersed free-boundary minimal hypersurfaces (definition). In HXFA55BREZ/e1, definition 2.6

History

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

4HGBQCYTM0 4HGBQCYTM0

URI	`m2://inv/4HGBQCYTM0`
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#MMHP (statement)

History

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

4HGQ6Q4WXD 4HGQ6Q4WXD

URI	`m2://inv/4HGQ6Q4WXD`
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.38206#9NO9 (statement). In F71MS1F637/e1, proposition 5.24

History

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

Definition 4HGX3GSJTS

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

Mentions

wikipedia: Wikipedia Slice knot#B0BG, Definition (definition)

History

2026-11-02: add by m2/dev

Pompeiu problem 4HH00SE435

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#0QZA, Pompeiu problem (conjecture)

History

2026-11-02: add by m2/dev

Steven R. Finch 4HH6TC8C4S

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

Mentions

wikipedia: Wikipedia Steven R. Finch, Steven R. Finch (topic). Also Wikidata Q112513730

History

2026-11-02: add by m2/dev

4HH8F828TN 4HH8F828TN

URI	`m2://inv/4HH8F828TN`
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.31861#TMYD (statement). In G36R6T327W/e1, theorem 1

History

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

Statement of the theorem 4HH8ZFBK21

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

Mentions

wikipedia: Wikipedia Raikov's theorem#JRL7, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

4HH9BBT52W 4HH9BBT52W

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

Mentions

arxiv: arXiv 2609.33733#FNIU (statement). In QBAP8C82FG/e1, proposition 55

History

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

4HHAS6G5RA 4HHAS6G5RA

URI	`m2://inv/4HHAS6G5RA`
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.12012#C6WN (statement). In 1RXGXBQAHS/e1, lemma 5.1

History

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

David Harel 4HHMMFVTWE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#PZS6, David Harel (unknown)

History

2026-11-02: add by m2/dev

Applications 4HHQTBPTTH

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

Mentions

wikipedia: Wikipedia Airy function#6AHK, Applications (example)

History

2026-11-02: add by m2/dev

4HHZS62ZPW 4HHZS62ZPW

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

Mentions

arxiv: arXiv 1512.06981#A4P1 (example). In X923ZEY423/e1, example 1.1.1

History

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

Definition 4HJCR8A7Y5

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

Mentions

wikipedia: Wikipedia Differential invariant#U87C, Definition (definition)

History

2026-11-02: add by m2/dev

Characterization 4HJDP9EKEM

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

Mentions

wikipedia: Wikipedia Productive matrix#9IZ6, Characterization (statement)

History

2026-11-02: add by m2/dev

4HJZ3YBEX0 4HJZ3YBEX0

URI	`m2://inv/4HJZ3YBEX0`
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#1W8V (statement)

History

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

Applications of information theory 4HK11Y88MY

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

Mentions

wikipedia: Wikipedia Information theory#JR4U, Applications of information theory (unknown)

History

2026-11-02: add by m2/dev

4HKANVBW6J 4HKANVBW6J

URI	`m2://inv/4HKANVBW6J`
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#772X (statement). In 9YAE8FNQST/e1, lemma 2.2

History

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

4HKBWBFCCF 4HKBWBFCCF

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

Mentions

arxiv: arXiv 2609.36509#E8FB (statement). In DPJ15KW23C/e1, lemma 7.10

History

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

Hilbert's program 4HKH6QDF6Q

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#9814, Hilbert's program (definition)

History

2026-11-02: add by m2/dev

Line–sphere intersection 4HKV4X9JV5

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

Mentions

wikipedia: Wikipedia Line–sphere intersection, Line–sphere intersection (definition). Also Wikidata Q6553660

History

2026-11-02: add by m2/dev

Theorems 4HKWXRJF0X

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

Mentions

open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#defn-1, Theorems (definition). In PKGMM3P5QY, defn, section 40.4

History

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

Convex-linear payoff function 4HKXRDRE6T

URI	`m2://inv/4HKXRDRE6T`
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 1803.10042#TSA3, Convex-linear payoff function (statement). In 718SP8YERQ/e1, corollary A1

History

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

real polynomial 4HM1ZY4XZW

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

Mentions

wikidata: Wikidata Q120493775, real polynomial (unknown). Also MathWorld RealPolynomial

History

2026-10-26: add by m2/dev

Definition 4HM2V8TZ25

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

Mentions

wikipedia: Wikipedia Surjunctive group#EXP3, Definition (definition)

History

2026-11-02: add by m2/dev

Carter constant 4HM3CMNCGQ

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

Mentions

wikipedia: Wikipedia Carter constant, Carter constant (object). Also Wikidata Q2994909

History

2026-11-02: add by m2/dev

Moritz Pasch 4HM48EPQ7A

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#ZD08, Moritz Pasch (topic)

History

2026-11-02: add by m2/dev

Ludolph van Ceulen 4HM4JBEX73

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people#9T1G, Ludolph van Ceulen (unknown)

History

2026-11-02: add by m2/dev

Stability 4HM4RNFECG

URI	`m2://inv/4HM4RNFECG`
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#IX6F, Stability (statement). In BWJS3H55WH/e1, lemma 13

History

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

Definition 4HM999A6GZ

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

Mentions

wikipedia: Wikipedia Pregaussian class#TQ8N, Definition (definition)

History

2026-11-02: add by m2/dev

Lawvere 4HMJMN273X

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

Mentions

hott_book: hott_book index/C.1.5/lawvere, Lawvere (concept). In N54F33XE07, index, section C.1.5

History

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

4HMSYS2J1Q 4HMSYS2J1Q

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

Mentions

arxiv: arXiv 2610.21328#UAIU (statement). In BJXVV4ZF7B/e1, proposition 7.1

History

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

Gigliola Staffilani 4HMT62M3ZB

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

Mentions

wikipedia: Wikipedia Gigliola Staffilani, Gigliola Staffilani (topic). Also Wikidata Q18706069

History

2026-11-02: add by m2/dev

4HMV27YR9H 4HMV27YR9H

URI	`m2://inv/4HMV27YR9H`
Kind	example
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 2312.14319#Q0OE (example). In V0S2EZ53GB/e1, example 3.2

History

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

Modal μ-calculus 4HMWEPBAQ1

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

Mentions

wikipedia: Wikipedia List of formal systems#4ZGW, Modal μ-calculus (definition)

History

2026-11-02: add by m2/dev

4HMWR6HGC0 4HMWR6HGC0

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-4 (exercise). In QKM9DD2H56, exercise, section 12

History

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

Stone's theorem on one-parameter unitary groups 4HMXE20V9P

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

Mentions

mathlib_1000: mathlib_1000 Q4455030, Stone's theorem on one-parameter unitary groups (statement). Also Wikidata Q4455030
thousand_plus: thousand_plus Q4455030, Stone's theorem on one-parameter unitary groups (statement). Also Wikidata Q4455030, Wikipedia Stone's theorem on one-parameter unitary groups
wikipedia: Wikipedia Stone's theorem on one-parameter unitary groups, Stone's theorem on one-parameter unitary groups (statement). Also Wikidata Q4455030

History

2026-10-26: add by m2/dev

Stan van Hoesel 4HMXFNDBBK

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

Mentions

wikipedia: Wikipedia Stan van Hoesel, Stan van Hoesel (topic). Also Wikidata Q18921911

History

2026-11-02: add by m2/dev

Basic properties 4HMYD3QC40

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

Mentions

wikipedia: Wikipedia Esscher transform#RHT3, Basic properties (statement)

History

2026-11-02: add by m2/dev

Properties 4HNA6MH4XG

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

Mentions

wikipedia: Wikipedia Incomplete gamma function#SMOR, Properties (statement)

History

2026-11-02: add by m2/dev

Subfields of mathematical logic 4HNCWVC51X

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

Mentions

wikipedia: Wikipedia Mathematical logic#F2RA, Subfields of mathematical logic (unknown)

History

2026-11-02: add by m2/dev

4HNTT44NQX 4HNTT44NQX

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_proofs.ptx#prop_sumints (statement). In QKM9DD2H56, proposition, section 3.8

History

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

4HNV8HADY2 4HNV8HADY2

URI	`m2://inv/4HNV8HADY2`
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.01932#7822 (statement). In XDKWW6NR0K/e1, proposition 9.1

History

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

string phenomenology 4HNYPQN0AV

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

Mentions

wikidata: Wikidata Q15427360, string phenomenology (unknown). Also nLab string phenomenology

History

2026-10-26: add by m2/dev

Constructible polygon 4HP6Y7ZDMV

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

Mentions

mathlib_1000: mathlib_1000 Q268132, Gauss–Wantzel theorem (statement). Also Wikidata Q268132
thousand_plus: thousand_plus Q268132, Gauss–Wantzel theorem (statement). Also Wikidata Q268132, Wikipedia Gauss–Wantzel theorem
wikipedia: Wikipedia Constructible polygon, Constructible polygon (definition). Also Wikidata Q268132

History

2026-10-26: add by m2/dev

4HP7MM748M 4HP7MM748M

URI	`m2://inv/4HP7MM748M`
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.36818#SRBZ (statement). In SK6AP2B9JH/e1, proposition 5.7

History

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

Instability of the order projection 4HPC80ZYE5

URI	`m2://inv/4HPC80ZYE5`
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.11002#A15P, Instability of the order projection (statement). In P55JSAYR3T/e1, theorem

History

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

Kolchin's problems 4HPKWY3C7G

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

Mentions

wikipedia: Wikipedia Kolchin's problems, Kolchin's problems (problem). Also Wikidata Q127163272

History

2026-11-02: add by m2/dev

4HPRMSS2YE 4HPRMSS2YE

URI	`m2://inv/4HPRMSS2YE`
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 2111.01197#I2QU (statement). In Z36XFKVTS0/e1, theorem 3.1

History

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

Properties 4HQ1X20QNR

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

Mentions

wikipedia: Wikipedia Singular submodule#M2N9, Properties (statement)

History

2026-11-02: add by m2/dev

4HQF1WYP88 4HQF1WYP88

URI	`m2://inv/4HQF1WYP88`
Kind	definition
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.14044#CCLY (definition). In 5452SJRWDT/e1, definition 2.1

History

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

first cousins 4HQGEETJHM

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#J8E2, first cousins (unknown)

History

2026-11-02: add by m2/dev

tangle 4HQN5ZDNK4

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

Mentions

wikidata: Wikidata Q7683003, tangle (unknown). Also MathWorld Tangle
wikipedia: Wikipedia Tangle (mathematics), Tangle (definition). Also Wikidata Q7683003

History

2026-10-26: add by m2/dev

Howorka 4HQQ39RTK0

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

Mentions

arxiv: arXiv 2610.02833#VB73, Howorka (statement). In TNREX5GDK2/e1, theorem 6.4

History

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

Construction 4HQR3MYFS7

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

Mentions

wikipedia: Wikipedia Hodges' estimator#ZQLI, Construction (definition)

History

2026-11-02: add by m2/dev

Grigoriy Gamarnik 4HQXZCPGS0

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#GDMY, Grigoriy Gamarnik (unknown)

History

2026-11-02: add by m2/dev

4HQZSF9MM8 4HQZSF9MM8

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/minimization-representable.tex#lem:less-zero (statement). In PKGMM3P5QY, lem, section 29.10

History

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

4HR37FX7GK 4HR37FX7GK

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

Mentions

arxiv: arXiv 2609.31858#D8IO (definition). In QV16PHDXKJ/e1, definition 4.3

History

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

4HR4ZMEA3K 4HR4ZMEA3K

URI	`m2://inv/4HR4ZMEA3K`
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.20025#K2B9 (statement). In 4W1WR4JB89/e1, proposition 2.3

History

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

Nonlinear conjugate gradient method 4HR579AJ84

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

Mentions

wikipedia: Wikipedia Nonlinear conjugate gradient method, Nonlinear conjugate gradient method (definition). Also Wikidata Q17086453

History

2026-11-02: add by m2/dev

Birnbaum–Saunders distribution 4HRB6MEXYN

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

Mentions

wikipedia: Wikipedia Birnbaum–Saunders distribution, Birnbaum–Saunders distribution (definition). Also Wikidata Q3711794

History

2026-11-02: add by m2/dev

4HREP7FVC3 4HREP7FVC3

URI	`m2://inv/4HREP7FVC3`
Kind	definition
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.34260#T7R4 (definition). In BBE69ZPVTF/e1, definition 5.1

History

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

4HRF0PKVHC 4HRF0PKVHC

URI	`m2://inv/4HRF0PKVHC`
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.01737#JR2M (definition). In M4JGP708F4/e1, definition 2.7

History

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

probability measure 4HRJDQGDY8

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#8A7U, probability measure (definition)

History

2026-11-02: add by m2/dev

4HRM3G4NN4 4HRM3G4NN4

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

Mentions

arxiv: arXiv 2610.08193#QQGG (statement). In 8XAKGH8S2D/e1, proposition 4.3

History

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

4HRMD7ZWY9 4HRMD7ZWY9

URI	`m2://inv/4HRMD7ZWY9`
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 2405.10580#PI7K (statement). In FXEJE0PWEP/e1, lemma B.1

History

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

Examples 4HRQ66YAAJ

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

Mentions

wikipedia: Wikipedia Subderivative#Z7DJ, Examples (example)

History

2026-11-02: add by m2/dev

Hida 4HRQWNHN5F

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

Mentions

arxiv: arXiv 2610.11210#GZ0Y, Hida (statement). In CRFDGFZHBF/e1, proposition 6.1

History

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

4HRT879EQP 4HRT879EQP

URI	`m2://inv/4HRT879EQP`
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#BS3Z (statement). In 3A4K47Y9F2/e1, theorem 6.1

History

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

4HS9NGZ1ZH 4HS9NGZ1ZH

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

Mentions

arxiv: arXiv 2609.35605#ENB0 (statement). In X1KWTAA3M2/e1, theorem 2

History

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

Examples 4HSAH3164M

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

Mentions

wikipedia: Wikipedia Isoclinism of groups#22U7, Examples (example)

History

2026-11-02: add by m2/dev

4HSEB3M4Y3 4HSEB3M4Y3

URI	`m2://inv/4HSEB3M4Y3`
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 2606.00589#6IX5 (statement). In C8JAGP8VCQ/e1, lemma 9.5

History

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

Short map 4HSFG3DV0C

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

Mentions

wikipedia: Wikipedia Glossary of general topology#EVHL, Short map (definition)

History

2026-11-02: add by m2/dev

Liñán's equation 4HSQP3SS8H

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

Mentions

wikipedia: Wikipedia List of named differential equations#25TX, Liñán's equation (definition)

History

2026-11-02: add by m2/dev

Data binning 4HSTPPJHX6

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

Mentions

wikipedia: Wikipedia Data binning, Data binning (definition). Also Wikidata Q863988

History

2026-11-02: add by m2/dev

Notation 4HSVSZZ84R

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

Mentions

wikipedia: Wikipedia Phasor#24N9, Notation (definition)

History

2026-11-02: add by m2/dev

4HSWTAWJ1C 4HSWTAWJ1C

URI	`m2://inv/4HSWTAWJ1C`
Kind	example
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 1911.06467#GTQE (example). In G35G1NJKBX/e1, example A.5

History

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

Properties 4HSZFQNRZY

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

Mentions

wikipedia: Wikipedia Kampyle of Eudoxus#SC4J, Properties (statement)

History

2026-11-02: add by m2/dev

4HT33G1Q5P 4HT33G1Q5P

URI	`m2://inv/4HT33G1Q5P`
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.14135#VUFG (statement). In C304J64Q79/e1, lemma 3.1

History

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

4HT656PQ4G 4HT656PQ4G

URI	`m2://inv/4HT656PQ4G`
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#94M2 (statement)

History

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

ramp function 4HT67RZVDJ

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

Mentions

wikidata: Wikidata Q1047481, ramp function (unknown). Also MathWorld RampFunction
wikipedia: Wikipedia Ramp function, Ramp function (definition). Also Wikidata Q1047481

History

2026-10-26: add by m2/dev

Quantitative formula 4HT6P6955R

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

Mentions

wikipedia: Wikipedia Newton's theorem of revolving orbits#YZUV, Quantitative formula (statement)

History

2026-11-02: add by m2/dev

Applications 4HTEA44T18

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

Mentions

wikipedia: Wikipedia Dynamical system simulation#26XX, Applications (example)

History

2026-11-02: add by m2/dev

type theory, extensional 4HTKXNSFK6

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

Mentions

hott_book: hott_book index/A.12.3/type-theory-extensional, type theory, extensional (concept). In N54F33XE07, index, section A.12.3

History

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

4HTMW6M7P2 4HTMW6M7P2

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

Mentions

arxiv: arXiv 2610.15982#XKV2 (statement). In KB50SHR229/e1, lemma B.3

History

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

Metropolitan bias 4HTNF2NJX5

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

Mentions

wikipedia: Wikipedia Metropolitan bias, Metropolitan bias (definition). Also Wikidata Q55622921

History

2026-11-02: add by m2/dev

Properties 4HTRGK3WAG

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

Mentions

wikipedia: Wikipedia Minimum spanning tree#JB05, Properties (statement)

History

2026-11-02: add by m2/dev

The identity 4HTWA4RZ1C

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

Mentions

wikipedia: Wikipedia Mingarelli identity#DMDS, The identity (statement)

History

2026-11-02: add by m2/dev

Five Forks, Upshur County, West Virginia 4HVMFJGRKC

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

Mentions

wikipedia: Wikipedia List of places with numeric names#A2JP, Five Forks, Upshur County, West Virginia (unknown)

History

2026-11-02: add by m2/dev

4HVN7FSDV7 4HVN7FSDV7

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

Mentions

arxiv: arXiv 2610.17045#3MNO (statement). In PA6JQDSKQT/e1, proposition 5.11

History

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

4HVR69361N 4HVR69361N

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

Mentions

arxiv: arXiv 2610.11760#XH3F (statement). In NBNERWXW53/e1, lemma S10.1

History

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

Simultaneous equation methods (econometrics) 4HVZXAXYBX

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

Mentions

wikipedia: Wikipedia List of statistics articles#R74L, Simultaneous equation methods (econometrics) (definition)

History

2026-11-02: add by m2/dev

4HW1XKK13H 4HW1XKK13H

URI	`m2://inv/4HW1XKK13H`
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#TPEY (definition)

History

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

4HW2QNBM3R 4HW2QNBM3R

URI	`m2://inv/4HW2QNBM3R`
Kind	statement
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#3AHO (statement). In X38P26DK6S/e1, proposition 3.14

History

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

Condorcet winner 4HW456N2RW

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

Mentions

wikipedia: Wikipedia Glossary of game theory#CZ5O, Condorcet winner (definition)

History

2026-11-02: add by m2/dev

4HW6VYD6Q4 4HW6VYD6Q4

URI	`m2://inv/4HW6VYD6Q4`
Kind	statement
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 2103.08272#948K (statement). In H72E12TYHA/e1, proposition 3.13

History

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

Continuous convergence at atom-free cutoffs 4HWBKGN7V3

URI	`m2://inv/4HWBKGN7V3`
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.08821#7BRG, Continuous convergence at atom-free cutoffs (statement). In KP1THB2C09/e1, theorem 4.7

History

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

4HWGQA91XQ 4HWGQA91XQ

URI	`m2://inv/4HWGQA91XQ`
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.19086#D42H (statement). In RDW99P4ZZJ/e1, proposition 2.1

History

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

4HWJ5DQ0GN 4HWJ5DQ0GN

URI	`m2://inv/4HWJ5DQ0GN`
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.21568#34CL (statement)

History

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

Itô's formula for functions with finite quadratic variation 4HWK5EMS8H

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

Mentions

wikipedia: Wikipedia Itô's lemma#21BX, Itô's formula for functions with finite quadratic variation (statement)

History

2026-11-02: add by m2/dev

4HWMPPP422 4HWMPPP422

URI	`m2://inv/4HWMPPP422`
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.24584#MVY8 (statement)

History

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

4HWQJNDQDJ 4HWQJNDQDJ

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#defn-2 (definition). In E59CDZA4DP, defn, section 9.1.2

History

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

Finiteness of moments for bulk/boundary quotients, case $q=1$ 4HWS6EZRMV

URI	`m2://inv/4HWS6EZRMV`
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 2502.09121#6FJL, Finiteness of moments for bulk/boundary quotients, case $q=1$ (statement). In 559PF7Q5BT/e1, theorem 1

History

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

Examples 4HWYEZEDJ7

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

Mentions

wikipedia: Wikipedia Generalized dihedral group#EKYR, Examples (example)

History

2026-11-02: add by m2/dev

4HX7MG1141 4HX7MG1141

URI	`m2://inv/4HX7MG1141`
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.16010#K0DW (statement). In AQJXKF6WZP/e1, lemma 3.1

History

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

Formal definition 4HX8HJ9MWG

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

Mentions

wikipedia: Wikipedia Infimum and supremum#F90S, Formal definition (definition)

History

2026-11-02: add by m2/dev

4HXDXEM84X 4HXDXEM84X

URI	`m2://inv/4HXDXEM84X`
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.36078#M02W (statement). In MVKXS0Q6XN/e1, corollary 3.3

History

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

Positive-definite function 4HXFP5HP1G

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

Mentions

wikipedia: Wikipedia List of harmonic analysis topics#IBN8, Positive-definite function (definition)

History

2026-11-02: add by m2/dev

The converse as a conjecture 4HY2BB8P4S

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

Mentions

wikipedia: Wikipedia Wolstenholme's theorem#RSP7, The converse as a conjecture (statement)

History

2026-11-02: add by m2/dev

Russell's paradox 4HY5W4HAD1

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#DG6L, Russell's paradox (statement)

History

2026-11-02: add by m2/dev

Otto calculus 4HY9X6WK5A

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

Mentions

wikipedia: Wikipedia Otto calculus, Otto calculus (definition). Also Wikidata Q123930132

History

2026-11-02: add by m2/dev

Township 5, Washington County, Nebraska 4HYAEW1A3P

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

Mentions

wikipedia: Wikipedia List of places with numeric names#JAJM, Township 5, Washington County, Nebraska (unknown)

History

2026-11-02: add by m2/dev

Icosian game 4HYNFGEAQJ

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

Mentions

wikidata: Wikidata Q4302650, Icosian game (concept). Also MathWorld IcosianGame
wikipedia: Wikipedia Icosian game, Icosian game (definition). Also Wikidata Q4302650

History

2026-10-26: add by m2/dev

4HYPBASKZF 4HYPBASKZF

URI	`m2://inv/4HYPBASKZF`
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.24902#IZTF (definition)

History

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

Nonogram 4HYQVJSWQC

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#5GNK, Nonogram (unknown)

History

2026-11-02: add by m2/dev

Examples 4HYRDWKCCH

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

Mentions

wikipedia: Wikipedia Zero morphism#WEEF, Examples (example)

History

2026-11-02: add by m2/dev

Victor Isakov 4HYT1ZSCK9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#S3UR, Victor Isakov (unknown)

History

2026-11-02: add by m2/dev

4HYX8KT944 4HYX8KT944

URI	`m2://inv/4HYX8KT944`
Kind	definition
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.33018#ZCVK (definition). In 8XVS0QJ2AH/e1, definition 38

History

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

4HZ3S7KY7R 4HZ3S7KY7R

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

Mentions

arxiv: arXiv 2609.37520#9NU0 (definition). In BDN507RN7J/e1, definition 3.7.4

History

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

4HZ3WEWTK4 4HZ3WEWTK4

URI	`m2://inv/4HZ3WEWTK4`
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.13715#JC7L (statement). In FAVGZDVJS9/e1, lemma 3.3

History

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

Checking if a coin is biased 4HZ4B6RPZ2

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

Mentions

wikipedia: Wikipedia List of statistics articles#U9CA, Checking if a coin is biased (definition)

History

2026-11-02: add by m2/dev

4HZ4WNQGB1 4HZ4WNQGB1

URI	`m2://inv/4HZ4WNQGB1`
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#W3MH (statement)

History

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

Jakub Kresa 4HZ9TV130A

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

Mentions

wikipedia: Wikipedia Jakub Kresa, Jakub Kresa (topic). Also Wikidata Q1679674

History

2026-11-02: add by m2/dev

Reactive devaluation 4HZB9A1J61

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

Mentions

wikipedia: Wikipedia List of cognitive biases#83Y4, Reactive devaluation (unknown)

History

2026-11-02: add by m2/dev

Logical equality 4HZF3TXF9X

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

Mentions

wikipedia: Wikipedia Logical equality, Logical equality (definition). Also Wikidata Q3308477

History

2026-11-02: add by m2/dev

4HZQHBD5MV 4HZQHBD5MV

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 8.6

History

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

4HZR7G06H9 4HZR7G06H9

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

Mentions

arxiv: arXiv 2610.15099#YE6Y (statement). In PF5JJ9DS8Q/e1, proposition 3.4.1

History

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

Applied element method 4HZSEZ7N1F

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#CT5B, Applied element method (definition)

History

2026-11-02: add by m2/dev