Inventory rows HK

multivector derivative HK07AHFZE5

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

Mentions

wikipedia: Wikipedia Geometric calculus#OREW, multivector derivative (definition)

History

2026-11-02: add by m2/dev

HK0DNXCWG0 HK0DNXCWG0

URI	`m2://inv/HK0DNXCWG0`
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 2610.03424#U7R8 (statement). In Q6HRJP4AWA/e1, corollary 8.4

History

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

HK0F5G3E45 HK0F5G3E45

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

Mentions

hott_book: hott_book hlevels.tex#proof-43 (proof). In N54F33XE07, proof, section 6.6

History

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

HK0SCYG8M9 HK0SCYG8M9

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

Mentions

arxiv: arXiv 2610.14838#DNC6 (example). In J7ZX3WWRQP/e1, example 2.34

History

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

Uniform coefficient bound HK0WAZ83FA

URI	`m2://inv/HK0WAZ83FA`
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.05652#3YMQ, Uniform coefficient bound (statement). In 8BNPFYQDQX/e1, proposition 3.23

History

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

Marilyn Horne HK0X8WH81M

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#8O8I, Marilyn Horne (unknown)

History

2026-11-02: add by m2/dev

Examples HK11MQ7NBE

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

Mentions

wikipedia: Wikipedia 5-Con triangles#7H3E, Examples (example)

History

2026-11-02: add by m2/dev

HK11PVWC4J HK11PVWC4J

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

Mentions

arxiv: arXiv 2610.17127#5SKL (statement). In NZJ5B5KSDQ/e1, corollary 1

History

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

HK1HEHRNG3 HK1HEHRNG3

URI	`m2://inv/HK1HEHRNG3`
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.28597#ZAS4 (statement)

History

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

string diagram HK1NE7HTFN

URI	`m2://inv/HK1NE7HTFN`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	String diagram 5YHK0VS62A

Mentions

wikidata: Wikidata Q7623974, string diagram (unknown). Also nLab string diagram
wikipedia: Wikipedia String diagram, String diagram (definition). Also Wikidata Q7623974

History

2026-10-26: add by m2/dev

Sequential Gaussian coupling HK1RYPQV83

URI	`m2://inv/HK1RYPQV83`
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.05498#4Q4V, Sequential Gaussian coupling (statement). In TJT32RQ9GC/e1, lemma 6.17

History

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

910 (number) HK2619QFR6

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

Mentions

wikipedia: Wikipedia 900 (number)#3ZHR, 910 (number) (unknown)

History

2026-11-02: add by m2/dev

Conversion of the loss HK2BC2NM9G

URI	`m2://inv/HK2BC2NM9G`
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.00501#B9G1, Conversion of the loss (statement). In FTPW1SZ8D3/e1, proposition D.4

History

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

Examples HK2CBB55QV

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

Mentions

wikipedia: Wikipedia Rotational symmetry#OIL9, Examples (example)

History

2026-11-02: add by m2/dev

Heptakis heptagonal tiling HK2P1SG5Q0

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

Mentions

wikipedia: Wikipedia Truncated order-7 triangular tiling#K5EQ, Heptakis heptagonal tiling (unknown)

History

2026-11-02: add by m2/dev

Triangular number HK2SX3QE4A

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

Mentions

wikipedia: Wikipedia List of triangle topics#IUYR, Triangular number (definition)

History

2026-11-02: add by m2/dev

well-covered graph HK31CAFJQ2

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

Mentions

wikidata: Wikidata Q7981049, well-covered graph (unknown). Also MathWorld Well-CoveredGraph
wikipedia: Wikipedia Well-covered graph, Well-covered graph (definition). Also Wikidata Q7981049

History

2026-10-26: add by m2/dev

rational thermodynamics HK3ABNGVAZ

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

Mentions

wikidata: Wikidata Q55631208, rational thermodynamics (unknown). Also nLab rational thermodynamics
wikipedia: Wikipedia Rational thermodynamics, Rational thermodynamics (definition). Also Wikidata Q55631208

History

2026-10-26: add by m2/dev

Definition HK3CJS5DVC

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

Mentions

wikipedia: Wikipedia Canonical singularity#Z2WT, Definition (definition)

History

2026-11-02: add by m2/dev

HK3CYPT4H9 HK3CYPT4H9

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

Mentions

arxiv: arXiv 2610.18302#MZT1 (statement). In VJTRH1S4JA/e1, lemma 4.14

History

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

Lorentzian products HK3H2WTK9S

URI	`m2://inv/HK3H2WTK9S`
Kind	definition
Layer	research
MSC	51-XX, 52-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.10051#UBB8, Lorentzian products (definition). In VCHH2AC34R/e1, definition 2.9

History

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

HK3NKC3ASS HK3NKC3ASS

URI	`m2://inv/HK3NKC3ASS`
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.22667#H209 (statement)

History

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

Maple HK3RDA3YDA

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

Mentions

wikipedia: Wikipedia List of statistical software#86LK, Maple (unknown)

History

2026-11-02: add by m2/dev

HK3X8Q98XB HK3X8Q98XB

URI	`m2://inv/HK3X8Q98XB`
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.20165#MBKO (statement). In QTD3BP5GA0/e1, theorem 3.3

History

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

Measurement of a Circle HK3YJ71WYZ

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

Mentions

wikipedia: Wikipedia List of circle topics#PM2G, Measurement of a Circle (definition)

History

2026-11-02: add by m2/dev

Géza Fodor HK4327JT2H

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0EJ3, Géza Fodor (topic)

History

2026-11-02: add by m2/dev

HK459J4X92 HK459J4X92

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_addtops-numbth.ptx#example-6 (example). In Y91XFCEVHQ, example, section 6.2.4

History

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

Pappus's hexagon theorem HK46Z6TBPA

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

Mentions

wikipedia: Wikipedia List of theorems#KBVK, Pappus's hexagon theorem (statement)

History

2026-11-02: add by m2/dev

HK4ADTYX42 HK4ADTYX42

URI	`m2://inv/HK4ADTYX42`
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 2609.31212#3PTQ (statement). In FHE30V0M03/e1, corollary 5.1

History

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

Fundamental theorems HK4GRPXKMM

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

Mentions

wikipedia: Wikipedia General Dirichlet series#KOG0, Fundamental theorems (statement)

History

2026-11-02: add by m2/dev

HK4S50G2NH HK4S50G2NH

URI	`m2://inv/HK4S50G2NH`
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.18226#4K19 (statement). In B3EHT1FRM5/e1, lemma 3.10

