Inventory rows QQ

Simon von Stampfer QQ01HNRMNH

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

Mentions

wikipedia: Wikipedia List of German mathematicians#6P4S, Simon von Stampfer (topic)

History

2026-11-02: add by m2/dev

Subcompact cardinal QQ022XR4QK

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

Mentions

wikipedia: Wikipedia Subcompact cardinal, Subcompact cardinal (definition). Also Wikidata Q7630951

History

2026-11-02: add by m2/dev

Using Euler's theorem QQ06Z9A7XP

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

Mentions

wikipedia: Wikipedia Modular multiplicative inverse#2EK8, Using Euler's theorem (statement)

History

2026-11-02: add by m2/dev

QQ0J2Z4T6Q QQ0J2Z4T6Q

URI	`m2://inv/QQ0J2Z4T6Q`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-XX, 57-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 2111.14699#X3P0 (statement). In ES1CVGG59Y/e1, theorem 1.2

History

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

Gerrit Schaake QQ0MAZ478M

URI	`m2://inv/QQ0MAZ478M`
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#X1PM, Gerrit Schaake (unknown)

History

2026-11-02: add by m2/dev

QQ0RQGHBMC QQ0RQGHBMC

URI	`m2://inv/QQ0RQGHBMC`
Kind	definition
Layer	research
MSC	03-XX, 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 2609.03601#UFGW (definition). In F7TDYCHCSE/e1, definition 3.4

History

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

QQ10X8D2T4 QQ10X8D2T4

URI	`m2://inv/QQ10X8D2T4`
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.31604#AX28 (statement). In GSN5YTQS2K/e1, proposition 3.7

History

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

Finite-scale restricted-direction estimate QQ141QFHEG

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

Mentions

arxiv: arXiv 2609.22485#RIMX, Finite-scale restricted-direction estimate (statement)

History

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

QQ1M0SPHRW QQ1M0SPHRW

URI	`m2://inv/QQ1M0SPHRW`
Kind	statement
Layer	research
MSC	49-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.02901#N173 (statement). In NSP90G5XCQ/e1, lemma 2.23

History

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

Joseph-Louis Lagrange QQ1TE8T1BE

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

Mentions

wikipedia: Wikipedia Joseph-Louis Lagrange, Joseph-Louis Lagrange (topic). Also Wikidata Q80222

History

2026-11-02: add by m2/dev

QQ20E5TYHZ QQ20E5TYHZ

URI	`m2://inv/QQ20E5TYHZ`
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.16941#XI1Q (statement). In T96MPYB0KT/e1, theorem 3.12

History

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

QQ28D2PVTN QQ28D2PVTN

URI	`m2://inv/QQ28D2PVTN`
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.05767#Q3VI (statement). In BG6MTYCXWS/e1, theorem 4.12

History

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

Tag separation QQ28JH86X7

URI	`m2://inv/QQ28JH86X7`
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.15631#C3JO, Tag separation (statement). In AF465QFRGQ/e1, lemma IV.5

History

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

McKean's theorem QQ2BA669NH

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

Mentions

wikipedia: Wikipedia Dimension doubling theorem#EHQW, McKean's theorem (statement)

History

2026-11-02: add by m2/dev

QQ2BH5RSQA QQ2BH5RSQA

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-67 (exercise). In E9HS8K3A52, exercise, section 6.5.4

History

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

Definition QQ2C4G656N

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

Mentions

wikipedia: Wikipedia Liberal paradox#PIT4, Definition (definition)

History

2026-11-02: add by m2/dev

Enveloping algebra of an associative algebra QQ2CT8GV57

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

Mentions

wikipedia: Wikipedia Associative algebra#U7SH, Enveloping algebra of an associative algebra (unknown)

History

2026-11-02: add by m2/dev

QQ2FTTNQ5C QQ2FTTNQ5C

URI	`m2://inv/QQ2FTTNQ5C`
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#BMWN (statement). In TXBXCPP0QH/e1, proposition 6

History

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

Forest plot QQ2KJTHG65

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

Mentions

wikipedia: Wikipedia Forest plot, Forest plot (definition). Also Wikidata Q1437217

History

2026-11-02: add by m2/dev

QQ2RCTFDW8 QQ2RCTFDW8

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

Mentions

arxiv: arXiv 2506.07061#XRJG (statement). In G2PA4KAGRP/e1, proposition 3.10

History

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

Transfinite number QQ2YT82938

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

Mentions

wikipedia: Wikipedia Transfinite number, Transfinite number (definition). Also Wikidata Q1069891

History

2026-11-02: add by m2/dev

Theorem QQ3320KQHC

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

Mentions

wikipedia: Wikipedia Appell sequence#WOCT, Theorem (statement)

History

2026-11-02: add by m2/dev

QQ36N96K6F QQ36N96K6F

URI	`m2://inv/QQ36N96K6F`
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.02481#Q9DN (statement). In 5HACFNFY0P/e1, lemma 5.1

History

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

George Szpiro QQ388TE1AH

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

Mentions

wikipedia: Wikipedia George Szpiro, George Szpiro (topic). Also Wikidata Q1508319

History

2026-11-02: add by m2/dev

QQ3K2A04XM QQ3K2A04XM

URI	`m2://inv/QQ3K2A04XM`
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 2310.11101#Q3Z9 (statement). In YBBKTP4E70/e1, theorem 2.1

History

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

Antoine Parent QQ3XJSZFZC

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

Mentions

wikipedia: Wikipedia Antoine Parent, Antoine Parent (topic). Also Wikidata Q586828

History

2026-11-02: add by m2/dev

Eric Priest QQ40S66615

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

Mentions

wikipedia: Wikipedia Eric Priest, Eric Priest (topic). Also Wikidata Q3300264

History

2026-11-02: add by m2/dev

QQ4CM80RKP QQ4CM80RKP

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

Mentions

arxiv: arXiv 2609.21949#OO59 (definition)

History

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

Stack automaton QQ4P2NR8M1

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

Mentions

wikipedia: Wikipedia Pushdown automaton#0CP3, Stack automaton (unknown)

History

2026-11-02: add by m2/dev

List of Indian mathematicians QQ4ZH9X8G3

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

Mentions

wikipedia: Wikipedia Lists of mathematicians#6ZY9, List of Indian mathematicians (topic)

History

2026-11-02: add by m2/dev

Hadamard code QQ51974608

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

Mentions

wikipedia: Wikipedia List of things named after Jacques Hadamard#Z6KG, Hadamard code (definition)

History

2026-11-02: add by m2/dev

Monodromy theorem QQ53ER43VQ

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

Mentions

wikipedia: Wikipedia Analytic continuation#ETHY, Monodromy theorem (statement)

