Inventory rows HD

HD06M39V57 HD06M39V57

URI	`m2://inv/HD06M39V57`
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 2504.13328#S7S6 (statement). In 736Q32FYCG/e1, corollary 2.12

History

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

Geometric genus HD09N5JGBC

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

Mentions

wikipedia: Wikipedia Geometric genus, Geometric genus (definition). Also Wikidata Q5535484

History

2026-11-02: add by m2/dev

Incomplete burning HD0C7TNEF5

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

Mentions

wikipedia: Wikipedia Combustion#ELR6, Incomplete burning (unknown)

History

2026-11-02: add by m2/dev

HD0D7X4KE1 HD0D7X4KE1

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

Mentions

arxiv: arXiv 2609.32078#O003 (statement). In 5PN85N6EJF/e1, lemma C.4

History

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

HD0NTZG2E8 HD0NTZG2E8

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_gt-trees.ptx#prop-tree-edge-vertex (statement). In Y91XFCEVHQ, proposition, section 5.2.1

History

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

George Pólya HD0TPSDBK4

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#JLTM, George Pólya (unknown)

History

2026-11-02: add by m2/dev

Gyroelongated square cupola HD12YKF7HM

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#7YJG, Gyroelongated square cupola (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#FST1, Gyroelongated square cupola (definition)

History

2026-11-02: add by m2/dev

Zero average drift gives a zero-drift orbit HD19FY10BH

URI	`m2://inv/HD19FY10BH`
Kind	statement
Layer	research
MSC	03-XX, 26-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.12434#DVQ2, Zero average drift gives a zero-drift orbit (statement). In YCRZC9SDCE/e1, lemma 13.2

History

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

Fixed-point bounds for intersecting pairs HD1JJ1CNRR

URI	`m2://inv/HD1JJ1CNRR`
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.33365#ZRI2, Fixed-point bounds for intersecting pairs (statement). In MCXCMR7V0T/e1, theorem 19

History

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

Edmund Schuster HD1MWNGCPJ

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

Mentions

wikipedia: Wikipedia Edmund Schuster, Edmund Schuster (topic). Also Wikidata Q15989592

History

2026-11-02: add by m2/dev

Multiple buffering HD1QC4X85E

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#X6XI, Multiple buffering (unknown)

History

2026-11-02: add by m2/dev

HD1XHK6KD2 HD1XHK6KD2

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

Mentions

napkin: napkin tex/linalg/dual-trace.tex#definition-1 (definition). In RZP28ERRZV, definition, section 57.1

History

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

Milliken, George A. HD21JP815N

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

Mentions

wikipedia: Wikipedia List of statisticians#ZFFL, Milliken, George A. (unknown)

History

2026-11-02: add by m2/dev

HD22E9YQ9Z HD22E9YQ9Z

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

Mentions

arxiv: arXiv 2609.32916#7AFL (definition). In G1RP4JY5PE/e1, definition 5.1.4

History

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

Elliptic algebra HD2APHH41V

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

Mentions

wikipedia: Wikipedia Elliptic algebra, Elliptic algebra (definition). Also Wikidata Q18206783

History

2026-11-02: add by m2/dev

HD2KYAC9TW HD2KYAC9TW

URI	`m2://inv/HD2KYAC9TW`
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.25111#YMNC (statement)

History

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

conflict of interest HD2PYYCWRP

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

Mentions

wikidata: Wikidata Q211067, conflict of interest (definition). Also ProofWiki Definition:Conflict_of_Interest

History

2026-10-26: add by m2/dev

Septenary HD2RW3AH75

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

Mentions

wikipedia: Wikipedia List of numeral system topics#2ZZ8, Septenary (topic)

History

2026-11-02: add by m2/dev

HD2T9SWRJH HD2T9SWRJH

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

Mentions

arxiv: arXiv 2211.01586#JLWA (proof). In P39MF3ZJC0/e1, proof

History

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

Diversity HD2VBPP5HG

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

Mentions

wikipedia: Wikipedia Diversity (mathematics), Diversity (definition). Also Wikidata Q115866891

History

2026-11-02: add by m2/dev

no-classes theory HD337TFFN7

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

Mentions

wikipedia: Wikipedia Glossary of set theory#S8BK, no-classes theory (definition)

History

2026-11-02: add by m2/dev

HD39TTS32R HD39TTS32R

URI	`m2://inv/HD39TTS32R`
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.32946#74YF (statement). In 6AEBXNK614/e1, lemma 4.3

History

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

Kuratowski's and Wagner's theorems HD3BPWHMGY

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

Mentions

wikipedia: Wikipedia Planar graph#81ST, Kuratowski's and Wagner's theorems (statement)

History

2026-11-02: add by m2/dev

HD3D7BK6B1 HD3D7BK6B1

URI	`m2://inv/HD3D7BK6B1`
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.00379#E8A7 (statement). In BTSCWAGACB/e1, lemma 8

History

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

Julian Sochocki HD3FHQ6DCG

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

Mentions

wikipedia: Wikipedia Julian Sochocki, Julian Sochocki (topic). Also Wikidata Q2604093

History

2026-11-02: add by m2/dev

HD3FWX9MKR HD3FWX9MKR

URI	`m2://inv/HD3FWX9MKR`
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.06381#P3CY (statement). In X9JKBDHACW/e1, theorem 7.2

History

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

deduction HD3QCKKNBP

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

Mentions

wikipedia: Wikipedia Glossary of logic#C15E, deduction (definition)

History

2026-11-02: add by m2/dev

HD3QP9MK4S HD3QP9MK4S

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 5.10

History

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

Boethius HD42QAAXE0

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#TWBE, Boethius (topic)

History

2026-11-02: add by m2/dev

Comparison to Chebyshev's inequality HD45818G3C

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

Mentions

wikipedia: Wikipedia Samuelson's inequality#75GG, Comparison to Chebyshev's inequality (statement)

History

2026-11-02: add by m2/dev

Hypothesis-testing (falsification) explanation (Wason) HD4DTCDDS0

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

Mentions

wikipedia: Wikipedia Confirmation bias#07M6, Hypothesis-testing (falsification) explanation (Wason) (statement)

History

2026-11-02: add by m2/dev