History

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

Great hexacronic icositetrahedron HK4S5KSF50

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

Mentions

wikidata: Wikidata Q5600361, Great hexacronic icositetrahedron (unknown). Also MathWorld GreatHexacronicIcositetrahedron
wikipedia: Wikipedia Great hexacronic icositetrahedron, Great hexacronic icositetrahedron (object). Also Wikidata Q5600361

History

2026-10-26: add by m2/dev

Plane strain HK4VNS5ZT5

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

Mentions

wikipedia: Wikipedia Infinitesimal strain theory#U150, Plane strain (unknown)

History

2026-11-02: add by m2/dev

Dm-crypt HK51GPQ4P8

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

Mentions

wikipedia: Wikipedia Dm-crypt, Dm-crypt (definition). Also Wikidata Q286943

History

2026-11-02: add by m2/dev

Infinity HK51Z4RE3Q

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

Mentions

wikipedia: Wikipedia List of real analysis topics#858P, Infinity (definition)

History

2026-11-02: add by m2/dev

HK53NYN0CH HK53NYN0CH

URI	`m2://inv/HK53NYN0CH`
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.16081#78FS (statement). In RS6WWZKMT6/e1, theorem 1.1

History

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

Examples HK57Y0XSEC

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

Mentions

wikipedia: Wikipedia Marginal value theorem#DRLO, Examples (example)

History

2026-11-02: add by m2/dev

Naco HK5A26ZDZ1

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

Mentions

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

History

2026-11-02: add by m2/dev

$\epsilon_n$-typical graphs HK5DTZJADP

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

Mentions

arxiv: arXiv 2609.33704#BRZG, $\epsilon_n$-typical graphs (definition). In STRVMT83HE/e1, definition 2

History

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

HK5J4YSQQF HK5J4YSQQF

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

Mentions

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

History

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

HK5MZHQ27X HK5MZHQ27X

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

Mentions

open_logic: open_logic content/intuitionistic-logic/tableaux/soundness.tex#cor:entailment-soundness (statement). In PKGMM3P5QY, cor, section 34.6

History

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

HK66D4800A HK66D4800A

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/fix.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 69.3

History

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

730 (number) HK6ARJX9AS

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

Mentions

wikipedia: Wikipedia 700 (number)#1S13, 730 (number) (unknown)

History

2026-11-02: add by m2/dev

Philip Treisman HK6DGAR572

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

Mentions

wikipedia: Wikipedia Philip Treisman, Philip Treisman (topic). Also Wikidata Q7184486

History

2026-11-02: add by m2/dev

HK6TQ3WSQH HK6TQ3WSQH

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

Mentions

arxiv: arXiv 2609.35252#LBM8 (definition). In RPFP34GH09/e1, definition 2.1

History

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

Ryszard Winiarski HK74T76Y90

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

Mentions

wikipedia: Wikipedia Ryszard Winiarski, Ryszard Winiarski (topic). Also Wikidata Q9325032

History

2026-11-02: add by m2/dev

HK7527Y8BH HK7527Y8BH

URI	`m2://inv/HK7527Y8BH`
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.17129#JUQ5 (statement). In TCZWAMNYCV/e1, lemma 5.3

History

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

HK75A2WFYW HK75A2WFYW

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

Mentions

arxiv: arXiv 2609.28076#02EB (statement)

History

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

Jenelle Porter HK794DCJER

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#XDJI, Jenelle Porter (unknown)

History

2026-11-02: add by m2/dev

HK7DDXBSRR HK7DDXBSRR

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

Mentions

arxiv: arXiv 2204.01073#OCT4 (definition). In W4TYN4PGE8/e1, definition 2.22

History

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

HK7EF88W8C HK7EF88W8C

URI	`m2://inv/HK7EF88W8C`
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.23634#O298 (statement)

History

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

HK7QRK59FG HK7QRK59FG

URI	`m2://inv/HK7QRK59FG`
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.18775#RNQA (statement). In Y2Y96TTDQ4/e1, theorem 2.5

History

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

Ising machine HK7R8W4KA9

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

Mentions

wikipedia: Wikipedia Ising machine, Ising machine (definition)

History

2026-11-02: add by m2/dev

HK7SZQ2AMP HK7SZQ2AMP

URI	`m2://inv/HK7SZQ2AMP`
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.05459#QFEZ (statement). In VYW16D089Y/e1, theorem 5.4

History

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

HK7XERBN00 HK7XERBN00

URI	`m2://inv/HK7XERBN00`
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 2610.18281#MBPQ (example). In QYD0EJM85G/e1, example 5.2

History

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

Construction HK846Z2DS7

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

Mentions

wikipedia: Wikipedia Dyakis dodecahedron#J9SF, Construction (definition)

History

2026-11-02: add by m2/dev

Glenn Barnich HK85P4AX59

URI	`m2://inv/HK85P4AX59`
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 Q59554893, Glenn Barnich (unknown). Also nLab Glenn Barnich

History

2026-10-26: add by m2/dev

HK8BWAG0AQ HK8BWAG0AQ

URI	`m2://inv/HK8BWAG0AQ`
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 2609.27056#F0KY (example)

History

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

HK8CKZCDE7 HK8CKZCDE7

URI	`m2://inv/HK8CKZCDE7`
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 2609.38793#5MAZ (statement). In T2N92YSY5R/e1, lemma 4.9

History

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

HK8EXA6V00 HK8EXA6V00

URI	`m2://inv/HK8EXA6V00`
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.13699#N25T (statement). In ZSMAQ666K7/e1, lemma 4

History

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

Weierstrass product theorem HK8MAFE5JX

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-42, Weierstrass product theorem (statement). In VNMV985MXX, thm, section B

History

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

Scalar partition geometry HK8NNGCD13

URI	`m2://inv/HK8NNGCD13`
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#97GD, Scalar partition geometry (statement). In 9YAE8FNQST/e1, lemma 23.7

History

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

General principle HK8RN4PJJF

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

Mentions

wikipedia: Wikipedia Transposition cipher#5HSF, General principle (statement)

History

2026-11-02: add by m2/dev

Prime ideal topology HK8WAX72ZY

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

Mentions

wikipedia: Wikipedia Spectrum of a ring#Y5CV, Prime ideal topology (unknown)

History

2026-11-02: add by m2/dev

HK982XTVF1 HK982XTVF1

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

Mentions

arxiv: arXiv 2609.33231#5C6V (statement). In WPDRT63QNW/e1, corollary 5.6

History

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