History

2026-11-02: add by m2/dev

BA model QQ58ZCHR02

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

Mentions

wikipedia: Wikipedia List of statistics articles#UW0V, BA model (definition)

History

2026-11-02: add by m2/dev

Definition QQ5KA482KC

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

Mentions

wikipedia: Wikipedia Hahn polynomials#I5ZZ, Definition (definition)

History

2026-11-02: add by m2/dev

Properties QQ5KVQA8VW

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

Mentions

wikipedia: Wikipedia Determinantal point process#PVH7, Properties (statement)

History

2026-11-02: add by m2/dev

Hanany–Witten transition QQ5KX0HBWV

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

Mentions

wikipedia: Wikipedia List of string theory topics#TFZQ, Hanany–Witten transition (unknown)

History

2026-11-02: add by m2/dev

QQ5WW0HQW8 QQ5WW0HQW8

URI	`m2://inv/QQ5WW0HQW8`
Kind	statement
Layer	research
MSC	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 2404.14253#KVOD (statement). In R7W38A039X/e1, theorem 4.1

History

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

QQ5XH55BHK QQ5XH55BHK

URI	`m2://inv/QQ5XH55BHK`
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.20444#J3JO (statement)

History

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

Variants QQ5ZQH7Q44

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

Mentions

wikipedia: Wikipedia Gibbard–Satterthwaite theorem#L25L, Variants (statement)

History

2026-11-02: add by m2/dev

Examples QQ6564J935

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

Mentions

wikipedia: Wikipedia Topological sorting#SWEZ, Examples (example)

History

2026-11-02: add by m2/dev

Welfare Decomposition for Linear Smoothers QQ6C72SJEH

URI	`m2://inv/QQ6C72SJEH`
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.10167#XG9L, Welfare Decomposition for Linear Smoothers (statement). In SVMDSE7PKG/e1, proposition 2

History

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

QQ6FY5ZDXP QQ6FY5ZDXP

URI	`m2://inv/QQ6FY5ZDXP`
Kind	statement
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 2610.09171#Z3NI (statement). In 5ZPSZFE08Q/e1, theorem 5.6

History

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

Positive adjacent refactorization QQ6J8565KF

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

Mentions

arxiv: arXiv 2609.26066#CD79, Positive adjacent refactorization (statement)

History

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

QQ6Z8VH15P QQ6Z8VH15P

URI	`m2://inv/QQ6Z8VH15P`
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.32937#EO3L (statement). In RB0SJRQP6X/e1, lemma 6.5

History

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

QQ730RJ7RM QQ730RJ7RM

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

Mentions

active_calculus: active_calculus source/activities/act-3-3-2.xml#act-3-3-2 (exercise). In 907G4C4EJ1, activity, section 3.3.3

History

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

QQ79DZZ79J QQ79DZZ79J

URI	`m2://inv/QQ79DZZ79J`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 46-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.39389#24OI (statement). In PP5RE0W4D8/e1, lemma 3.6

History

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

Gauge representation QQ7DAT41CG

URI	`m2://inv/QQ7DAT41CG`
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#V3PG, Gauge representation (statement)

History

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

Local Fourier transform in the slope-$<1$ range QQ7G9JRA1V

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

Mentions

arxiv: arXiv 2610.04099#6JC2, Local Fourier transform in the slope-$<1$ range (statement). In QPJ6FWG5HD/e1, theorem 2.89

History

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

Emery's inequality QQ7GZD6WYB

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

Mentions

wikipedia: Wikipedia List of inequalities#EX4G, Emery's inequality (unknown)

History

2026-11-02: add by m2/dev

Examples QQ7K3SKHTD

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

Mentions

wikipedia: Wikipedia Quasi-arithmetic mean#1OHC, Examples (example)

History

2026-11-02: add by m2/dev

Diophantus QQ7RNHD7WY

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#26RV, Diophantus (topic)

History

2026-11-02: add by m2/dev

Poset height QQ87QKAV90

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

Mentions

wikipedia: Wikipedia Antichain#XIOK, Poset height (unknown)

History

2026-11-02: add by m2/dev

QQ8ECEGG7Q QQ8ECEGG7Q

URI	`m2://inv/QQ8ECEGG7Q`
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.19854#9NZW (statement). In D50WST4CG3/e1, theorem 5.2

History

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

First Isomorphism Theorem QQ8HDC9JP2

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

Mentions

wikipedia: Wikipedia Quotient space (linear algebra)#IEWC, First Isomorphism Theorem (statement)

History

2026-11-02: add by m2/dev

Key derivation function QQ8M116BD2

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

Mentions

wikipedia: Wikipedia List of algorithms#TOB9, Key derivation function (definition)

History

2026-11-02: add by m2/dev

QQ8NXPWE5K QQ8NXPWE5K

URI	`m2://inv/QQ8NXPWE5K`
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 math/9807180#X1DD (definition). In VR3766BVE5/e1, definition 1.2

History

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

Cubohemioctahedron QQ8WBZ5A6S

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#6QIY, Cubohemioctahedron (object)

History

2026-11-02: add by m2/dev

Theorem QQ90NA18PW

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

Mentions

wikipedia: Wikipedia Sobolev space#VNZ3, Theorem (statement)

History

2026-11-02: add by m2/dev

QQ96GAXKWG QQ96GAXKWG

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

Mentions

arxiv: arXiv 2610.19023#TUST (statement). In QFA8TMJPHZ/e1, lemma 6.2

History

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

Definition QQ9AW74VKM

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

Mentions

wikipedia: Wikipedia Tschuprow's T#EAAS, Definition (definition)

History

2026-11-02: add by m2/dev

QQ9NP1YFFV QQ9NP1YFFV

URI	`m2://inv/QQ9NP1YFFV`
Kind	example
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.21060#L98C (example)

History

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

Abel's integral equation QQ9RQFQDHK

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

Mentions

wikipedia: Wikipedia List of things named after Niels Henrik Abel#IRTC, Abel's integral equation (definition)

History

2026-11-02: add by m2/dev

QQ9SVFTYDW QQ9SVFTYDW

URI	`m2://inv/QQ9SVFTYDW`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 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 2609.24610#ZMS5 (statement)

History

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

QQ9TF2SXNK QQ9TF2SXNK

URI	`m2://inv/QQ9TF2SXNK`
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.21388#0NFX (statement)

History

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

Yativrsabha QQ9TTJ6B1E

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#1NHF, Yativrsabha (unknown)

History

2026-11-02: add by m2/dev

QQ9VPB4XEM QQ9VPB4XEM

URI	`m2://inv/QQ9VPB4XEM`
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.18922#QANG (statement). In 6FKDYENQ8M/e1, proposition 6