\textbf{Approximate Global Minimization from Data HD4FE5DZ8F

URI	`m2://inv/HD4FE5DZ8F`
Kind	problem
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.02791#QDQR, \textbf{Approximate Global Minimization from Data (problem). In TT9BA4VMTW/e1, problem A.2

History

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

Glennie's identity HD4G90HQZD

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

Mentions

wikipedia: Wikipedia Glennie's identity, Glennie's identity (statement). Also Wikidata Q5569209

History

2026-11-02: add by m2/dev

Theorem (d not given) HD4JNER1GA

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

Mentions

wikipedia: Wikipedia Cayley–Menger determinant#1S3E, Theorem (d not given) (statement)

History

2026-11-02: add by m2/dev

Pumping lemma for context-free languages HD51AKDQXJ

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

Mentions

wikipedia: Wikipedia Pumping lemma for context-free languages, Pumping lemma for context-free languages (statement). Also Wikidata Q2596624

History

2026-11-02: add by m2/dev

HD54RKR83Z HD54RKR83Z

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

History

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

HD58861JMB HD58861JMB

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

Mentions

active_calculus: active_calculus source/sec-7-4-separable.xml#Ex-7-4-1 (example). In 907G4C4EJ1, example, section 7.4.2

History

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

formally HD5AJCTCM1

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#0EN1, formally (definition)

History

2026-11-02: add by m2/dev

HD5NS87RDP HD5NS87RDP

URI	`m2://inv/HD5NS87RDP`
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.32903#TJG2 (statement). In S8NB83KQX3/e1, theorem 4

History

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

Three-saddle interference and infinite transients HD5PJV81JT

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

Mentions

arxiv: arXiv 2610.09602#N8TN, Three-saddle interference and infinite transients (statement). In 4AQ48WSBDQ/e1, theorem 6.4

History

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

Formulation HD5VD8JX15

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

Mentions

wikipedia: Wikipedia Erdős–Straus conjecture#WG2T, Formulation (definition)

History

2026-11-02: add by m2/dev

HD60T929QA HD60T929QA

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

Mentions

arxiv: arXiv 2609.25353#RUXL (statement)

History

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

BBD decomposition HD61MFCEVE

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

Mentions

wikipedia: Wikipedia Decomposition theorem of Beilinson, Bernstein and Deligne#0RL1, BBD decomposition (unknown)

History

2026-11-02: add by m2/dev

augmented pentagonal prism HD678AEMP6

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

Mentions

wikidata: Wikidata Q327700, augmented pentagonal prism (object). Also MathWorld AugmentedPentagonalPrism
wikipedia: Wikipedia Augmented pentagonal prism, Augmented pentagonal prism (definition). Also Wikidata Q327700

History

2026-10-26: add by m2/dev

HD698QN5CC HD698QN5CC

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

Mentions

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

History

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

HD6A42D3R2 HD6A42D3R2

URI	`m2://inv/HD6A42D3R2`
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.26813#2IOP (statement)

History

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

Émile Baudot HD6AZ90FJY

URI	`m2://inv/HD6AZ90FJY`
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 Q550192, Émile Baudot (unknown). Also ProofWiki Mathematician:Émile_Baudot

History

2026-10-26: add by m2/dev

HD6CFVJV4Q HD6CFVJV4Q

URI	`m2://inv/HD6CFVJV4Q`
Kind	definition
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#KQK3 (definition). In VJTRH1S4JA/e1, definition 4.26

History

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

HD6KE85BZS HD6KE85BZS

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

Mentions

arxiv: arXiv 2610.13629#3266 (statement). In PQNYA0C510/e1, proposition 2.9

History

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

HD6TB70MYW HD6TB70MYW

URI	`m2://inv/HD6TB70MYW`
Kind	statement
Layer	research
MSC	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 2609.25188#MXLS (statement)

History

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

Construction of a complete measure HD6XYM5ZVP

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

Mentions

wikipedia: Wikipedia Complete measure#LDMI, Construction of a complete measure (definition)

History

2026-11-02: add by m2/dev

HD70BXPDA1 HD70BXPDA1

URI	`m2://inv/HD70BXPDA1`
Kind	statement
Layer	research
MSC	37-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.27125#EZL5 (statement)

History

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

HD723CGM0S HD723CGM0S

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

Mentions

napkin: napkin tex/quantum/shor.tex#example-1 (example). In RZP28ERRZV, example, section 76.1

History

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

Definition HD77XTSZCW

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

Mentions

wikipedia: Wikipedia Radon–Riesz property#X7F1, Definition (definition)

History

2026-11-02: add by m2/dev

Dispersed family, canonical sharing, tuned modulus HD7DBC1065

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

Mentions

arxiv: arXiv 2609.37368#M52F, Dispersed family, canonical sharing, tuned modulus (definition). In FRMCKEGVJZ/e1, definition 2

History

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

Shuxing Chen HD7HRXJGN3

URI	`m2://inv/HD7HRXJGN3`
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#UG8I, Shuxing Chen (unknown)

History

2026-11-02: add by m2/dev

HD7JPPE7H7 HD7JPPE7H7

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-190 (exercise). In VNMV985MXX, exercise, section 3.3

History

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

Axis-aligned bounding box HD7RE19Q6R

URI	`m2://inv/HD7RE19Q6R`
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#1JFR, Axis-aligned bounding box (definition)

History

2026-11-02: add by m2/dev

Type-level programming HD7X6PM9CS

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

Mentions

wikipedia: Wikipedia Dependent type#XQ9G, Type-level programming (unknown)

History

2026-11-02: add by m2/dev

Formal definition HD81KPA5VJ

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

Mentions

wikipedia: Wikipedia Almost complex manifold#3JMM, Formal definition (definition)

History

2026-11-02: add by m2/dev

HD821CEZ1K HD821CEZ1K

URI	`m2://inv/HD821CEZ1K`
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 2609.38556#O1P4 (definition). In GC2H0HS7ZM/e1, definition 3.2

History

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

HD87JDTZZM HD87JDTZZM

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

History

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

Jarkko Kari HD8CDK9F22

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

Mentions

wikipedia: Wikipedia Jarkko Kari, Jarkko Kari (topic). Also Wikidata Q6160278

History

2026-11-02: add by m2/dev

HD8EVXDJ2E HD8EVXDJ2E

URI	`m2://inv/HD8EVXDJ2E`
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.18992#MRP8 (statement). In S7PNTM0GZC/e1, theorem 1.21

History

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

HD8F6F933V HD8F6F933V

URI	`m2://inv/HD8F6F933V`
Kind	statement
Layer	research
MSC	16-XX, 18-XX, 55-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.30262#EU33 (statement). In FWA5QW6FCF/e1, proposition 4.2

History

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

Gromov's theorem on groups of polynomial growth HD8HH1R2V1

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

Mentions

wikipedia: Wikipedia List of theorems#ADBX, Gromov's theorem on groups of polynomial growth (statement)

History

2026-11-02: add by m2/dev

HD8NHKYAGD HD8NHKYAGD

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

Mentions

arxiv: arXiv 2610.21017#GQ7H (statement). In 8KKYZ4NKT2/e1, theorem 36

History

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

Qriously HD8QX6PMVG

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

Mentions

wikipedia: Wikipedia List of polling organizations#I69T, Qriously (unknown)

History

2026-11-02: add by m2/dev

HD8ZF31ZJT HD8ZF31ZJT

URI	`m2://inv/HD8ZF31ZJT`
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.10968#JGE0 (statement). In KJRV9ZW833/e1, theorem 1.3

History

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

Conditional and final KL-divergence HD9C1MEFFK

URI	`m2://inv/HD9C1MEFFK`
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.14615#8O5J, Conditional and final KL-divergence (statement). In 7D5MMP8XB5/e1, lemma 5.9

History

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

Alan Turing Year HD9E4FY991

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

Mentions

wikipedia: Wikipedia List of things named after Alan Turing#RSS8, Alan Turing Year (unknown)

History

2026-11-02: add by m2/dev

Linear speedup theorem HD9EV40AN0

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

Mentions

wikipedia: Wikipedia List of theorems#IY0S, Linear speedup theorem (statement)

History

2026-11-02: add by m2/dev

HD9XEVQMK0 HD9XEVQMK0

URI	`m2://inv/HD9XEVQMK0`
Kind	definition
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.01915#FNY6 (definition). In 6HJQXZS0A6/e1, definition 5.1

History

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

Kappa–mechanism HD9YY2NRSB

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

Mentions

wikipedia: Wikipedia Kappa–mechanism, Kappa–mechanism (definition). Also Wikidata Q125993

History

2026-11-02: add by m2/dev

HD9ZGFFVYS HD9ZGFFVYS

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

Mentions

arxiv: arXiv 2412.20001#0G2U (definition). In Y6YJSB93C3/e1, definition 2

History

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

HD9ZH4PBRF HD9ZH4PBRF

URI	`m2://inv/HD9ZH4PBRF`
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.21724#NZVA (statement). In EDDJCSBMXN/e1, proposition 3.2

History

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

Uses HDA4MSBHM6

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

Mentions

wikipedia: Wikipedia Thought experiment#QWRM, Uses (example)

History

2026-11-02: add by m2/dev

Jump-and-Walk algorithm HDAA63WKPA

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

Mentions

wikipedia: Wikipedia Jump-and-Walk algorithm, Jump-and-Walk algorithm (definition). Also Wikidata Q6311028

History

2026-11-02: add by m2/dev

HDAHJAWFDT HDAHJAWFDT

URI	`m2://inv/HDAHJAWFDT`
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 2609.21692#GKJ4 (definition)

History

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

HDAJZ16S7Q HDAJZ16S7Q

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

Mentions

wikipedia: Wikipedia Symmetric cone#ODG4 (definition)

History

2026-11-02: add by m2/dev

HDAS600J7Q HDAS600J7Q

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

Mentions

arxiv: arXiv 2610.21033#RHF6 (statement). In A8C1M9BSWH/e1, theorem 3.3

History

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

HDAWJVQXQ5 HDAWJVQXQ5

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

Mentions

austin_ula: austin_ula src/section4-3.xml#prop-diagonalizable (statement). In 649HGZKE96, proposition, section 4.3.2

History

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

HDAYHAZKV8 HDAYHAZKV8

URI	`m2://inv/HDAYHAZKV8`
Kind	definition
Layer	research
MSC	37-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.20131#HY2J (definition). In 29D4TTE3J2/e1, definition 8.1

History

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

Bounded color certificate HDB03WEQRM

URI	`m2://inv/HDB03WEQRM`
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.37208#Y7WF, Bounded color certificate (statement). In 7MCBCP4T0B/e1, lemma 4.5

History

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

HDB4NSVYNJ HDB4NSVYNJ

URI	`m2://inv/HDB4NSVYNJ`
Kind	definition
Layer	research
MSC	13-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.10925#98UU (definition). In 9604WYX0BW/e1, definition 3.2

History

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

HDB71ST0Z4 HDB71ST0Z4

URI	`m2://inv/HDB71ST0Z4`
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.18673#KQA2 (statement). In 7ZFD9XRKA1/e1, proposition 4.7

History

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

HDB764NAGD HDB764NAGD

URI	`m2://inv/HDB764NAGD`
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.08091#JIVP (example). In MS13WE3CSD/e1, example 2.1

History

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

HDB7T8JFSF HDB7T8JFSF

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

Mentions

arxiv: arXiv 2610.04434#UBT7 (statement). In EY0QS456EC/e1, lemma 5.1

History

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

HDBC14SDK1 HDBC14SDK1

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

Mentions

arxiv: arXiv 2609.21972#JQW7 (statement)

History

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

Abstract structuralism HDBD916P0R

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

Mentions

wikipedia: Wikipedia Structuralism (philosophy of mathematics)#QMYG, Abstract structuralism (unknown)

History

2026-11-02: add by m2/dev

José Enrique Moyal HDC3XGE57V

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#RT8D, José Enrique Moyal (unknown)

History

2026-11-02: add by m2/dev

Examples HDCBYD5ZV3

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

Mentions

wikipedia: Wikipedia Griffiths inequality#P4CA, Examples (example)

History

2026-11-02: add by m2/dev

HDCCMJTP14 HDCCMJTP14

URI	`m2://inv/HDCCMJTP14`
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.28357#UGXC (statement)

History

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

Multivariate gamma function HDCENGNZH2

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

Mentions

wikipedia: Wikipedia List of mathematical functions#09QJ, Multivariate gamma function (definition)

History

2026-11-02: add by m2/dev

dense HDCJR29J9X

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

Mentions

hott_book: hott_book index/B.2.1/dense, dense (concept). In N54F33XE07, index, section B.2.1

History

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

Arthur Schopenhauer HDCTMPQ69R

URI	`m2://inv/HDCTMPQ69R`
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 Q38193, Arthur Schopenhauer (unknown). Also nLab Arthur Schopenhauer
wikipedia: Wikipedia Arthur Schopenhauer, Arthur Schopenhauer (topic). Also Wikidata Q38193

History

2026-10-26: add by m2/dev

Multivariate stable distribution HDCTPK6BBH

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

Mentions

wikipedia: Wikipedia List of statistics articles#G35M, Multivariate stable distribution (definition)

History

2026-11-02: add by m2/dev

2πr HDCZQMWXX5

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

Mentions

wikipedia: Wikipedia Circumference#S4LL, 2πr (unknown)

History

2026-11-02: add by m2/dev

HDD37NT2V2 HDD37NT2V2

URI	`m2://inv/HDD37NT2V2`
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.13076#Y57Z (statement). In K7GJA4WGV7/e1, proposition 2.1

History

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

HDD3YSKFWE HDD3YSKFWE

URI	`m2://inv/HDD3YSKFWE`
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 2609.29537#9936 (statement)

History

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

Period HDD6TRY501

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

Mentions

wikipedia: Wikipedia List of types of numbers#13ZT, Period (definition)

History

2026-11-02: add by m2/dev

Landau–Kolmogorov inequality HDDCP5K5SS

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

Mentions

wikipedia: Wikipedia List of inequalities#CXJW, Landau–Kolmogorov inequality (statement)

History

2026-11-02: add by m2/dev

HDDHEFCYVD HDDHEFCYVD

URI	`m2://inv/HDDHEFCYVD`
Kind	statement
Layer	research
MSC	05-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.10559#EHF3 (statement). In WEP0PNJW09/e1, lemma 2.1

History

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

HDE11AS1MA HDE11AS1MA

URI	`m2://inv/HDE11AS1MA`
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.20881#YBTG (statement)

History

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

HDE89V8NC2 HDE89V8NC2

URI	`m2://inv/HDE89V8NC2`
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 2608.24424#PAWD (definition). In RQHGZ4AA5T/e1, definition 2.4

History

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

Short-word lifting HDEBEH0PVF

URI	`m2://inv/HDEBEH0PVF`
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.01329#WNM2, Short-word lifting (statement). In 7XEVYJKJ5C/e1, theorem 6.3

History

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

decametre HDEF4DXK02

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

Mentions

wikidata: Wikidata Q848856, decametre (definition). Also ProofWiki Definition:Dekametre

History

2026-10-26: add by m2/dev

HDEG5K24JT HDEG5K24JT

URI	`m2://inv/HDEG5K24JT`
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 2501.17009#24GK (statement). In PESAKD6SSW/e1, corollary 5.25

History

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

Kakwani index HDEGV72JGF

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

Mentions

wikipedia: Wikipedia Kakwani index, Kakwani index (definition). Also Wikidata Q1721904

History

2026-11-02: add by m2/dev

truncation bound HDEP7D3BZK

URI	`m2://inv/HDEP7D3BZK`
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.09298#FRW0, truncation bound (statement). In 1SPQ4J3AWY/e1, proposition 3.2

History

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

Example HDEZ165ZPQ

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

Mentions

wikipedia: Wikipedia Expression problem#6FRG, Example (example)

History

2026-11-02: add by m2/dev

Definition HDF6129DED

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

Mentions

wikipedia: Wikipedia Absolute continuity#WRRN, Definition (definition)

History

2026-11-02: add by m2/dev

HDFH3N7AFG HDFH3N7AFG

URI	`m2://inv/HDFH3N7AFG`
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.27152#DA67 (statement)

History

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

HDFK1AM8QK HDFK1AM8QK

URI	`m2://inv/HDFK1AM8QK`
Kind	statement
Layer	research
MSC	05-XX, 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.20522#0G95 (statement)

History

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

vector potential HDFKS7RZ0N

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

Mentions

wikidata: Wikidata Q521126, vector potential (unknown). Also MathWorld VectorPotential
wikipedia: Wikipedia Vector potential, Vector potential (definition). Also Wikidata Q521126

History

2026-10-26: add by m2/dev

HDFQ4HWG5F HDFQ4HWG5F

URI	`m2://inv/HDFQ4HWG5F`
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.10107#F6O3 (statement). In ZHNJ8MSXHW/e1, corollary 3.3

History

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

HDFXV238VQ HDFXV238VQ

URI	`m2://inv/HDFXV238VQ`
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.20894#DCBE (statement)

History

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

HDFZ1W19BM HDFZ1W19BM

URI	`m2://inv/HDFZ1W19BM`
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.10928#XE10 (statement). In 8M7BFVQYMM/e1, lemma 2.2

History

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

colocalization HDGRJ6XT87

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

Mentions

wikidata: Wikidata Q5147828, colocalization (unknown). Also nLab colocalization

History

2026-10-26: add by m2/dev

HDH1C3JBHY HDH1C3JBHY

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

Mentions

arxiv: arXiv 2610.02407#CG6K (statement). In ZZER8ZBSCR/e1, theorem 3.17

History

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

Examples HDH353QR0P

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

Mentions

wikipedia: Wikipedia P-group#GYXB, Examples (example)

History

2026-11-02: add by m2/dev

HDH8HMS3JK HDH8HMS3JK

URI	`m2://inv/HDH8HMS3JK`
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 2510.02019#S8PH (statement). In PD607VXPY3/e1, proposition 20

History

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

Pareto optimality HDHFNHSC11

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

Mentions

wikipedia: Wikipedia List of paradoxes#066O, Pareto optimality (definition)

History

2026-11-02: add by m2/dev

orthopole HDHG5WR57K

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

Mentions

wikidata: Wikidata Q30592835, orthopole (unknown). Also MathWorld Orthopole
wikipedia: Wikipedia Orthopole, Orthopole (definition). Also Wikidata Q30592835

History

2026-10-26: add by m2/dev

HDHH1AWKRK HDHH1AWKRK

URI	`m2://inv/HDHH1AWKRK`
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 2601.01000#MV8G (definition). In RYFV9HGWWZ/e1, definition 48

History

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

Parallel edges HDHSW1TE1N

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

Mentions

arxiv: arXiv 2610.01240#TC7E, Parallel edges (definition). In XD5HCP8DHF/e1, definition 6

History

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

Melody Goodman HDHT54QNQJ

URI	`m2://inv/HDHT54QNQJ`
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#1R3D, Melody Goodman (topic)

History

2026-11-02: add by m2/dev

Framing congruence for an $n$-cycle HDHV21BZV1

URI	`m2://inv/HDHV21BZV1`
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.18618#0PKJ, Framing congruence for an $n$-cycle (statement). In C8VC86B6H8/e1, lemma 5.3

History

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

functor category HDJ2AZ2PJQ

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

Mentions

wikipedia: Wikipedia Glossary of category theory#QLI1, functor category (definition)

History

2026-11-02: add by m2/dev

Tamal Dey HDJ4TYS1HX

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GPCT, Tamal Dey (topic)

History

2026-11-02: add by m2/dev

HDJ5CQM4M1 HDJ5CQM4M1

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#defn-8 (definition). In E59CDZA4DP, defn, section 10.4

History

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

Well-known lemmas HDJJ7SFVFV

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

Mentions

wikipedia: Wikipedia Lemma (mathematics)#JT6J, Well-known lemmas (statement)

History

2026-11-02: add by m2/dev

Order-6 hexagonal tiling HDJJD79HMC

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

Mentions

wikipedia: Wikipedia Order-6 hexagonal tiling, Order-6 hexagonal tiling (object). Also Wikidata Q7100403

History

2026-11-02: add by m2/dev

Augustin Banyaga HDJRPKDZD0

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

Mentions

wikipedia: Wikipedia Augustin Banyaga, Augustin Banyaga (topic). Also Wikidata Q781127

History

2026-11-02: add by m2/dev

HDJS18FGYX HDJS18FGYX

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

Mentions

arxiv: arXiv 2609.27886#PLYW (statement)

History

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

HDJWVYARHB HDJWVYARHB

URI	`m2://inv/HDJWVYARHB`
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.26386#1C0O (statement)

History

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

Harmonic signal HDJZWRDA2K

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

Mentions

arxiv: arXiv 2609.25431#90VI, Harmonic signal (definition)

History

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

HDK0C652JT HDK0C652JT

URI	`m2://inv/HDK0C652JT`
Kind	statement
Layer	research
MSC	53-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 2005.03073#Z304 (statement). In P2ETMXKVDS/e1, corollary 5.5

History

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

HDK3YW4G69 HDK3YW4G69

URI	`m2://inv/HDK3YW4G69`
Kind	statement
Layer	research
MSC	49-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 2610.01411#613C (statement). In SD28S3K7BT/e1, theorem 24

History

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

HDK5SX5KGP HDK5SX5KGP

URI	`m2://inv/HDK5SX5KGP`
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#U0V8 (statement). In V5WGBGKYXN/e1, proposition 2.8

History

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

HDK60CF63D HDK60CF63D

URI	`m2://inv/HDK60CF63D`
Kind	definition
Layer	research
MSC	14-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.36884#N28F (definition). In Z7E16PFFCP/e1, definition 5.9

History

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

HDK6ESEH01 HDK6ESEH01

URI	`m2://inv/HDK6ESEH01`
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.14562#QV8N (statement). In G4XMZ452QE/e1, lemma 4.4

History

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

Seiberg–Witten invariant HDK8RSTD0N

URI	`m2://inv/HDK8RSTD0N`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Seiberg–Witten invariants PRDDMSTR4X

Mentions

wikidata: Wikidata Q7446569, Seiberg–Witten invariant (unknown). Also MathWorld WittensEquations
wikipedia: Wikipedia Seiberg–Witten invariants, Seiberg–Witten invariants (definition). Also Wikidata Q7446569

History

2026-10-26: add by m2/dev

HDK91WAC4T HDK91WAC4T

URI	`m2://inv/HDK91WAC4T`
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.17325#PSIC (statement). In SE16BAED46/e1, corollary 4

History

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

HDK9EPDAFC HDK9EPDAFC

URI	`m2://inv/HDK9EPDAFC`
Kind	example
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 2406.01036#45HT (example). In 6VX2G6RTH7/e1, example 2.3

History

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

Harold Hotelling HDKPNF46TP

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#S9CF, Harold Hotelling (topic)

History

2026-11-02: add by m2/dev

ind-limit HDKSVVQPT4

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

Mentions

wikipedia: Wikipedia Glossary of category theory#40JI, ind-limit (definition)

History

2026-11-02: add by m2/dev

pullback of the basis functions HDKY1F9X35

URI	`m2://inv/HDKY1F9X35`
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.39511#JSCV, pullback of the basis functions (statement). In 6W9H24A378/e1, theorem 6

History

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

Dénes Kőnig HDM7H6PNS2

URI	`m2://inv/HDM7H6PNS2`
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#42JL, Dénes Kőnig (topic)

History

2026-11-02: add by m2/dev

HDME2V8S81 HDME2V8S81

URI	`m2://inv/HDME2V8S81`
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#VW2F (statement). In CC6S1HVK0T/e1, proposition 5.11

History

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

HDMJVNW436 HDMJVNW436

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

Mentions

arxiv: arXiv 2610.18358#WZWE (statement). In SPZ446XNDW/e1, lemma 6.2

History

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

Definition HDMKBGC2MB

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

Mentions

wikipedia: Wikipedia Dual wavelet#3JTS, Definition (definition)

History

2026-11-02: add by m2/dev

HDMN90FTVH HDMN90FTVH

URI	`m2://inv/HDMN90FTVH`
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.33766#HTPT (statement). In VGKK4M68EK/e1, proposition 1.1

History

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

Cheeger inequality HDMNNW78FQ

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

Mentions

wikipedia: Wikipedia Spectral graph theory#VL66, Cheeger inequality (statement)

History

2026-11-02: add by m2/dev

Variants HDMPHQQ2XB

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

Mentions

wikipedia: Wikipedia CUSUM#F5XT, Variants (statement)

History

2026-11-02: add by m2/dev

Type-$AA$ identity bimodule HDMT28VW54

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

Mentions

arxiv: arXiv 2610.09201#P27A, Type-$AA$ identity bimodule (definition). In JQFPH09JG8/e1, definition 5.5

History

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

HDMY81ZN5T HDMY81ZN5T

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

Mentions

applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_euler-phi.ptx#example-2 (example). In QKM9DD2H56, example, section 7.5

History

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

Galileo's telescopes HDN7AWBCTQ

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

Mentions

wikipedia: Wikipedia Galileo Galilei#UFR7, Galileo's telescopes (unknown)

History

2026-11-02: add by m2/dev

Definition HDN7TX5K1D

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

Mentions

wikipedia: Wikipedia Kuranishi structure#7IFV, Definition (definition)

History

2026-11-02: add by m2/dev

Chiral anomaly HDNJJMSZDE

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#NDDI, Chiral anomaly (definition)

History

2026-11-02: add by m2/dev

Constructions HDNP5KG627

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

Mentions

wikipedia: Wikipedia Topological manifold#7UPL, Constructions (definition)

History

2026-11-02: add by m2/dev

0,000 000 000 000 000 000 000 001 HDNXVCHTAM

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

Mentions

wikipedia: Wikipedia Orders of magnitude (numbers)#1H75, 0,000 000 000 000 000 000 000 001 (unknown)

History

2026-11-02: add by m2/dev

HDNZ8CPKQV HDNZ8CPKQV

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#proof-3 (proof). In E59CDZA4DP, proof, section 2.1.3

History

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

HDP6JJSEWC HDP6JJSEWC

URI	`m2://inv/HDP6JJSEWC`
Kind	statement
Layer	research
MSC	14-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 1802.02910#EM04 (statement). In AY2MA29921/e1, theorem B

History

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

Properties HDPENA41GP

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

Mentions

wikipedia: Wikipedia Differential operator#KBGQ, Properties (statement)

History

2026-11-02: add by m2/dev

HDPRJFPW46 HDPRJFPW46

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

Mentions

arxiv: arXiv 2609.33263#X5EL (statement). In 6S5EH3388Z/e1, lemma 3.6

History

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

330 (number) HDPX5QR3HE

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

Mentions

wikipedia: Wikipedia 300 (number)#XNM3, 330 (number) (unknown)

History

2026-11-02: add by m2/dev

marginal distribution HDPX8THA71

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#6CIA, marginal distribution (definition)

History

2026-11-02: add by m2/dev

HDQ565CHHZ HDQ565CHHZ

URI	`m2://inv/HDQ565CHHZ`
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.39505#7MLS (statement). In WAXS6FS388/e1, theorem I

History

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

HDQ9CCWPY8 HDQ9CCWPY8

URI	`m2://inv/HDQ9CCWPY8`
Kind	definition
Layer	research
MSC	05-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.20678#PZ3I (definition)

History

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

positive-definite function HDQD69KKH2

URI	`m2://inv/HDQD69KKH2`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Positive-definite function F73VWGF637

Mentions

wikidata: Wikidata Q2293170, positive-definite function (unknown). Also MathWorld PositiveDefiniteFunction
wikipedia: Wikipedia Positive-definite function, Positive-definite function (definition). Also Wikidata Q2293170

History

2026-10-26: add by m2/dev

Lemmas HDQW5ZNQ98

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

Mentions

wikipedia: Wikipedia Container method#M0BG, Lemmas (statement)

History

2026-11-02: add by m2/dev

HDQYH0R75Y HDQYH0R75Y

URI	`m2://inv/HDQYH0R75Y`
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.35691#SU3R (statement). In G7R61RPWE2/e1, lemma A.2

History

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

HDR0HHH85P HDR0HHH85P

URI	`m2://inv/HDR0HHH85P`
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 2601.18223#2TQK (statement). In ZRXE7EJA93/e1, lemma 3.2

History

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

HDR2D2HF39 HDR2D2HF39

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

Mentions

arxiv: arXiv 2610.18219#ZHPU (statement). In X1AGBB90EH/e1, lemma 2.7

History

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

Open cover HDREFREA69

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

Mentions

wikipedia: Wikipedia Glossary of general topology#SV0I, Open cover (definition)

History

2026-11-02: add by m2/dev

HDRFG7FM3G HDRFG7FM3G

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

Mentions

austin_ula: austin_ula src/section3-1.xml#activity-1 (exercise). In 649HGZKE96, activity, section 3.1.2

History

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

Definitions HDRGDXSY6V

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

Mentions

wikipedia: Wikipedia Gibbs free energy#JT22, Definitions (definition)

History

2026-11-02: add by m2/dev

Examples HDRJ4H9GXQ

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

Mentions

wikipedia: Wikipedia Integrally closed domain#ZJFI, Examples (example)

History

2026-11-02: add by m2/dev

Victor Pan HDRJQH1E8D

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

Mentions

wikipedia: Wikipedia Victor Pan, Victor Pan (topic). Also Wikidata Q7926225

History

2026-11-02: add by m2/dev

Cross-correlation matrix HDRPRXJ0MD

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

Mentions

wikipedia: Wikipedia Cross-correlation matrix, Cross-correlation matrix (definition). Also Wikidata Q65122090

History

2026-11-02: add by m2/dev

HDRRN1H4R3 HDRRN1H4R3

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

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 35.1

History

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

Factoring $6$ in the integers of $\QQ(\sqrt{-5})$ HDS0J760MW

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

Mentions

napkin: napkin tex/alg-NT/dedekind.tex#example-3, Factoring $6$ in the integers of $\QQ(\sqrt{-5})$ (example). In RZP28ERRZV, example, section 10.5

History

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

HDS2YS1CZR HDS2YS1CZR

URI	`m2://inv/HDS2YS1CZR`
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.05320#V11C (statement). In MVXZWHKEX8/e1, lemma 8.6

History

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

Baer–Specker group HDS7K504RN

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

Mentions

wikipedia: Wikipedia Baer–Specker group, Baer–Specker group (definition). Also Wikidata Q4841300

History

2026-11-02: add by m2/dev

HDSETTYXAJ HDSETTYXAJ

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

Mentions

napkin: napkin tex/calculus/taylor.tex#example-1 (example). In RZP28ERRZV, example, section 34.2

History

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

Conley–Zehnder theorem HDSG27GA87

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

Mentions

wikipedia: Wikipedia List of theorems#MQ4T, Conley–Zehnder theorem (statement)

History

2026-11-02: add by m2/dev

HDSM3M41CE HDSM3M41CE

URI	`m2://inv/HDSM3M41CE`
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.01599#GAVM (statement). In K2KYNCWER3/e1, theorem 3

History

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

HDSMY02YRS HDSMY02YRS

URI	`m2://inv/HDSMY02YRS`
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.10107#NIJD (statement). In ZHNJ8MSXHW/e1, corollary 4.3

History

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

Leonid Polterovich HDSTME9BCQ

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#4CQ5, Leonid Polterovich (topic)

History

2026-11-02: add by m2/dev

Jacobi transform HDT9JZF3HA

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

Mentions

wikipedia: Wikipedia Jacobi transform, Jacobi transform (definition). Also Wikidata Q30694287

History

2026-11-02: add by m2/dev

HDTBKMVQRP HDTBKMVQRP

URI	`m2://inv/HDTBKMVQRP`
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.14582#JSEB (statement). In 6XP6PD2XZA/e1, theorem 5.1

History

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

Applications HDTFPRDGZY

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

Mentions

wikipedia: Wikipedia Graph coloring#JMFX, Applications (example)

History

2026-11-02: add by m2/dev

Ludwig Otto Hesse HDTMB2MHXT

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

Mentions

wikipedia: Wikipedia List of geometers#0JLN, Ludwig Otto Hesse (topic)

History

2026-11-02: add by m2/dev

HDTRRAR4WT HDTRRAR4WT

URI	`m2://inv/HDTRRAR4WT`
Kind	statement
Layer	research
MSC	35-XX, 46-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.05391#ZPLA (statement). In 9B5TNEBJHV/e1, lemma 2.25

History

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

Onsager reciprocal relations HDTTV11W35

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

Mentions

wikipedia: Wikipedia Onsager reciprocal relations, Onsager reciprocal relations (definition). Also Wikidata Q901483

History

2026-11-02: add by m2/dev

Parity-driven distance ceiling for $\mathcal Q(q,d)$, conditional HDTVBZ611W

URI	`m2://inv/HDTVBZ611W`
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.02392#ESH6, Parity-driven distance ceiling for $\mathcal Q(q,d)$, conditional (statement). In W066HQZQBF/e1, corollary 11

History

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

HDTWJZK472 HDTWJZK472

URI	`m2://inv/HDTWJZK472`
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.01197#LJ2Y (statement). In WDWDY0VP18/e1, lemma 9

History

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

Main sequence fitting HDTWSX7DZN

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

Mentions

wikipedia: Wikipedia Cosmic distance ladder#ITBJ, Main sequence fitting (unknown)

History

2026-11-02: add by m2/dev

binomial distribution HDTX9FA0ED

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#ZTAK, binomial distribution (definition)

History

2026-11-02: add by m2/dev

Weierstrass factorization theorem HDV3KAETVR

URI	`m2://inv/HDV3KAETVR`
Kind	statement
Layer	textbook
MSC	30-XX
Sources	4
Outcome	open
Node	Weierstrass factorization theorem 11VC51YHQJ

Mentions

mathlib_1000: mathlib_1000 Q1330788, Weierstrass factorization theorem (statement). Also Wikidata Q1330788
thousand_plus: thousand_plus Q1330788, Weierstrass factorization theorem (statement). Also Wikidata Q1330788, Wikipedia Weierstrass factorization theorem
wikidata: Wikidata Q1330788, Weierstrass factorization theorem (statement). Also MathWorld WeierstrassProductTheorem
wikipedia: Wikipedia Weierstrass factorization theorem, Weierstrass factorization theorem (statement). Also Wikidata Q1330788

History

2026-10-26: add by m2/dev

N. N. Moiseev HDV3REA0E7

URI	`m2://inv/HDV3REA0E7`
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#QBY4, N. N. Moiseev (unknown)

History

2026-11-02: add by m2/dev

Authenticator HDV5ZGFX18

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

Mentions

wikipedia: Wikipedia Authenticator, Authenticator (definition). Also Wikidata Q4825890

History

2026-11-02: add by m2/dev

PFA HDV8ZM9NQ8

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

Mentions

wikipedia: Wikipedia Glossary of set theory#7HYP, PFA (definition)

History

2026-11-02: add by m2/dev

Assumed mean HDVCR1TFFS

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

Mentions

wikipedia: Wikipedia List of statistics articles#WKI2, Assumed mean (definition)

History

2026-11-02: add by m2/dev

Wide subcategories of a category HDVHGRSX6K

URI	`m2://inv/HDVHGRSX6K`
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#YFQ3, Wide subcategories of a category (example). In HX63A1PH1W/e1, example 3.58

History

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

Nested sampling algorithm HDVHM9NRS0

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

Mentions

wikipedia: Wikipedia Nested sampling algorithm, Nested sampling algorithm (definition). Also Wikidata Q17148751

History

2026-11-02: add by m2/dev

HDVP8QBGDW HDVP8QBGDW

URI	`m2://inv/HDVP8QBGDW`
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#U9EO (statement). In 90QTB4CC31/e1, proposition 3.37

History

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

Fricke exclusion HDVSV9W9Y1

URI	`m2://inv/HDVSV9W9Y1`
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.28509#E3AI, Fricke exclusion (statement)

History

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

HDW1KYPT50 HDW1KYPT50

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

Mentions

arxiv: arXiv 2610.08655#V7MO (statement). In ZT7H1ZDN96/e1, theorem 8.1

History

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

HDW2S9YNAK HDW2S9YNAK

URI	`m2://inv/HDW2S9YNAK`
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 2609.26896#4WFF (definition)

History

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

HDW4VX1EDN HDW4VX1EDN

URI	`m2://inv/HDW4VX1EDN`
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.20588#I01Q (statement)

History

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

HDW5QMGT5A HDW5QMGT5A

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

Mentions

hott_book: hott_book homotopy.tex#thm:whitehead0 (statement). In N54F33XE07, thm, section 7.8

History

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

Retention of the complete selected reference HDW7RVEFHP

URI	`m2://inv/HDW7RVEFHP`
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#05NA, Retention of the complete selected reference (statement). In 9YAE8FNQST/e1, proposition 3.5

History

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

\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/VWPair.lean\#L258}{\Verb|strongSSC\_vwTup| HDW86QRYY0

URI	`m2://inv/HDW86QRYY0`
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.16323#O3T2, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/VWPair.lean\#L258}{\Verb|strongSSC\_vwTup| (statement). In E215DFNY09/e1, lemma Lemma

History

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

Properties HDW9FENP8H

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

Mentions

wikipedia: Wikipedia Overcategory#VRBQ, Properties (statement)

History

2026-11-02: add by m2/dev

Occupancy grid mapping algorithm HDWDJSVA35

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

Mentions

wikipedia: Wikipedia Occupancy grid mapping#X09T, Occupancy grid mapping algorithm (definition)

History

2026-11-02: add by m2/dev

Michael Creizenach HDWG6851J3

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#XPB0, Michael Creizenach (unknown)

History

2026-11-02: add by m2/dev

local HDWMWTTE0D

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#WSII, local (definition)

History

2026-11-02: add by m2/dev

HDWR8AB3BP HDWR8AB3BP

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 38.9

History

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

HDWS4GRR1V HDWS4GRR1V

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

Mentions

arxiv: arXiv 1805.04646#ZDG4 (proof). In WDDY7P9T66/e1, proof

History

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

HDWWJ590TA HDWWJ590TA

URI	`m2://inv/HDWWJ590TA`
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.09672#LO8M (statement). In TXBXCPP0QH/e1, proposition 15

History

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

HDX0FJFD0T HDX0FJFD0T

URI	`m2://inv/HDX0FJFD0T`
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.03336#DE5W (statement). In 4ZD20W8BVF/e1, theorem 3.4

History

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

HDX36ET1CA HDX36ET1CA

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

Mentions

applied_combinatorics: applied_combinatorics source/s_probability_conditional.ptx#exa_twodie (example). In QKM9DD2H56, example, section 10.2.1

History

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

HDX4JPZ764 HDX4JPZ764

URI	`m2://inv/HDX4JPZ764`
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#2FR6 (statement)

History

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

One-sided Holley domination HDX71Y42CC

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

Mentions

arxiv: arXiv 2609.22301#ULES, One-sided Holley domination (statement)

History

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

HDXJW579J9 HDXJW579J9

URI	`m2://inv/HDXJW579J9`
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.26366#8JJR (statement)

History

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

HDXRF1Z1Y1 HDXRF1Z1Y1

URI	`m2://inv/HDXRF1Z1Y1`
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 2506.16491#3FGK (definition). In P9J6P06Y40/e1, definition 2.13

History

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

Compatibility of affine conditions HDXS3Z0YYW

URI	`m2://inv/HDXS3Z0YYW`
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.22205#KHO9, Compatibility of affine conditions (statement). In 7REABAAQED/e1, theorem

History

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

B-spline HDXV67XE1W

URI	`m2://inv/HDXV67XE1W`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	B-spline 62AFX32JGT

Mentions

wikidata: Wikidata Q2083109, B-spline (unknown). Also MathWorld B-Spline
wikipedia: Wikipedia B-spline, B-spline (definition). Also Wikidata Q2083109

History

2026-10-26: add by m2/dev

HDXYRFB3QF HDXYRFB3QF

URI	`m2://inv/HDXYRFB3QF`
Kind	definition
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 2108.00412#6VXO (definition). In APD8GE0E4F/e1, definition 2.8

History

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

Definitions and principles HDXZSG2VVX

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

Mentions

wikipedia: Wikipedia Birnbaum's theorem#JRHK, Definitions and principles (definition)

History

2026-11-02: add by m2/dev

Fair computational tree logic HDY4Q200SB

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

Mentions

wikipedia: Wikipedia Fair computational tree logic, Fair computational tree logic (definition). Also Wikidata Q17089455

History

2026-11-02: add by m2/dev

Henry's law solubility constants Hs HDYBV4SNSJ

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

Mentions

wikipedia: Wikipedia Henry's law#2D6M, Henry's law solubility constants Hs (statement)

History

2026-11-02: add by m2/dev

HDYNJ86MP4 HDYNJ86MP4

URI	`m2://inv/HDYNJ86MP4`
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.17677#7890 (statement). In 5E9G06XJKC/e1, lemma F.40

History

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

Method HDYPKR07ZR

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

Mentions

wikipedia: Wikipedia Gillespie algorithm#9QA4, Method (definition)

History

2026-11-02: add by m2/dev

HDYQ6B49ZN HDYQ6B49ZN

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-20 (exercise). In E59CDZA4DP, exercise, section 4.2.4

History

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

extremal combinatorics HDYSHA01QX

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

Mentions

wikidata: Wikidata Q5422299, extremal combinatorics (topic)
wikipedia: Wikipedia Extremal combinatorics, Extremal combinatorics (topic). Also Wikidata Q5422299

History

2026-10-26: add by m2/dev

HDZ0XT98Z3 HDZ0XT98Z3

URI	`m2://inv/HDZ0XT98Z3`
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.15974#WWMA (statement). In 61ZHQ7BTKP/e1, theorem 2.4

History

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

Lorentz Eichstadt HDZ2JB39AW

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

Mentions

wikipedia: Wikipedia Lorentz Eichstadt, Lorentz Eichstadt (topic). Also Wikidata Q91670

History

2026-11-02: add by m2/dev

Classification of manifolds HDZE4CZV77

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

Mentions

wikipedia: Wikipedia Classification of manifolds, Classification of manifolds (definition). Also Wikidata Q5128404

History

2026-11-02: add by m2/dev

Definition HDZR504V8W

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

Mentions

wikipedia: Wikipedia HOSVD-based canonical form of TP functions and qLPV models#7CIB, Definition (definition)

History

2026-11-02: add by m2/dev

HDZR507HFJ HDZR507HFJ

URI	`m2://inv/HDZR507HFJ`
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 2411.01837#CSMZ (statement). In 2XBYZ1QP22/e1, theorem 4.2

History

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

Simultaneous maintenance of the budgets and the primary rectangle HDZZ5TMXXD

URI	`m2://inv/HDZZ5TMXXD`
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#NM3H, Simultaneous maintenance of the budgets and the primary rectangle (statement)

History

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