Explicit nondegeneracy for a convective row HK9A21RQNP

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

Mentions

arxiv: arXiv 2610.04357#QR1V, Explicit nondegeneracy for a convective row (example). In 6FY8BVP1F3/e1, example K.9

History

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

protractor HK9ARJ2VSS

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

Mentions

wikidata: Wikidata Q204984, protractor (unknown). Also MathWorld Protractor

History

2026-10-26: add by m2/dev

mutually singular measures HK9AXR9FFW

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

Mentions

wikidata: Wikidata Q2305406, mutually singular measures (unknown). Also MathWorld MutuallySingular

History

2026-10-26: add by m2/dev

HK9DA2J3M4 HK9DA2J3M4

URI	`m2://inv/HK9DA2J3M4`
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.37739#FNVD (statement). In F5XF5VXTXY/e1, lemma 7.3

History

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

HK9GFTGWP6 HK9GFTGWP6

URI	`m2://inv/HK9GFTGWP6`
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.24206#TNMW (statement)

History

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

raven paradox HK9HV6VX4E

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

Mentions

wikidata: Wikidata Q919255, raven paradox (unknown). Also MathWorld HempelsParadox
wikipedia: Wikipedia Raven paradox, Raven paradox (statement). Also Wikidata Q919255

History

2026-10-26: add by m2/dev

HK9MJY71JD HK9MJY71JD

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#proof-19 (proof). In E59CDZA4DP, proof, section 1.6

History

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

Definition HK9PPMG0KS

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

Mentions

wikipedia: Wikipedia Enumeration reducibility#YUOA, Definition (definition)

History

2026-11-02: add by m2/dev

Sylvester–Gallai theorem HK9VCHZRB7

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

Mentions

wikipedia: Wikipedia List of things named after James Joseph Sylvester#PIYO, Sylvester–Gallai theorem (statement)

History

2026-11-02: add by m2/dev

HK9X521EQG HK9X521EQG

URI	`m2://inv/HK9X521EQG`
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.05708#SVL6 (statement). In 3BJPFGJNSS/e1, theorem 8.1

History

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

Numerical methods for calculating cube roots HK9XEQSYA3

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

Mentions

wikipedia: Wikipedia Cube root#GSWC, Numerical methods for calculating cube roots (unknown)

History

2026-11-02: add by m2/dev

Manchester Statistical Society HKA1K3AHG5

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

Mentions

wikipedia: Wikipedia Manchester Statistical Society, Manchester Statistical Society (definition). Also Wikidata Q6747522

History

2026-11-02: add by m2/dev

HKA475XRRV HKA475XRRV

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

Mentions

arxiv: arXiv 2609.27049#6SEW (statement)

History

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

Passage to full level HKA7D8XY1J

URI	`m2://inv/HKA7D8XY1J`
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.33808#11RB, Passage to full level (statement). In 328KGRNN0W/e1, proposition 7.1

History

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

Robert Feys HKA8V58D4D

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

Mentions

wikipedia: Wikipedia Robert Feys, Robert Feys (topic). Also Wikidata Q15490557

History

2026-11-02: add by m2/dev

HKABVWNEPJ HKABVWNEPJ

URI	`m2://inv/HKABVWNEPJ`
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 0910.5574#TOD7 (statement). In 2TJRBRKYAY/e1, lemma 4.3

History

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

Gaussian--chi Funk horocone pyramid HKAKDFCEZN

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

Mentions

arxiv: arXiv 2609.27752#7NQM, Gaussian--chi Funk horocone pyramid (definition)

History

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

Comparison of linear algebra libraries HKAKGB9ZBG

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

Mentions

wikipedia: Wikipedia Comparison of linear algebra libraries, Comparison of linear algebra libraries (definition). Also Wikidata Q5155915

History

2026-11-02: add by m2/dev

The higher-degree Fatou quotient HKAKX09Y5E

URI	`m2://inv/HKAKX09Y5E`
Kind	problem
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 2609.35597#AME2, The higher-degree Fatou quotient (problem). In K424GCJ50P/e1, problem 10.2

History

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

HKAMGCP72X HKAMGCP72X

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-30 (exercise). In Y91XFCEVHQ, exercise, section 1.4

History

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

Properties HKAQJZF6T2

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

Mentions

wikipedia: Wikipedia Majority function#6ZLT, Properties (statement)

History

2026-11-02: add by m2/dev

Mixed boundary condition HKAS99FE4E

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

Mentions

wikipedia: Wikipedia Mixed boundary condition, Mixed boundary condition (definition). Also Wikidata Q2992268

History

2026-11-02: add by m2/dev

$\RR^2$ HKATXEDR1Z

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

Mentions

napkin: napkin tex/topology/metric-top.tex#example-13, $\RR^2$ (example). In RZP28ERRZV, example, section 100.5

History

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

Potentially all pairwise rankings of all possible alternatives HKB0P86AED

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

Mentions

wikipedia: Wikipedia Potentially all pairwise rankings of all possible alternatives, Potentially all pairwise rankings of all possible alternatives (definition). Also Wikidata Q7234837

History

2026-11-02: add by m2/dev

HKB2GGZCT1 HKB2GGZCT1

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

Mentions

open_logic: open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 27.9

History

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

Mario Szegedy HKB946B9HV

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

Mentions

wikipedia: Wikipedia Mario Szegedy, Mario Szegedy (topic). Also Wikidata Q92840

History

2026-11-02: add by m2/dev

Dehn's lemma HKBGJGTP04

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

Mentions

wikipedia: Wikipedia List of lemmas#P27X, Dehn's lemma (statement)

History

2026-11-02: add by m2/dev

HKBQHZ00FX HKBQHZ00FX

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

Mentions

austin_ula: austin_ula src/section7-1.xml#prop-covariance (statement). In 649HGZKE96, proposition, section 7.1.3

History

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

clean HKC9Y1Z35Z

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#KUFI, clean (definition)

History

2026-11-02: add by m2/dev

HKCCQH0PVS HKCCQH0PVS

URI	`m2://inv/HKCCQH0PVS`
Kind	problem
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 2504.13328#BJNS (problem). In 736Q32FYCG/e1, problem 5.2

History

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

Theorem 1 HKCPTQE6RX

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

Mentions

wikipedia: Wikipedia Büchi automaton#M3JQ, Theorem 1 (statement)

History

2026-11-02: add by m2/dev

Orbital Angular Momentum HKCQM006H9

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

Mentions

wikipedia: Wikipedia Angular momentum#P5P7, Orbital Angular Momentum (unknown)