History

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

QQ9WZJ6X58 QQ9WZJ6X58

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

Mentions

arxiv: arXiv 2610.08193#1NJ7 (statement). In 8XAKGH8S2D/e1, theorem A

History

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

Generalization QQ9Z6EGVQ4

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

Mentions

wikipedia: Wikipedia Hedgehog (geometry)#8NQH, Generalization (statement)

History

2026-11-02: add by m2/dev

Ludovico Geymonat QQ9ZJBK090

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#LZQA, Ludovico Geymonat (unknown)

History

2026-11-02: add by m2/dev

Construction QQ9ZWFDKS1

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

Mentions

wikipedia: Wikipedia Elongated triangular gyrobicupola#9915, Construction (definition)

History

2026-11-02: add by m2/dev

computational number theory QQA24PWKB4

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

Mentions

wikidata: Wikidata Q2646614, computational number theory (topic)
wikipedia: Wikipedia Computational number theory, Computational number theory (topic). Also Wikidata Q2646614

History

2026-10-26: add by m2/dev

QQA2NJMMSQ QQA2NJMMSQ

URI	`m2://inv/QQA2NJMMSQ`
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.25038#HD9Y (statement)

History

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

QQA4QA52SA QQA4QA52SA

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_intro-sets.ptx#example-5 (example). In Y91XFCEVHQ, example, section 1.3.2

History

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

Schwarz–Christoffel mapping QQA8FFZBAK

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

Mentions

wikipedia: Wikipedia Schwarz–Christoffel mapping, Schwarz–Christoffel mapping (definition). Also Wikidata Q769569

History

2026-11-02: add by m2/dev

George Katona QQADZ8FFKY

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#RVJ0, George Katona (unknown)

History

2026-11-02: add by m2/dev

QQAJ3FQJ1W QQAJ3FQJ1W

URI	`m2://inv/QQAJ3FQJ1W`
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.16883#04UC (statement). In TYS9N30M63/e1, theorem 1

History

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

Torch (machine learning) QQAN10JK79

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

Mentions

wikipedia: Wikipedia List of statistical software#58PH, Torch (machine learning) (unknown)

History

2026-11-02: add by m2/dev

General formulas for the zeta function QQARHRZ3JC

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

Mentions

wikipedia: Wikipedia Local zeta function#IY6J, General formulas for the zeta function (statement)

History

2026-11-02: add by m2/dev

QQAWRMC2M2 QQAWRMC2M2

URI	`m2://inv/QQAWRMC2M2`
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.39675#YVWR (statement). In VM16G3PPH3/e1, theorem 4.5

History

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

Theodore Motzkin QQAZWDE70Y

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

Mentions

wikipedia: Wikipedia Theodore Motzkin, Theodore Motzkin (topic). Also Wikidata Q935647

History

2026-11-02: add by m2/dev

Decomposition of the full shadow QQB833WVJT

URI	`m2://inv/QQB833WVJT`
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#7G5V, Decomposition of the full shadow (statement). In 4AQ48WSBDQ/e1, theorem 5.7

History

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

Test plan QQBAP3G4G4

URI	`m2://inv/QQBAP3G4G4`
Kind	definition
Layer	research
MSC	35-XX, 46-XX, 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.21775#4QN5, Test plan (definition). In KM3Q791JY0/e1, definition 4.6

History

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

QQBC783DWP QQBC783DWP

URI	`m2://inv/QQBC783DWP`
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.16431#CQOJ (statement). In 7NX9HA8VPM/e1, proposition 4.3

History

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

QQBEXSYP47 QQBEXSYP47

URI	`m2://inv/QQBEXSYP47`
Kind	statement
Layer	research
MSC	14-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.03719#1QPT (statement). In 8MDK189ZMB/e1, proposition 2.5

History

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

Be sure to drink your Ovaltine QQBH13TXX1

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

Mentions

wikipedia: Wikipedia Secret decoder ring#J4HT, Be sure to drink your Ovaltine (unknown)

History

2026-11-02: add by m2/dev

Root of a function QQBJKJ9AKP

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

Mentions

wikipedia: Wikipedia List of polynomial topics#KZFZ, Root of a function (definition)

History

2026-11-02: add by m2/dev

QQBR2QC1DY QQBR2QC1DY

URI	`m2://inv/QQBR2QC1DY`
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.17329#TCUX (statement). In F6GD5JWK9M/e1, lemma 4.1

History

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

QQBW18HZ7E QQBW18HZ7E

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

Mentions

open_logic: open_logic content/applied-modal-logic/epistemic-logic/public-announcement-logic-lang.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 1.4

History

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

QQBXHEAD93 QQBXHEAD93

URI	`m2://inv/QQBXHEAD93`
Kind	conjecture
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.37450#RE11 (conjecture). In FP05Z6EBV4/e1, conjecture 1.2

History

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

Structural change QQC16XJVPB

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

Mentions

wikipedia: Wikipedia Structural change, Structural change (definition). Also Wikidata Q1969120

History

2026-11-02: add by m2/dev

Sandwich dynamics for convergence actions QQC2R2JVYG

URI	`m2://inv/QQC2R2JVYG`
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.36098#0SKO, Sandwich dynamics for convergence actions (statement). In NRP62VNE58/e1, lemma 8.3

History

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

QQC2WGQHGP QQC2WGQHGP

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

Mentions

arxiv: arXiv 2609.13888#IW0L (statement). In 2G5K2GZTX7/e1, lemma 4.2

History

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

Exact conformal law of the CSNO QQC760YN1V

URI	`m2://inv/QQC760YN1V`
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.29847#8502, Exact conformal law of the CSNO (statement)

History

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

First contact principle QQC8WM59T5

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

Mentions

arxiv: arXiv 2609.22659#YT4M, First contact principle (statement)

History

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

Examples QQCB3JE3HX

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

Mentions

wikipedia: Wikipedia Sierpiński's theorem on metric spaces#DYII, Examples (example)

History

2026-11-02: add by m2/dev

Church--Rosser property, CR QQCCHW6BE4

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

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/definitions-and-properties.tex#defn-1, Church--Rosser property, CR (definition). In PKGMM3P5QY, defn, section 36.1

History

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

Eri Jabotinsky QQCF5TADYH

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#NV11, Eri Jabotinsky (topic)

History

2026-11-02: add by m2/dev

graph of groups QQCFMG49QT

URI	`m2://inv/QQCFMG49QT`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Graph of groups DC1CQMD3WK

Mentions

wikidata: Wikidata Q3115551, graph of groups (unknown). Also nLab graph of groups
wikipedia: Wikipedia Graph of groups, Graph of groups (definition). Also Wikidata Q3115551