History

2026-11-02: add by m2/dev

Reactive transport modeling in porous media HKCTW7FCK7

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

Mentions

wikipedia: Wikipedia List of operator splitting topics#YHT0, Reactive transport modeling in porous media (unknown)

History

2026-11-02: add by m2/dev

Formulation HKCVTSRV6H

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

Mentions

wikipedia: Wikipedia Additive K-theory#6SVC, Formulation (definition)

History

2026-11-02: add by m2/dev

HKCYGCHT26 HKCYGCHT26

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

Mentions

arxiv: arXiv 2609.33590#8WIZ (statement). In WRE0P7V6Z3/e1, proposition 8.9

History

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

Annular case and feasibility criterion HKD35CEAN6

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

Mentions

wikipedia: Wikipedia Steiner chain#N3VD, Annular case and feasibility criterion (statement)

History

2026-11-02: add by m2/dev

Applications HKDDDGS5HY

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

Mentions

wikipedia: Wikipedia Kronecker product#EMMW, Applications (example)

History

2026-11-02: add by m2/dev

Coefficient bounds from closed products of minors HKDDXM5YM3

URI	`m2://inv/HKDDXM5YM3`
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.05652#DZQX, Coefficient bounds from closed products of minors (statement). In 8BNPFYQDQX/e1, lemma 3.19

History

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

HKDFX2XK3G HKDFX2XK3G

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

Mentions

lebl_ra: lebl_ra ch-der.tex#example-4 (example). In E59CDZA4DP, example, section 3.1.1

History

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

Rod calculus HKDMYRJQTP

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

Mentions

wikipedia: Wikipedia Rod calculus, Rod calculus (definition). Also Wikidata Q2135255

History

2026-11-02: add by m2/dev

Bounded critic iterates HKDVT6043G

URI	`m2://inv/HKDVT6043G`
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#NW8E, Bounded critic iterates (statement). In MDQXTBEK0F/e1, lemma 4.2

History

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

HKE0JEWX5V HKE0JEWX5V

URI	`m2://inv/HKE0JEWX5V`
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.32338#11ZW (definition). In HVY45JQRNK/e1, definition 2.29

History

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

HKE579CGZB HKE579CGZB

URI	`m2://inv/HKE579CGZB`
Kind	statement
Layer	research
MSC	26-XX, 51-XX, 52-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.21768#J4T6 (statement). In VD53W58DS1/e1, theorem 1.4

History

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

Properties HKE6PHMSZ9

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

Mentions

wikipedia: Wikipedia Nilmanifold#GQ8T, Properties (statement)

History

2026-11-02: add by m2/dev

MET behavior in the sphere HKEG6QAKDT

URI	`m2://inv/HKEG6QAKDT`
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.05056#IHF6, MET behavior in the sphere (statement). In 4PF04DW3YP/e1, theorem 2.7

History

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

differential evolution HKEM6AB1AS

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

Mentions

wikidata: Wikidata Q2662197, differential evolution (concept). Also MathWorld DifferentialEvolution

History

2026-10-26: add by m2/dev

HKEQRQ3CZY HKEQRQ3CZY

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

Mentions

hott_book: hott_book homotopy.tex#proof-8 (proof). In N54F33XE07, proof, section 7.1.5

History

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

Fink , 2007 HKESKFST3C

URI	`m2://inv/HKESKFST3C`
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.21682#P88E, Fink , 2007 (statement)

History

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

Converse of a theorem HKEX3D6363

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

Mentions

wikipedia: Wikipedia Converse (logic)#3NK7, Converse of a theorem (statement)

History

2026-11-02: add by m2/dev

Simultaneous extension - single step HKEZB3GS3P

URI	`m2://inv/HKEZB3GS3P`
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#L2N1, Simultaneous extension - single step (statement). In QBAP8C82FG/e1, proposition 28

History

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

A. B. Venkov HKF4VYY5JC

URI	`m2://inv/HKF4VYY5JC`
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#WU9D, A. B. Venkov (unknown)

History

2026-11-02: add by m2/dev

Vera Sós HKF8MFHZFC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#87QZ, Vera Sós (unknown)

History

2026-11-02: add by m2/dev

HKFHBV9G8R HKFHBV9G8R

URI	`m2://inv/HKFHBV9G8R`
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.24553#513Z (statement)

History

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

Hellenic Mathematical Society HKFP523RN1

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

Mentions

wikipedia: Wikipedia List of mathematical societies#C1NY, Hellenic Mathematical Society (definition)

History

2026-11-02: add by m2/dev

Stationary phase approximation HKFPPB620G

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

Mentions

wikipedia: Wikipedia Stationary phase approximation, Stationary phase approximation (definition). Also Wikidata Q1936897

History

2026-11-02: add by m2/dev

William Guy HKFQA6KE6T

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

Mentions

wikipedia: Wikipedia William Guy, William Guy (topic). Also Wikidata Q370144

History

2026-11-02: add by m2/dev

Definition HKFS6X76ZQ

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

Mentions

wikipedia: Wikipedia Reynolds stress#RC4O, Definition (definition)

History

2026-11-02: add by m2/dev

Ronen Eldan HKFWZZFK1Z

URI	`m2://inv/HKFWZZFK1Z`
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#E3TS, Ronen Eldan (topic)

History

2026-11-02: add by m2/dev

HKFYC2W41N HKFYC2W41N

URI	`m2://inv/HKFYC2W41N`
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.12633#8YHC (statement). In NGZ5AZ70NN/e1, proposition 3.5

History

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

HKG6DMKR78 HKG6DMKR78

URI	`m2://inv/HKG6DMKR78`
Kind	statement
Layer	research
MSC	20-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.10804#FCZD (statement). In 6M5WR7KB80/e1, theorem C

History

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

A finite global-to-local complexity bound HKGBYWBQS5

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

Mentions

arxiv: arXiv 2610.06557#8UG7, A finite global-to-local complexity bound (statement). In VV5CH6Y31D/e1, corollary 4.6

History

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

biophysics HKGCANXX0W

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

Mentions

wikidata: Wikidata Q7100, biophysics (topic)

History

2026-10-26: add by m2/dev

Definition HKGFMXGN5M

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

Mentions

wikipedia: Wikipedia Arboreal Galois representation#S13U, Definition (definition)

History

2026-11-02: add by m2/dev

HKGJ0JV0J9 HKGJ0JV0J9

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

Mentions

arxiv: arXiv 2609.35543#WBCK (statement). In WSG1ZW956E/e1, proposition 2.4

History

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

HKGP6X6M34 HKGP6X6M34

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#defn-8 (definition). In E59CDZA4DP, defn, section 5.6

History

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

HKGTW1841Z HKGTW1841Z

URI	`m2://inv/HKGTW1841Z`
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.22374#ZNXO (statement)

History

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

HKGXG880KC HKGXG880KC

URI	`m2://inv/HKGXG880KC`
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.11271#N3TB (statement). In HF7J38T8Y6/e1, theorem 3.3

History

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

9] Theorem 4.1 HKGYQBG7DF

URI	`m2://inv/HKGYQBG7DF`
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 0809.4587#CT44, 9] Theorem 4.1 (statement). In KQ8JPHDKKE/e1, theorem 9.7.4

History

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

HKH0WVJDZ2 HKH0WVJDZ2

URI	`m2://inv/HKH0WVJDZ2`
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.06206#M5CB (statement). In A7611PTXVQ/e1, theorem 2.1

History

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

HKH41KDAPX HKH41KDAPX

URI	`m2://inv/HKH41KDAPX`
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.07370#ABSS (statement). In Q94QXG67CK/e1, theorem VI.1

History

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

HKHG1RMABM HKHG1RMABM

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

Mentions

arxiv: arXiv 2610.02689#278O (definition). In 7BWXR38MNE/e1, definition 2.2

History

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

Stephen Siklos HKHKNG1Q3T

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

Mentions

wikipedia: Wikipedia Stephen Siklos, Stephen Siklos (topic). Also Wikidata Q102315217

History

2026-11-02: add by m2/dev

HKHN3TVECN HKHN3TVECN

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

Mentions

arxiv: arXiv 1707.06795#NG7L (statement). In 32MMSEVHYN/e1, corollary 2.18

History

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