History

2026-10-26: add by m2/dev

QQCK0BQFJ1 QQCK0BQFJ1

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

Mentions

arxiv: arXiv 2609.24465#QDAD (statement)

History

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

System of differential equations QQCK9JC4JA

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

Mentions

wikipedia: Wikipedia System of differential equations, System of differential equations (definition). Also Wikidata Q96407346

History

2026-11-02: add by m2/dev

Schröder–Hipparchus number QQCVFKK3TQ

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

Mentions

wikidata: Wikidata Q15264444, Schröder–Hipparchus number (concept). Also MathWorld SuperCatalanNumber
wikipedia: Wikipedia Schröder–Hipparchus number, Schröder–Hipparchus number (definition). Also Wikidata Q15264444

History

2026-10-26: add by m2/dev

QQCY3VQ0N9 QQCY3VQ0N9

URI	`m2://inv/QQCY3VQ0N9`
Kind	statement
Layer	research
MSC	14-XX, 19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.31413#WCXP (statement). In 1C68G64QZS/e1, proposition 2

History

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

Q-analysis QQD1QDXCT7

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

Mentions

wikipedia: Wikipedia Q-analysis, Q-analysis (definition). Also Wikidata Q7265297

History

2026-11-02: add by m2/dev

Hirzebruch surface QQD3R1G9VA

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

Mentions

wikipedia: Wikipedia Hirzebruch surface, Hirzebruch surface (definition). Also Wikidata Q11926170

History

2026-11-02: add by m2/dev

QQD61BV5YM QQD61BV5YM

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

Mentions

arxiv: arXiv 2609.32816#FCEB (definition). In 10YV2P9E8W/e1, definition 4.6

History

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

QQDAHBM1JS QQDAHBM1JS

URI	`m2://inv/QQDAHBM1JS`
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 2601.15403#A23O (statement). In BSWNH3NW1M/e1, corollary 9.27

History

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

QQDB9PNSDF QQDB9PNSDF

URI	`m2://inv/QQDB9PNSDF`
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 2503.08018#N7S1 (statement). In TN93YFN45W/e1, lemma 4.2

History

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

Gram-Schmidt QQDC82K9FM

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

Mentions

austin_ula: austin_ula index/6.4.2/gram-schmidt, Gram-Schmidt (concept). In 649HGZKE96, index, section 6.4.2

History

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

Hall–Petresco identity QQDFM4FZXC

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

Mentions

wikipedia: Wikipedia Hall–Petresco identity, Hall–Petresco identity (statement). Also Wikidata Q25303847

History

2026-11-02: add by m2/dev

William Scott Klug QQDHCN3PAJ

URI	`m2://inv/QQDHCN3PAJ`
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#XEGN, William Scott Klug (unknown)

History

2026-11-02: add by m2/dev

QQDS5VZSRS QQDS5VZSRS

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-15 (exercise). In E59CDZA4DP, exercise, section 6.2.4

History

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

QQDVGQWKHY QQDVGQWKHY

URI	`m2://inv/QQDVGQWKHY`
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.12012#QLVC (definition). In 1RXGXBQAHS/e1, definition 2.2

History

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

QQE5CMTD35 QQE5CMTD35

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

Mentions

arxiv: arXiv 2609.23522#PMNB (statement)

History

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

QQE5MG80FJ QQE5MG80FJ

URI	`m2://inv/QQE5MG80FJ`
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.08226#BO0Z (statement). In V6EPE8XHAD/e1, lemma 7.3

History

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

QQEC9DE6AX QQEC9DE6AX

URI	`m2://inv/QQEC9DE6AX`
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.35669#OGL0 (statement). In 8380G43M8E/e1, proposition 3.2

History

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

QQEMA0RXFA QQEMA0RXFA

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

Mentions

arxiv: arXiv 2610.11210#VNTF (statement). In CRFDGFZHBF/e1, lemma 3.9

History

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

Warren Siegel QQF0QP1P7H

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

Mentions

wikipedia: Wikipedia List of string theory topics#IJ3G, Warren Siegel (unknown)

History

2026-11-02: add by m2/dev

Decomposition of the KL divergence by estimation stage QQF111NNC0

URI	`m2://inv/QQF111NNC0`
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.14498#04YU, Decomposition of the KL divergence by estimation stage (statement). In 81YXGYETE4/e1, proposition 1

History

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

Resource-bounded measure QQF443CR7F

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

Mentions

wikipedia: Wikipedia Resource-bounded measure, Resource-bounded measure (definition). Also Wikidata Q7315819

History

2026-11-02: add by m2/dev

Bose--Chowla QQFMDQXZMM

URI	`m2://inv/QQFMDQXZMM`
Kind	statement
Layer	research
MSC	05-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.23922#CDYE, Bose--Chowla (statement)

History

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

Weak solution in $\H_r$ QQFN9570NQ

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

Mentions

arxiv: arXiv 2610.04895#Z114, Weak solution in $\H_r$ (definition). In A7M06ZVYA8/e1, definition 1.1

History

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

QQFPNBECG7 QQFPNBECG7

URI	`m2://inv/QQFPNBECG7`
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 2609.35691#UPNT (definition). In G7R61RPWE2/e1, definition 3.8

History

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

QQFQNSSDF3 QQFQNSSDF3

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

Mentions

arxiv: arXiv 2609.35625#VFFO (statement). In 7N144YJM0R/e1, proposition 3.2

History

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

List of commutative algebra topics QQFR32HK22

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

Mentions

wikipedia: Wikipedia List of commutative algebra topics, List of commutative algebra topics (topic). Also Wikidata Q6612195

History

2026-11-02: add by m2/dev

Gennadi Henkin QQFV6Y904X

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

Mentions

wikipedia: Wikipedia Gennadi Henkin, Gennadi Henkin (topic). Also Wikidata Q22691556

History

2026-11-02: add by m2/dev

QQFXPC3TZ7 QQFXPC3TZ7

URI	`m2://inv/QQFXPC3TZ7`
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.37815#HRZU (statement). In SVJYA0171G/e1, lemma 6.9

History

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

QQG53ANMQP QQG53ANMQP

URI	`m2://inv/QQG53ANMQP`
Kind	statement
Layer	research
MSC	05-XX, 37-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 2601.04559#8Z1Q (statement). In WWMHZKWZSM/e1, proposition 16

History

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

QQG8G0G76W QQG8G0G76W

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

Mentions

lebl_scv: lebl_scv scv.tex#example-29 (example). In VNMV985MXX, example, section 6.8

History

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

Procedure QQGED0TMRQ

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

Mentions

wikipedia: Wikipedia Euclidean algorithm#4ZN9, Procedure (definition)