Bounded moment (weighted HKJ02SC75Z

URI	`m2://inv/HKJ02SC75Z`
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.22338#HX2P, Bounded moment (weighted (statement)

History

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

Forbidding $H_9$ HKJ3V53J0E

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

Mentions

arxiv: arXiv 2609.31331#LUB6, Forbidding $H_9$ (statement). In TWB64HRHWZ/e1, lemma 9

History

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

Joel Lee Brenner HKJ3XM4DY1

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

Mentions

wikipedia: Wikipedia Joel Lee Brenner, Joel Lee Brenner (topic). Also Wikidata Q6213680

History

2026-11-02: add by m2/dev

Stochastic control HKJ53JQZ3M

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

Mentions

wikipedia: Wikipedia List of stochastic processes topics#ETCZ, Stochastic control (definition)

History

2026-11-02: add by m2/dev

Logarithmic exponential sums HKJ6KG1XTM

URI	`m2://inv/HKJ6KG1XTM`
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.22345#NCW4, Logarithmic exponential sums (statement). In 7JATJ4VG9G/e1, corollary 1.2

History

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

Examples HKJ6VHW5R8

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

Mentions

wikipedia: Wikipedia Normalization (statistics)#D7N5, Examples (example)

History

2026-11-02: add by m2/dev

HKJB53KA7E HKJB53KA7E

URI	`m2://inv/HKJB53KA7E`
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 2210.11778#RJH9 (statement). In PPAJZ2JBCE/e1, lemma 3.3

History

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

HKJGTB9CXW HKJGTB9CXW

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

Mentions

arxiv: arXiv 2609.24325#JM1I (statement)

History

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

HKJJZSGAK9 HKJJZSGAK9

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

Mentions

arxiv: arXiv 2610.08837#N6TG (statement). In KBH265QSBT/e1, proposition 5.3

History

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

HKJR3A2XNH HKJR3A2XNH

URI	`m2://inv/HKJR3A2XNH`
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.16731#3B9F (statement). In D68KBZQ4Q6/e1, theorem 2.2

History

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

Applications HKJSCD36RA

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

Mentions

wikipedia: Wikipedia Bitwise operation#RRFZ, Applications (example)

History

2026-11-02: add by m2/dev

HKJW5QZE0V HKJW5QZE0V

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

Mentions

arxiv: arXiv 2609.24845#EVE4 (example)

History

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

Protocol composition logic HKK2AWDHTH

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

Mentions

wikipedia: Wikipedia Protocol composition logic, Protocol composition logic (definition). Also Wikidata Q7251929

History

2026-11-02: add by m2/dev

HKK2SWPRWM HKK2SWPRWM

URI	`m2://inv/HKK2SWPRWM`
Kind	statement
Layer	research
MSC	11-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.13347#Z506 (statement). In Z6QS82DPHE/e1, theorem 2.3

History

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

HKK80KK9Q9 HKK80KK9Q9

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 5.7

History

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

HKKAVY2DYP HKKAVY2DYP

URI	`m2://inv/HKKAVY2DYP`
Kind	problem
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.25167#B28O (problem)

History

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

HKKEMB1WH0 HKKEMB1WH0

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

Mentions

arxiv: arXiv 2609.37520#KSVG (statement). In BDN507RN7J/e1, proposition 2.2.1

History

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

HKKN5MA9GJ HKKN5MA9GJ

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

Mentions

arxiv: arXiv 2610.15593#SVAM (statement). In PREJREM4BB/e1, theorem 4.7

History

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

HKKP43P80D HKKP43P80D

URI	`m2://inv/HKKP43P80D`
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.35204#C5VX (statement). In 8ZZNDYK76B/e1, lemma 2.2

History

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

HKKQZADZH7 HKKQZADZH7

URI	`m2://inv/HKKQZADZH7`
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 2409.03730#ZNWM (statement). In ADEX39KM1T/e1, lemma 4.2

History

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

Induced Markov map HKKWN9RTNX

URI	`m2://inv/HKKWN9RTNX`
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 2411.17227#TCTI, Induced Markov map (statement). In DDNP38CHQJ/e1, proposition 5.15

History

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

Statement HKKXMHCABM

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

Mentions

wikipedia: Wikipedia Second Hardy–Littlewood conjecture#A38J, Statement (statement)

History

2026-11-02: add by m2/dev

Misleading graph HKKZHEW4ZQ

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

Mentions

wikipedia: Wikipedia Misleading graph, Misleading graph (definition). Also Wikidata Q6875830

History

2026-11-02: add by m2/dev

AND HKM8926YPE

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

Mentions

wikipedia: Wikipedia List of rules of inference#949S, AND (definition)

History

2026-11-02: add by m2/dev

Coupled stiffness comparison HKMH2T2CZ3

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

Mentions

arxiv: arXiv 2610.19837#8B7Z, Coupled stiffness comparison (statement). In 837NSWQM1P/e1, proposition 5.1

History

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

HKMREJEQJ3 HKMREJEQJ3

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

Mentions

arxiv: arXiv 2610.16267#3R2N (statement). In 65GKPZ15VH/e1, proposition 4.6

History

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

perpendicularity HKMSC2MA4K

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

Mentions

wikidata: Wikidata Q205034, perpendicularity (unknown). Also EoM Perpendicular, MathWorld Perpendicular
wikipedia: Wikipedia Perpendicular, Perpendicular (definition). Also Wikidata Q205034

History

2026-10-26: add by m2/dev

HKN5PRTW04 HKN5PRTW04

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

History

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

frequency distribution HKN6401KGV

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

Mentions

wikidata: Wikidata Q1627586, frequency distribution (unknown). Also MathWorld FrequencyDistribution

History

2026-10-26: add by m2/dev

Basic properties HKNJ43K6KE

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

Mentions

wikipedia: Wikipedia Semisimple Lie algebra#HCEZ, Basic properties (statement)

History

2026-11-02: add by m2/dev

HKNMV9V03E HKNMV9V03E

URI	`m2://inv/HKNMV9V03E`
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.21475#HCPL (statement). In TTRSZVT4VX/e1, theorem 6.3

History

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

regularity HKNN117ACQ

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#IV42, regularity (definition)

History

2026-11-02: add by m2/dev

2D Gaussian HKNR4MEVR3

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

Mentions

wikipedia: Wikipedia Gaussian function#USZJ, 2D Gaussian (unknown)

History

2026-11-02: add by m2/dev

Maryna Viazovska HKNSNYX2W7

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

Mentions

wikipedia: Wikipedia List of mathematical discoveries by artificial intelligence#NFAU, Maryna Viazovska (topic)

History

2026-11-02: add by m2/dev

Proposition 3.3(b HKNV2F10DN

URI	`m2://inv/HKNV2F10DN`
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 2310.13621#14SU, Proposition 3.3(b (statement). In DG0EZ1BPV5/e1, theorem A.2

History

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

HKNX0KS14K HKNX0KS14K

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

Mentions

arxiv: arXiv 2610.13100#38JC (statement). In CC6S1HVK0T/e1, theorem 10.1

History

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

HKP352JQ0J HKP352JQ0J

URI	`m2://inv/HKP352JQ0J`
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.12329#1E5A (statement). In ZJQB9W60T6/e1, theorem 7.4

History

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

Nonperturbative feature learning, autonomous single-index flows HKP6SQME5C

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

Mentions

arxiv: arXiv 2610.10875#BVEV, Nonperturbative feature learning, autonomous single-index flows (example). In N91F15MHW1/e1, example 4

History

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

HKPF1GMPHT HKPF1GMPHT

URI	`m2://inv/HKPF1GMPHT`
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.24845#VUOQ (statement)

History

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

HKQ010HND7 HKQ010HND7

URI	`m2://inv/HKQ010HND7`
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#PUB2 (statement). In 69DBD2HKGK/e1, corollary 6.3

History

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

HKQ5VHPPPY HKQ5VHPPPY

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

Mentions

hott_book: hott_book categories.tex#proof-1 (proof). In N54F33XE07, proof, section 2.1

History

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

computable function HKQCK38283

URI	`m2://inv/HKQCK38283`
Kind	definition
Layer	textbook
MSC	03-XX
Sources	4
Outcome	open
Node	Computable function KZSB5E471K

Mentions

arxiv: arXiv 2506.08233#7VXM, Computable function (definition). In 2TXXQ2575Y/e1, definition 3.7
mathlib_overview: mathlib_overview Logic and computation > Computability > computable function > in terms of general recursive functions, in terms of general recursive functions (unknown). Also Mathlib Computable
wikidata: Wikidata Q1148456, computable function (definition). Also Mathlib Computable, MathWorld ComputableFunction, nLab computable function, ProofWiki Definition:Effectively_Computable_Function
wikipedia: Wikipedia Computable function, Computable function (definition). Also Wikidata Q1148456

History

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

Intensive and extensive properties HKQCRW98PV

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

Mentions

wikipedia: Wikipedia Intensive and extensive properties, Intensive and extensive properties (definition). Also Wikidata Q911916

History

2026-11-02: add by m2/dev

HKQGEZ5006 HKQGEZ5006

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

Mentions

napkin: napkin tex/calculus/differentiate.tex#proof-4 (proof). In RZP28ERRZV, proof, section 30.3

History

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

HKQX6MF7NE HKQX6MF7NE

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

Mentions

arxiv: arXiv 2609.31249#MF82 (statement). In RAVR2W9S0B/e1, lemma 3.2

History

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

HKQYAP1PJP HKQYAP1PJP

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

Mentions

arxiv: arXiv 2303.09207#HSP7 (statement). In 9DQKY7KGE8/e1, lemma 3.9

History

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

HKR2WX63HF HKR2WX63HF

URI	`m2://inv/HKR2WX63HF`
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.19464#YUP4 (statement). In G8JCZ109A9/e1, theorem 1.3

History

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

HKR399QQ4D HKR399QQ4D

URI	`m2://inv/HKR399QQ4D`
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.09765#WEC5 (statement). In 79JJCQ63R3/e1, theorem 2.2

History

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

Neutral Term Predicate $\textsf{Neu}_i^e$ HKR84B09NA

URI	`m2://inv/HKR84B09NA`
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 2610.21131#OEFB, Neutral Term Predicate $\textsf{Neu}_i^e$ (definition). In CPYWHRTPKC/e1, definition 7.6

History

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

HKR8PG2JSB HKR8PG2JSB

URI	`m2://inv/HKR8PG2JSB`
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.05216#6UG3 (statement). In J1VCHM6V0S/e1, theorem 5.6

History

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

The Unicorn Surgery Lemma\footnote{The construction in the proof of the lemma is inspired by the \emph{unicorn paths} of and \emph{surgery paths} of . HKR8TVFTM0

URI	`m2://inv/HKR8TVFTM0`
Kind	statement
Layer	research
MSC	13-XX, 14-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 2609.38068#CSKL, The Unicorn Surgery Lemma\footnote{The construction in the proof of the lemma is inspired by the \emph{unicorn paths} of and \emph{surgery paths} of . (statement). In 67GE5M1GGD/e1, lemma 6.8

History

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

Riemann zeta function HKRBTMCH9A

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

Mentions

wikipedia: Wikipedia Lists of integrals#1UB6, Riemann zeta function (definition)

History

2026-11-02: add by m2/dev

Multiplication formula HKRFWK6P7E

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

Mentions

wikipedia: Wikipedia Barnes G-function#Z3TA, Multiplication formula (statement)

History

2026-11-02: add by m2/dev

HKRPEM5124 HKRPEM5124

URI	`m2://inv/HKRPEM5124`
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 1303.4328#6EA1 (statement). In HCTYW6VH87/e1, lemma 8.5

History

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

A two-small-zero disk HKRXPWRKXM

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

Mentions

arxiv: arXiv 2609.25027#OPYX, A two-small-zero disk (statement)

History

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

Vieta's formulas HKS1F9455R

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

Mentions

wikipedia: Wikipedia Quadratic equation#L5V1, Vieta's formulas (statement)

History

2026-11-02: add by m2/dev

HKS5FMY47H HKS5FMY47H

URI	`m2://inv/HKS5FMY47H`
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 2609.24374#K68L (statement)

History

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

Visvalingam–Whyatt algorithm HKS8JT5GT1

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

Mentions

wikipedia: Wikipedia Visvalingam–Whyatt algorithm, Visvalingam–Whyatt algorithm (definition). Also Wikidata Q104845351

History

2026-11-02: add by m2/dev

HKSBE83AJK HKSBE83AJK

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

Mentions

arxiv: arXiv 2610.01653#WTWA (statement). In WZMHJCQPB2/e1, lemma 2.5

History

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

HKSBPXZT33 HKSBPXZT33

URI	`m2://inv/HKSBPXZT33`
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.31910#WMN5 (statement). In E4EK1XXPY4/e1, proposition 4.6

History

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

HKSBVZJW3F HKSBVZJW3F

URI	`m2://inv/HKSBVZJW3F`
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.20510#H14N (statement). In 24KCRT4VT2/e1, proposition 2

History

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

Definition HKSJ5T15R9

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

Mentions

wikipedia: Wikipedia Subordinator (mathematics)#DZIE, Definition (definition)

History

2026-11-02: add by m2/dev

Frederick Valentine Atkinson HKSQ3KGH1K

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0T8D, Frederick Valentine Atkinson (topic)

History

2026-11-02: add by m2/dev

HKSTE3VWTP HKSTE3VWTP

URI	`m2://inv/HKSTE3VWTP`
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#H0T2 (statement). In ESDKTYDHC8/e1, corollary 28

History

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

Applications HKSTTH169X

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

Mentions

wikipedia: Wikipedia Dyadic rational#89RX, Applications (example)

History

2026-11-02: add by m2/dev

HKT29W790E HKT29W790E

URI	`m2://inv/HKT29W790E`
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#0CX0 (statement). In K8JMTRS42G/e1, lemma 6.6

History

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

HKT3G7E8DC HKT3G7E8DC

URI	`m2://inv/HKT3G7E8DC`
Kind	statement
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#HN7V (statement). In 9B0X8YPF3P/e1, theorem 5.1

History

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

Tate's theorem HKT83N5SCQ

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

Mentions

wikipedia: Wikipedia Tate cohomology group#JYAQ, Tate's theorem (statement)

History

2026-11-02: add by m2/dev

HKTHK9VKDG HKTHK9VKDG

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

Mentions

arxiv: arXiv 2609.40251#BXYJ (statement). In 9J7TJYKGYX/e1, lemma 2.3

History

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

HKTJBP7MKE HKTJBP7MKE

URI	`m2://inv/HKTJBP7MKE`
Kind	statement
Layer	research
MSC	18-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 2610.10930#FHBB (statement). In HX63A1PH1W/e1, corollary 3.14

History

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

maximal tensor product HKTQA3PGTN

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

Mentions

mathlib_overview: mathlib_overview Geometry > Convex geometry > maximal tensor product, maximal tensor product (unknown). Also Mathlib PointedCone.maxTensorProduct

History

2026-10-26: add by m2/dev

HKTV9D4NT9 HKTV9D4NT9

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

Mentions

arxiv: arXiv 2609.28552#R8MF (definition)

History

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

HKV07C71H7 HKV07C71H7

URI	`m2://inv/HKV07C71H7`
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 2502.09442#FIU0 (statement). In DNT32YYDM4/e1, theorem 3.1

History

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

HKV0F824Y8 HKV0F824Y8

URI	`m2://inv/HKV0F824Y8`
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.17720#E6SX (statement). In QPM0GQYNZ9/e1, theorem 4.2

History

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

HKVDG53FCK HKVDG53FCK

URI	`m2://inv/HKVDG53FCK`
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.14841#OXBH (statement). In 6V5HP8W1ZG/e1, theorem 11

History

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

HKVEDHEJM3 HKVEDHEJM3

URI	`m2://inv/HKVEDHEJM3`
Kind	statement
Layer	research
MSC	18-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 2610.10930#CY5P (statement). In HX63A1PH1W/e1, lemma 8.9

History

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

HKVF3DRY8J HKVF3DRY8J

URI	`m2://inv/HKVF3DRY8J`
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 2610.20909#M38X (statement). In 7ZBX5WVEZP/e1, theorem 4.5

History

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

Sofya Raskhodnikova HKVFXNRAJM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#DP9W, Sofya Raskhodnikova (unknown)

History

2026-11-02: add by m2/dev

Applications HKVHK15AJ1

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

Mentions

wikipedia: Wikipedia Polygonal chain#07WP, Applications (example)

History

2026-11-02: add by m2/dev

Main theorem of elimination theory HKVHQ10XYR

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

Mentions

wikipedia: Wikipedia Main theorem of elimination theory, Main theorem of elimination theory (statement). Also Wikidata Q55643162

History

2026-11-02: add by m2/dev

HKVJYPKDNF HKVJYPKDNF

URI	`m2://inv/HKVJYPKDNF`
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.40345#QF3L (definition). In WK0PT95WW1/e1, definition 4.1

History

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

Smoothing with the Dirichlet boundary condition HKVM8Q509W

URI	`m2://inv/HKVM8Q509W`
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 2610.01615#8R90, Smoothing with the Dirichlet boundary condition (statement). In CJYRXT18TD/e1, proposition 4.2

History

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

HKVWARB944 HKVWARB944

URI	`m2://inv/HKVWARB944`
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#TKG0 (statement). In NJDN112PFS/e1, corollary 3.6

History

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

Fernanda Botelho HKVZ2GPFAG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZNS3, Fernanda Botelho (topic)

History

2026-11-02: add by m2/dev

Gigliola Staffilani HKW1QQWC5V

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#NI1C, Gigliola Staffilani (topic)

History

2026-11-02: add by m2/dev

HKW6AHMFTS HKW6AHMFTS

URI	`m2://inv/HKW6AHMFTS`
Kind	example
Layer	research
MSC	18-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 2610.10930#8O4L (example). In HX63A1PH1W/e1, example 4.14

History

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

W. G. Brown HKWAWKPNYW

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

Mentions

wikipedia: Wikipedia W. G. Brown, W. G. Brown (topic). Also Wikidata Q61764366

History

2026-11-02: add by m2/dev

Ramaiyengar Sridharan HKWBPH2R1A

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#OKLJ, Ramaiyengar Sridharan (topic)

History

2026-11-02: add by m2/dev

Boomerang attack HKWM6QD61R

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

Mentions

wikipedia: Wikipedia Boomerang attack, Boomerang attack (definition). Also Wikidata Q2869899

History

2026-11-02: add by m2/dev

HKWWRRFBH0 HKWWRRFBH0

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

Mentions

arxiv: arXiv 2609.26619#3GN4 (statement)

History

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

Haas and Young HKX806QKKR

URI	`m2://inv/HKX806QKKR`
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.11441#F3UG, Haas and Young (statement). In RNXV4Q58TY/e1, lemma 2.1

History

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

Victor Mazurov HKXDWP4CNM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#NVEK, Victor Mazurov (topic)

History

2026-11-02: add by m2/dev

Example HKXNRV3T8Y

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

Mentions

wikipedia: Wikipedia Bayes estimator#STAF, Example (example)

History

2026-11-02: add by m2/dev

HKXP1A6QDG HKXP1A6QDG

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

Mentions

arxiv: arXiv 2610.16461#L7IY (statement). In XPT71YR4V7/e1, proposition 2.1

History

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

HKXWNBTSSW HKXWNBTSSW

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

Mentions

arxiv: arXiv 2610.01561#BOIE (definition). In W4G7BCHYEW/e1, definition 4.2

History

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

related rates HKXWYXE2D1

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

Mentions

wikipedia: Wikipedia Glossary of calculus#3N2H, related rates (definition)

History

2026-11-02: add by m2/dev

syntomic topology HKXX8F6AX2

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

Mentions

wikidata: Wikidata Q7662807, syntomic topology (unknown). Also nLab syntomic cohomology
wikipedia: Wikipedia Syntomic topology, Syntomic topology (definition). Also Wikidata Q7662807

History

2026-10-26: add by m2/dev

HKXY2B3C3A HKXY2B3C3A

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

Mentions

hott_book: hott_book formal.tex#cor-2 (statement). In N54F33XE07, cor, section 4.4

History

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

Robert Lazarsfeld HKXYSGYJ4Q

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ICGF, Robert Lazarsfeld (topic)

History

2026-11-02: add by m2/dev

Fourier sine and cosine series HKXZ8PPAHG

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

Mentions

wikipedia: Wikipedia Fourier sine and cosine series, Fourier sine and cosine series (definition). Also Wikidata Q5475798

History

2026-11-02: add by m2/dev

HKY5Q37EZV HKY5Q37EZV

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

Mentions

arxiv: arXiv 2609.37606#OJXY (example). In WNFW6GY38C/e1, example 9.7

History

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

Free matroid HKYJJSTF4H

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

Mentions

wikipedia: Wikipedia Free matroid, Free matroid (definition). Also Wikidata Q104868806

History

2026-11-02: add by m2/dev

Lyapunov stability HKZ1AREQ0B

URI	`m2://inv/HKZ1AREQ0B`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Lyapunov stability 092S6VBECQ

Mentions

wikidata: Wikidata Q1341651, Lyapunov stability (concept). Also EoM Lyapunov_stability
wikipedia: Wikipedia Lyapunov stability, Lyapunov stability (definition). Also Wikidata Q1341651

History

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

Andronov–Pontryagin criterion HKZ5ZHCD73

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

Mentions

wikipedia: Wikipedia Andronov–Pontryagin criterion, Andronov–Pontryagin criterion (statement). Also Wikidata Q4759501

History

2026-11-02: add by m2/dev

\textbf{The optimal coverage depth problem HKZ8MG4T5Y

URI	`m2://inv/HKZ8MG4T5Y`
Kind	problem
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.07370#14OG, \textbf{The optimal coverage depth problem (problem). In Q94QXG67CK/e1, problem 1

History

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

HKZA1T7XGS HKZA1T7XGS

URI	`m2://inv/HKZA1T7XGS`
Kind	definition
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.34946#GGFG (definition). In Y27BAB2BB4/e1, definition 1.3

History

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

HKZA8HSSMB HKZA8HSSMB

URI	`m2://inv/HKZA8HSSMB`
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 2401.00191#QH7H (statement). In ZMH2KJDAWJ/e1, theorem 3.7

History

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

HKZCZSZQGG HKZCZSZQGG

URI	`m2://inv/HKZCZSZQGG`
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.20568#HIOY (statement)

History

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

HKZFYKHRHE HKZFYKHRHE

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

Mentions

open_logic: open_logic content/computability/recursive-functions/sequences.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 4.1

History

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

HKZGJG1HBX HKZGJG1HBX

URI	`m2://inv/HKZGJG1HBX`
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 2204.01073#OT18 (statement). In W4TYN4PGE8/e1, lemma 2.12

History

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

Corollary HKZMBSFZSR

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

Mentions

wikipedia: Wikipedia Expander code#5SBN, Corollary (statement)

History

2026-11-02: add by m2/dev

HKZQPQKHS5 HKZQPQKHS5

URI	`m2://inv/HKZQPQKHS5`
Kind	example
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.31289#HDFZ (example). In CPDM7J0CC0/e1, example 5.6

History

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

Invariant manifold HKZRCZGFK5

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

Mentions

arxiv: arXiv 2610.08987#9GMP, Invariant manifold (statement). In 2NRRESN3HR/e1, lemma 5

History

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

logical operator HKZTJMY5S3

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

Mentions

wikipedia: Wikipedia Glossary of logic#BQOF, logical operator (definition)

History

2026-11-02: add by m2/dev

Liouba Bortniker HKZWSAKGHR

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

Mentions

wikipedia: Wikipedia Liouba Bortniker, Liouba Bortniker (topic). Also Wikidata Q51954788

History

2026-11-02: add by m2/dev