History

2026-11-02: add by m2/dev

QQGNY42WZ4 QQGNY42WZ4

URI	`m2://inv/QQGNY42WZ4`
Kind	statement
Layer	research
MSC	19-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.19791#SLWO (statement). In AVDB4KJ6XB/e1, proposition 5.1

History

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

QQGPFEW6MF QQGPFEW6MF

URI	`m2://inv/QQGPFEW6MF`
Kind	statement
Layer	research
MSC	05-XX, 37-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 2601.04559#X5S7 (statement). In WWMHZKWZSM/e1, lemma 21

History

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

Maxwell's theorem QQGXYAY1S4

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

Mentions

wikipedia: Wikipedia List of theorems#KL1H, Maxwell's theorem (statement)

History

2026-11-02: add by m2/dev

Reduced density matrix QQH6MN5C6H

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

Mentions

wikipedia: Wikipedia Quantum entanglement#3HR2, Reduced density matrix (unknown)

History

2026-11-02: add by m2/dev

tesla QQHDRNQ6BS

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

Mentions

wikidata: Wikidata Q163343, tesla (definition). Also ProofWiki Definition:Tesla_(Unit)

History

2026-10-26: add by m2/dev

QQHE3HGB14 QQHE3HGB14

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

Mentions

arxiv: arXiv 2610.08039#IGYV (statement). In Y1K8WE4MDP/e1, lemma 3.12

History

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

QQHKHF4WDM QQHKHF4WDM

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

Mentions

arxiv: arXiv 2609.26276#OG55 (statement)

History

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

Association mapping QQHQTGS1SM

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

Mentions

wikipedia: Wikipedia List of statistics articles#6SXT, Association mapping (definition)

History

2026-11-02: add by m2/dev

QQHR4Y39K3 QQHR4Y39K3

URI	`m2://inv/QQHR4Y39K3`
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 2410.22607#VISU (example). In 6GT33A43SY/e1, example 1.1

History

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

QQHSM743QM QQHSM743QM

URI	`m2://inv/QQHSM743QM`
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.26401#LNQG (statement)

History

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

Strong cohomological rigidity for Bott manifolds QQHZWTHBGP

URI	`m2://inv/QQHZWTHBGP`
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 2202.10920#ALOY, Strong cohomological rigidity for Bott manifolds (statement). In 6TTFGK6ZV0/e1, theorem 4.3

History

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

Church-Rosser property QQJ8DDN06F

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

Mentions

wikipedia: Wikipedia Confluence (abstract rewriting)#XFJC, Church-Rosser property (unknown)

History

2026-11-02: add by m2/dev

QQJAGAW4AF QQJAGAW4AF

URI	`m2://inv/QQJAGAW4AF`
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.40207#YST0 (statement). In JXTG8KP95P/e1, corollary 5.10

History

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

QQJC49QJS4 QQJC49QJS4

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

Mentions

arxiv: arXiv 2610.15831#8EGO (statement). In CVESAPNMCQ/e1, lemma 5.9

History

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

QQJC67JGF3 QQJC67JGF3

URI	`m2://inv/QQJC67JGF3`
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.09596#NK7J (statement). In HXFA55BREZ/e1, lemma 5.13

History

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

QQJCDECQGH QQJCDECQGH

URI	`m2://inv/QQJCDECQGH`
Kind	statement
Layer	research
MSC	11-XX, 14-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.11545#NIE0 (statement). In VN084GGZGK/e1, proposition 3.15

History

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

Sorites (journal) QQJCNH0508

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

Mentions

wikipedia: Wikipedia Lorenzo Peña#9G2P, Sorites (journal) (unknown)

History

2026-11-02: add by m2/dev

QQJSYMDXDT QQJSYMDXDT

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

Mentions

arxiv: arXiv 2609.13888#KI39 (statement). In 2G5K2GZTX7/e1, theorem 2.3

History

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

QQJW2GFCKM QQJW2GFCKM

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

Mentions

napkin: napkin tex/rep-theory/rep-alg.tex#definition-10 (definition). In RZP28ERRZV, definition, section 80.4

History

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

Characterization Theorem QQJZ6RNGDX

URI	`m2://inv/QQJZ6RNGDX`
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 2610.10558#K7SD, Characterization Theorem (statement). In GYSF9JXQCH/e1, theorem A

History

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

QQJZK5NYMR QQJZK5NYMR

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

Mentions

arxiv: arXiv 2610.05018#GIWW (statement). In QFZSPBES9B/e1, corollary 3.13

History

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

Algorithm QQJZZHEFMJ

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

Mentions

wikipedia: Wikipedia Barnes–Hut simulation#DMGO, Algorithm (definition)

History

2026-11-02: add by m2/dev

classical, homotopy theory QQK0CAPNK8

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

Mentions

hott_book: hott_book index/7.1.2/classical-homotopy-theory, classical, homotopy theory (concept). In N54F33XE07, index, section 7.1.2

History

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

QQK33TNTSR QQK33TNTSR

URI	`m2://inv/QQK33TNTSR`
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.29916#FE2O (statement)

History

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

QQKQ80MQGB QQKQ80MQGB

URI	`m2://inv/QQKQ80MQGB`
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.14339#ZHXK (statement). In 2GBA6Q2X40/e1, theorem 1

History

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

Theorem 1 \normalfont QQKTSNJ85T

URI	`m2://inv/QQKTSNJ85T`
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 2402.05875#FEMA, Theorem 1 \normalfont (statement). In 35FDBKEDC0/e1, theorem

History

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

QQM69H90VZ QQM69H90VZ

URI	`m2://inv/QQM69H90VZ`
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.11383#GQOA (statement). In DJBZ3V8SQ6/e1, lemma 2.6

History

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

QQMD82NB4M QQMD82NB4M

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

Mentions

arxiv: arXiv 2610.17737#8HRC (statement). In 8SXY7Y68HV/e1, proposition 6.5

History

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

QQMDBXXCNZ QQMDBXXCNZ

URI	`m2://inv/QQMDBXXCNZ`
Kind	conjecture
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.26745#RXZR (conjecture)

History

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

QQMF4YCKWR QQMF4YCKWR

URI	`m2://inv/QQMF4YCKWR`
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 2609.35691#DF2G (definition). In G7R61RPWE2/e1, definition 4.1

History

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

induction principle QQMKBKMS75

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

Mentions

hott_book: hott_book index/8.1/induction-principle, induction principle (concept). In N54F33XE07, index, section 8.1

History

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

John Machin QQMM6NHZ5G

URI	`m2://inv/QQMM6NHZ5G`
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 Q726385, John Machin (unknown). Also MathWorld MachinsFormula
wikipedia: Wikipedia John Machin, John Machin (topic). Also Wikidata Q726385

History

2026-10-26: add by m2/dev

Diffpack QQMM87SGH0

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

Mentions

wikipedia: Wikipedia Diffpack, Diffpack (definition). Also Wikidata Q5275397

History

2026-11-02: add by m2/dev

Pinning lags QQMSTNEMZZ

URI	`m2://inv/QQMSTNEMZZ`
Kind	statement
Layer	research
MSC	37-XX, 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.09912#B0L7, Pinning lags (statement). In 65TJENWK7X/e1, lemma 28

History

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

QQN10RTQ42 QQN10RTQ42

URI	`m2://inv/QQN10RTQ42`
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.35320#17FM (statement). In QJ6AEW93RB/e1, theorem 2.2

History

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

Korean Mathematical Society QQN1RFY5AR

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

Mentions

wikipedia: Wikipedia List of mathematical societies#U0JU, Korean Mathematical Society (unknown)

History

2026-11-02: add by m2/dev

Chen prime QQN291HZ96

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

Mentions

wikipedia: Wikipedia List of number theory topics#NAEV, Chen prime (object)

History

2026-11-02: add by m2/dev

Triple cities QQNB31MB25

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

Mentions

wikipedia: Wikipedia List of places with numeric names#0JKO, Triple cities (unknown)

History

2026-11-02: add by m2/dev

QQNC8YE279 QQNC8YE279

URI	`m2://inv/QQNC8YE279`
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.17258#AN00 (statement). In F4M67ZVBF2/e1, proposition 2.6

History

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

Grashof Condition QQNM44DPKR

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

Mentions

wikipedia: Wikipedia Four-bar linkage#YTMB, Grashof Condition (unknown)

History

2026-11-02: add by m2/dev

Cubic character of $7$ QQNN2JV4FB

URI	`m2://inv/QQNN2JV4FB`
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 2606.18859#C7FU, Cubic character of $7$ (statement). In EVRAASXEDY/e1, proposition 4.4

History

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

QQNNWVDVDQ QQNNWVDVDQ

URI	`m2://inv/QQNNWVDVDQ`
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.24463#B15J (statement)

History

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

QQNPJVRF4H QQNPJVRF4H

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

Mentions

arxiv: arXiv 2609.28189#7OC2 (statement)

History

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

Hundred House QQNPT9XMEG

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

Mentions

wikipedia: Wikipedia List of places with numeric names#OSL0, Hundred House (unknown)

History

2026-11-02: add by m2/dev

QQNTGC1WVK QQNTGC1WVK

URI	`m2://inv/QQNTGC1WVK`
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.20077#A8I7 (statement). In W5XRKWDADE/e1, theorem 2

History

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

John Milnor QQP21GXWAE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#3XMK, John Milnor (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q241, John Milnor (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UJM1, John Milnor (topic)

History

2026-11-02: add by m2/dev

Length bound away from the perfect forms QQP2R81YZK

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

Mentions

arxiv: arXiv 2609.37615#9AKR, Length bound away from the perfect forms (statement). In T2B54J7121/e1, corollary 3.11

History

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

Properties QQPD19NMS3

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

Mentions

wikipedia: Wikipedia Householder transformation#NYOX, Properties (statement)

History

2026-11-02: add by m2/dev

QQPDNQH7ER QQPDNQH7ER

URI	`m2://inv/QQPDNQH7ER`
Kind	example
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.00512#Q0S9 (example). In RB5QBG3MJY/e1, example 4.15

History

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

Equiprobability QQPHYECFM1

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

Mentions

wikipedia: Wikipedia Equiprobability, Equiprobability (definition). Also Wikidata Q2742564

History

2026-11-02: add by m2/dev

Kalman–Yakubovich–Popov lemma QQPSRQAXZW

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

Mentions

wikipedia: Wikipedia List of lemmas#VFX5, Kalman–Yakubovich–Popov lemma (statement)

History

2026-11-02: add by m2/dev

William Playfair QQQ39ZGXQA

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

Mentions

wikipedia: Wikipedia William Playfair, William Playfair (topic). Also Wikidata Q738532

History

2026-11-02: add by m2/dev

Morris H. DeGroot QQQ84J270Y

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

Mentions

wikipedia: Wikipedia Morris H. DeGroot, Morris H. DeGroot (topic). Also Wikidata Q15126338

History

2026-11-02: add by m2/dev

Ingrid C. Kildegaard QQQAYCNV1G

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

Mentions

wikipedia: Wikipedia Ingrid C. Kildegaard, Ingrid C. Kildegaard (topic). Also Wikidata Q42618993

History

2026-11-02: add by m2/dev

L = NL problem QQQPNRCDDK

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#Z5X9, L = NL problem (definition)

History

2026-11-02: add by m2/dev

QQQWPDDTAD QQQWPDDTAD

URI	`m2://inv/QQQWPDDTAD`
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#1L4I (statement). In 7ZFD9XRKA1/e1, proposition 5.4

History

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

List of algebraic number theory topics QQR4DC5FVF

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics, List of algebraic number theory topics (topic). Also Wikidata Q6605555

History

2026-11-02: add by m2/dev

QQR6HAEPMV QQR6HAEPMV

URI	`m2://inv/QQR6HAEPMV`
Kind	conjecture
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.12169#1BOX (conjecture). In 645GF9SFWM/e1, conjecture 15

History

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

QQR6RGJHCM QQR6RGJHCM

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

Mentions

arxiv: arXiv 2609.32233#S1T4 (statement). In V42PPD7SWH/e1, proposition 7.1

History

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

QQR6TR59PP QQR6TR59PP

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-37 (exercise). In E59CDZA4DP, exercise, section 2.3.3

History

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

QQRD0XYVAK QQRD0XYVAK

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

Mentions

arxiv: arXiv 2610.05776#MZGT (statement). In AFSG70BF7S/e1, theorem 13

History

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

Classical Mechanics QQRFK6VBAQ

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

Mentions

wikipedia: Wikipedia Classical Mechanics (Goldstein), Classical Mechanics (definition). Also Wikidata Q1528639

History

2026-11-02: add by m2/dev

oversampling QQRM09Z0ST

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

Mentions

wikidata: Wikidata Q331222, oversampling (unknown). Also MathWorld Oversampling

History

2026-10-26: add by m2/dev

Tangent MALA QQRMZS016G

URI	`m2://inv/QQRMZS016G`
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.17946#M9G4, Tangent MALA (statement). In A7HTYWJNCX/e1, corollary 3

History

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

QQRT7VM3B4 QQRT7VM3B4

URI	`m2://inv/QQRT7VM3B4`
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 1011.4141#BDQB (statement). In YQ4JYF18NH/e1, lemma 4.1

History

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

QQRT8N0ABA QQRT8N0ABA

URI	`m2://inv/QQRT8N0ABA`
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 2603.21971#2795 (statement). In R6KSZ9H8CY/e1, lemma 7.4

History

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

QQRW535CTN QQRW535CTN

URI	`m2://inv/QQRW535CTN`
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 2201.03058#FK3H (statement). In STV2W9WA1K/e1, proposition 0.2

History

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

Examples QQSGQ0GZAM

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

Mentions

wikipedia: Wikipedia Stokes wave#3FJA, Examples (example)

History

2026-11-02: add by m2/dev

Applications QQSHSTCZ3C

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

Mentions

wikipedia: Wikipedia Gompertz distribution#S6IM, Applications (example)

History

2026-11-02: add by m2/dev

QQSPT5FPE7 QQSPT5FPE7

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_gt-intro.ptx#example-5 (example). In Y91XFCEVHQ, example, section 5.1

History

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

D'Alembert's principle QQSX2HH7K4

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

Mentions

wikipedia: Wikipedia D'Alembert's principle, D'Alembert's principle (statement). Also Wikidata Q753007

History

2026-11-02: add by m2/dev

QQSYJ5KKMW QQSYJ5KKMW

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#definition-5 (definition). In RZP28ERRZV, definition, section 9.8

History

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

QQT1E5M20R QQT1E5M20R

URI	`m2://inv/QQT1E5M20R`
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.05784#TC6N (statement). In 6NVP3YRWVA/e1, theorem 4.15

History

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

Inverse Ackerman's function QQT2D1ZFFW

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

Mentions

wikipedia: Wikipedia Ackermann function#MM2I, Inverse Ackerman's function (unknown)

History

2026-11-02: add by m2/dev

Definitions QQT5PQ23MC

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

Mentions

wikipedia: Wikipedia Type (model theory)#T1PY, Definitions (definition)

History

2026-11-02: add by m2/dev

QQTBCKYSQA QQTBCKYSQA

URI	`m2://inv/QQTBCKYSQA`
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.16941#7X24 (statement). In T96MPYB0KT/e1, lemma 3.1

History

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

Example QQTNRS9A50

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

Mentions

wikipedia: Wikipedia Affine cipher#9EF6, Example (example)

History

2026-11-02: add by m2/dev

Richard's paradox QQTNTZP9PS

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

Mentions

wikipedia: Wikipedia List of paradoxes#KN7M, Richard's paradox (statement)

History

2026-11-02: add by m2/dev

field $\C$ of complex numbers QQTP1EB3MX

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

Mentions

mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > field $\C$ of complex numbers, field $\C$ of complex numbers (unknown). Also Mathlib Complex.instField

History

2026-10-26: add by m2/dev

Joint fluctuations for independent edge arrays QQTZA9WJQF

URI	`m2://inv/QQTZA9WJQF`
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.19356#OJXK, Joint fluctuations for independent edge arrays (statement). In 2B5QA28NCX/e1, proposition 3.3

History

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

Median absolute deviation QQV0NHCCH0

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

Mentions

wikipedia: Wikipedia List of statistics articles#V3WF, Median absolute deviation (definition)

History

2026-11-02: add by m2/dev

QQVAXRBMW3 QQVAXRBMW3

URI	`m2://inv/QQVAXRBMW3`
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.19132#CCLN (statement). In 3CQJND929F/e1, lemma 3.2

History

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

∘ QQVCPPN8C9

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#ZTYS, ∘ (definition)

History

2026-11-02: add by m2/dev

Ky Fan lemma QQVD8Y77FN

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

Mentions

wikipedia: Wikipedia Ky Fan lemma, Ky Fan lemma (statement). Also Wikidata Q25303909

History

2026-11-02: add by m2/dev

QQVJQX00SJ QQVJQX00SJ

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

Mentions

arxiv: arXiv 2609.27800#Z1IW (definition)

History

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

Dummy variable (statistics) QQVJXHNQG2

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

Mentions

wikipedia: Wikipedia List of statistics articles#OOUL, Dummy variable (statistics) (definition)

History

2026-11-02: add by m2/dev

QQVNM6DWXE QQVNM6DWXE

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

Mentions

arxiv: arXiv math/0512416#2GKK (statement). In WJD9YPGGYH/e1, lemma 5.6

History

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

Goldberg–Sachs theorem QQVP8FW88X

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

Mentions

mathlib_1000: mathlib_1000 Q5579030, Goldberg–Sachs theorem (statement). Also Wikidata Q5579030
thousand_plus: thousand_plus Q5579030, Goldberg–Sachs theorem (statement). Also Wikidata Q5579030, Wikipedia Goldberg–Sachs theorem
wikipedia: Wikipedia Goldberg–Sachs theorem, Goldberg–Sachs theorem (statement). Also Wikidata Q5579030

History

2026-10-26: add by m2/dev

QQVRTJXDJQ QQVRTJXDJQ

URI	`m2://inv/QQVRTJXDJQ`
Kind	statement
Layer	research
MSC	03-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 2602.15812#QYJU (statement). In GAAZD3SGPN/e1, theorem

History

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

20 QQVZ2M3B5H

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

Mentions

wikipedia: Wikipedia 20 (number), 20 (definition). Also Wikidata Q40292

History

2026-11-02: add by m2/dev

Examples QQWKBT0Q07

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

Mentions

wikipedia: Wikipedia Coadjoint representation#72FV, Examples (example)

History

2026-11-02: add by m2/dev

Robert Astley QQWS44AM76

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

Mentions

wikipedia: Wikipedia List of actuaries#KJ8D, Robert Astley (unknown)

History

2026-11-02: add by m2/dev

Examples QQWSSPWQ9X

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

Mentions

wikipedia: Wikipedia Kneser graph#X8O4, Examples (example)

History

2026-11-02: add by m2/dev

QQX09VZ6DK QQX09VZ6DK

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

Mentions

arxiv: arXiv 2610.06455#F3TT (statement). In N6GB5J5BAY/e1, proposition 4.1

History

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

Bounded subset QQX3CST4YN

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

Mentions

wikipedia: Wikipedia List of general topology topics#RQNX, Bounded subset (definition)

History

2026-11-02: add by m2/dev

Directional affine extractors imply weakly read-once hardness QQX4MP21XW

URI	`m2://inv/QQX4MP21XW`
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#AGRN, Directional affine extractors imply weakly read-once hardness (statement). In ZZER8ZBSCR/e1, theorem 4.10

History

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

Lengyel's constant QQXB6Q55Z3

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

Mentions

wikidata: Wikidata Q31180166, Lengyel's constant (object). Also MathWorld LengyelsConstant

History

2026-10-26: add by m2/dev

QQXERE3BRG QQXERE3BRG

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

Mentions

austin_ula: austin_ula src/exercises/exercises4-4.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 4.4

History

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

Ball smoothing and minimizer distance QQXJC5ZYEQ

URI	`m2://inv/QQXJC5ZYEQ`
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.15202#9HE8, Ball smoothing and minimizer distance (statement). In X1FPG0KYBM/e1, proposition X.1

History

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

QQXJT50K5P QQXJT50K5P

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

Mentions

arxiv: arXiv 2610.14099#ZE0W (problem). In D77GXFTKFH/e1, problem 2

History

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

Coxeter group QQXSDXZ8BJ

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

Mentions

wikipedia: Wikipedia List of group theory topics#RPC0, Coxeter group (definition)

History

2026-11-02: add by m2/dev

H\"older Regularity QQXSN2EPWE

URI	`m2://inv/QQXSN2EPWE`
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.10167#RJJK, H\"older Regularity (statement). In SVMDSE7PKG/e1, lemma 3

History

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

QQXSNJF4WE QQXSNJF4WE

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

Mentions

arxiv: arXiv 2610.08385#WESX (statement). In D979582ST2/e1, lemma 1

History

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

Autoparametric resonance QQXT6CTQY4

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

Mentions

wikipedia: Wikipedia Parametric oscillator#2R0U, Autoparametric resonance (unknown)

History

2026-11-02: add by m2/dev

VoIP VPN QQXWNNS626

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#45VB, VoIP VPN (unknown)

History

2026-11-02: add by m2/dev

QQXXY79AHZ QQXXY79AHZ

URI	`m2://inv/QQXXY79AHZ`
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 2609.31274#9C7D (statement). In RK0ZMDJ23T/e1, lemma 3.4.2

History

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

Axiom 4 QQY4DE3C4Q

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

Mentions

wikipedia: Wikipedia Huzita–Hatori axioms#7AHY, Axiom 4 (statement)

History

2026-11-02: add by m2/dev

QQY6P5Y8TB QQY6P5Y8TB

URI	`m2://inv/QQY6P5Y8TB`
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#B5SL (statement). In 67GE5M1GGD/e1, corollary 6.9

History

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

QQYEF01BDA QQYEF01BDA

URI	`m2://inv/QQYEF01BDA`
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.40282#ZC5V (statement). In P86RWY99S2/e1, proposition 3.1.3

History

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

Free/pinned identity QQYPA2BHJ5

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

Mentions

arxiv: arXiv 2609.37762#4DEK, Free/pinned identity (statement). In 6YPMRQHMR5/e1, corollary 8

History

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

tree QQYS9E96TQ

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

Mentions

levin_dmoi: levin_dmoi index/5.2/tree, tree (concept). In Y91XFCEVHQ, index, section 5.2

History

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

Endpoint profile estimate QQYSCDJNZ6

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

Mentions

arxiv: arXiv 2610.14085#TQ2W, Endpoint profile estimate (statement). In T8F19ZGHF3/e1, lemma 6.3

History

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

Ladder capturing in Go QQYTCXF3CN

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#L8XY, Ladder capturing in Go (unknown)

History

2026-11-02: add by m2/dev

Banach–Alaoglu theorem QQYV4G5MM3

URI	`m2://inv/QQYV4G5MM3`
Kind	statement
Layer	textbook
MSC	46-XX
Sources	4
Outcome	open
Node	Banach–Alaoglu theorem 1BXEJXQ2YT

Mentions

mathlib_1000: mathlib_1000 Q537618, Banach–Alaoglu theorem (statement). Also Mathlib WeakDual.isCompact_polar, Wikidata Q537618
thousand_plus: thousand_plus Q537618, Banach–Alaoglu theorem (statement). Also Mathlib WeakDual.isCompact_polar, Wikidata Q537618, Wikipedia Banach–Alaoglu theorem
wikidata: Wikidata Q537618, Banach–Alaoglu theorem (statement). Also MathWorld Banach-AlaogluTheorem
wikipedia: Wikipedia Banach–Alaoglu theorem, Banach–Alaoglu theorem (statement). Also Wikidata Q537618

History

2026-10-26: add by m2/dev

QQYYFCBM7X QQYYFCBM7X

URI	`m2://inv/QQYYFCBM7X`
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 2408.13548#1D1H (definition). In EQF1ZQ5K1S/e1, definition 3.21

History

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

Theorem QQZ3DHGJFW

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

Mentions

wikipedia: Wikipedia Uniform boundedness principle#LWCS, Theorem (statement)

History

2026-11-02: add by m2/dev

Hermite differential equation QQZ7GF4EP1

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

Mentions

wikipedia: Wikipedia Hermite polynomials#EZMP, Hermite differential equation (unknown)

History

2026-11-02: add by m2/dev

Artin–Schreier theory QQZA4NASYA

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

Mentions

wikipedia: Wikipedia Glossary of field theory#23DN, Artin–Schreier theory (definition)

History

2026-11-02: add by m2/dev

QQZAK06PXD QQZAK06PXD

URI	`m2://inv/QQZAK06PXD`
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 1612.08394#U13Q (statement). In 1P8D88DKG5/e1, theorem 8.4

History

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

QQZBFACX59 QQZBFACX59

URI	`m2://inv/QQZBFACX59`
Kind	definition
Layer	research
MSC	05-XX, 14-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.05179#UQ11 (definition). In 9EMCPF1F2T/e1, definition 20

History

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

Indian Statistical Service QQZDPQ8H41

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

Mentions

wikipedia: Wikipedia Indian Statistical Service, Indian Statistical Service (definition). Also Wikidata Q28169400

History

2026-11-02: add by m2/dev

Brouwer's conjecture QQZEC265QK

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#8SOM, Brouwer's conjecture (conjecture)

History

2026-11-02: add by m2/dev

Absolute spirit QQZES8GEAF

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

Mentions

wikipedia: Wikipedia Georg Wilhelm Friedrich Hegel#LH2Y, Absolute spirit (unknown)

History

2026-11-02: add by m2/dev

Uniqueness of the step QQZRGNNWH3

URI	`m2://inv/QQZRGNNWH3`
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.17006#RE73, Uniqueness of the step (statement). In YY81ZEJ82P/e1, lemma 5.1

History

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

Rencontres numbers QQZVC8CA3R

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

Mentions

wikipedia: Wikipedia List of triangle topics#57F5, Rencontres numbers (definition)
wikipedia: Wikipedia List of permutation topics#P723, Rencontres numbers (definition)

History

2026-11-02: add by m2/dev