Inventory rows PQ

informal PQ03TY4DGG

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

Mentions

arxiv: arXiv 2609.33697#SG92, informal (statement). In Q6GGQ29TRC/e1, theorem

History

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

topological attachment PQ04ZSC6QK

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

Mentions

arxiv: arXiv 2610.15099#2038, topological attachment (statement). In PF5JJ9DS8Q/e1, proposition 3.4.3

History

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

PQ08Q0Q03G PQ08Q0Q03G

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

Mentions

arxiv: arXiv 2609.23281#4HXH (statement)

History

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

Formulation PQ0F98YVPE

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

Mentions

wikipedia: Wikipedia Cuspidal representation#IL9R, Formulation (definition)

History

2026-11-02: add by m2/dev

PQ0G6FXDQT PQ0G6FXDQT

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

Mentions

arxiv: arXiv 2609.21090#MFN8 (example)

History

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

PQ0RZB78QN PQ0RZB78QN

URI	`m2://inv/PQ0RZB78QN`
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.26019#Z9PX (statement)

History

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

Entropy derivatives PQ0T1Z3RD9

URI	`m2://inv/PQ0T1Z3RD9`
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#QQYP, Entropy derivatives (statement). In T8F19ZGHF3/e1, proposition 4.2

History

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

Alfred Aeppli PQ0TYZN4B1

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

Mentions

wikipedia: Wikipedia Alfred Aeppli, Alfred Aeppli (topic). Also Wikidata Q17319976

History

2026-11-02: add by m2/dev

Anecdotal evidence PQ0WP9Q5NB

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

Mentions

wikipedia: Wikipedia List of fallacies#X3XY, Anecdotal evidence (definition)

History

2026-11-02: add by m2/dev

Conic projection PQ0WQF03E3

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

Mentions

wikipedia: Wikipedia Map projection#RYJ8, Conic projection (unknown)

History

2026-11-02: add by m2/dev

PQ0YRYXRA8 PQ0YRYXRA8

URI	`m2://inv/PQ0YRYXRA8`
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.36811#P702 (statement). In ZQDX8E43SQ/e1, theorem 4.1

History

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

Examples PQ0ZEDVXBA

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

Mentions

wikipedia: Wikipedia Link group#0CLN, Examples (example)

History

2026-11-02: add by m2/dev

PQ0ZRCA5EB PQ0ZRCA5EB

URI	`m2://inv/PQ0ZRCA5EB`
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.21491#LFJB (definition)

History

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

PQ13HMHVJX PQ13HMHVJX

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

Mentions

arxiv: arXiv 2609.26769#9J34 (statement)

History

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

PQ183X59MK PQ183X59MK

URI	`m2://inv/PQ183X59MK`
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.13556#J6OC (problem). In 5ZB8N3YY72/e1, problem 6.4

History

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

Min-max theorem PQ1KY4SMZ0

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

Mentions

mathlib_1000: mathlib_1000 Q4454958, Min-max theorem (statement). Also Wikidata Q4454958
thousand_plus: thousand_plus Q4454958, Min-max theorem (statement). Also Wikidata Q4454958, Wikipedia Min-max theorem
wikipedia: Wikipedia Min-max theorem, Min-max theorem (statement). Also Wikidata Q4454958

History

2026-10-26: add by m2/dev

Replay equivalence PQ1NSMH5B0

URI	`m2://inv/PQ1NSMH5B0`
Kind	unknown
Layer	research
MSC	62-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15824#XOPI, Replay equivalence (unknown). In GDZXR87FJV/e1, unknown 3

History

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

Algorithm PQ1S73Q3ZZ

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

Mentions

wikipedia: Wikipedia Schnorr signature#V1GI, Algorithm (definition)

History

2026-11-02: add by m2/dev

PQ1TF4KBVN PQ1TF4KBVN

URI	`m2://inv/PQ1TF4KBVN`
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 2508.03972#KC14 (statement). In 2JD3KNKJ1P/e1, lemma 3.15

History

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

GeoGebra PQ1YMWWW6P

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

Mentions

wikidata: Wikidata Q795066, GeoGebra (unknown). Also nLab geogebra

History

2026-10-26: add by m2/dev

Nanolens PQ1YQ7AXXT

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

Mentions

wikipedia: Wikipedia Superlens#JOZH, Nanolens (unknown)

History

2026-11-02: add by m2/dev

Avoider-Enforcer game PQ2015ZRYX

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

Mentions

wikipedia: Wikipedia Avoider-Enforcer game, Avoider-Enforcer game (definition). Also Wikidata Q60791341

History

2026-11-02: add by m2/dev

PQ24W0N5J6 PQ24W0N5J6

URI	`m2://inv/PQ24W0N5J6`
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 2304.09819#9MMI (statement). In FYKSPSVT37/e1, corollary 4.2

History

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

Tree--graph bound PQ2D7NNK50

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

Mentions

arxiv: arXiv 2610.04452#JYAP, Tree--graph bound (definition). In ZV3ANMKJ0Y/e1, definition 5.1

History

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

GOE, subcritical PQ2G6JS8ZG

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

Mentions

arxiv: arXiv 2609.28781#XX1Y, GOE, subcritical (statement)

History

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

Taylor's theorem for real-analytic functions PQ2KN9PWXD

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#thm:tayloranal, Taylor's theorem for real-analytic functions (statement). In E59CDZA4DP, thm, section 1.3.4

History

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

Variants PQ2MJR9TPE

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

Mentions

wikipedia: Wikipedia Ellipsoid method#581H, Variants (statement)

History

2026-11-02: add by m2/dev

Piecewise algebraic space PQ2QN8HVK9

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

Mentions

wikipedia: Wikipedia Piecewise algebraic space, Piecewise algebraic space (definition). Also Wikidata Q116947352

History

2026-11-02: add by m2/dev

Meike Akveld PQ2XWB78W8

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

Mentions

wikipedia: Wikipedia Meike Akveld, Meike Akveld (topic). Also Wikidata Q102336037

History

2026-11-02: add by m2/dev

Tweakable block cipher PQ30BDCX2T

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

Mentions

wikipedia: Wikipedia Block cipher#KO9K, Tweakable block cipher (unknown)

History

2026-11-02: add by m2/dev

PQ30FW0JVK PQ30FW0JVK

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-54 (exercise). In E59CDZA4DP, exercise, section 2.4.4

History

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

PQ326ZAWHP PQ326ZAWHP

URI	`m2://inv/PQ326ZAWHP`
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.29022#W7PT (statement)

History

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

PQ3574172J PQ3574172J

URI	`m2://inv/PQ3574172J`
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#WGSE (statement). In S8NB83KQX3/e1, lemma 11

History

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

PQ35775M7G PQ35775M7G

URI	`m2://inv/PQ35775M7G`
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#06L3 (statement). In CC6S1HVK0T/e1, lemma 5.33

History

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

PQ3DZDPBE9 PQ3DZDPBE9

URI	`m2://inv/PQ3DZDPBE9`
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.07285#IA9I (statement). In S284XRA4WK/e1, lemma C.2

History

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

PQ3GFKK77S PQ3GFKK77S

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

Mentions

arxiv: arXiv 2609.24078#US25 (statement)

History

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

linear independence PQ3GJ9YJ09

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

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > linear independence, linear independence (unknown). Also Mathlib LinearIndependent

History

2026-10-26: add by m2/dev

Application PQ3HZ7DNEM

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

Mentions

wikipedia: Wikipedia Computational psychometrics#9HWM, Application (example)

History

2026-11-02: add by m2/dev

Vasanti N. Bhat-Nayak PQ3NRRQZ6Y

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JO99, Vasanti N. Bhat-Nayak (topic)

History

2026-11-02: add by m2/dev

C. I. Lewis PQ3QJNZGCY

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

Mentions

wikipedia: Wikipedia C. I. Lewis, C. I. Lewis (topic). Also Wikidata Q725642

History

2026-11-02: add by m2/dev

Uniqueness PQ3S1JK2PK

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#lt:uniqthm, Uniqueness (statement). In E9HS8K3A52, theorem, section 7.1.2

History

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

Erasing rule PQ3SKCQSPN

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

Mentions

wikipedia: Wikipedia Formal grammar#0ZAR, Erasing rule (unknown)

History

2026-11-02: add by m2/dev

Antoine Van Proeyen PQ3VDJ5XBJ

URI	`m2://inv/PQ3VDJ5XBJ`
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 Q57076885, Antoine Van Proeyen (unknown). Also nLab Antoine Van Proeyen

History

2026-10-26: add by m2/dev

Richard F. Bass PQ3WXJ19Z3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ANIO, Richard F. Bass (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FPCO, Richard F. Bass (topic)

History

2026-11-02: add by m2/dev

Prime number theorem PQ41SJVSNK

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#PVN4, Prime number theorem (statement)

History

2026-11-02: add by m2/dev

Basic Math PQ44EN0M43

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

Mentions

wikipedia: Wikipedia Basic Math (video game), Basic Math (definition). Also Wikidata Q130678

History

2026-11-02: add by m2/dev

De Morgan algebra PQ4H6KECNH

URI	`m2://inv/PQ4H6KECNH`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	De Morgan algebra 5Q53XWV0QN

Mentions

wikidata: Wikidata Q5244640, De Morgan algebra (unknown). Also nLab De Morgan algebra
wikipedia: Wikipedia De Morgan algebra, De Morgan algebra (definition). Also Wikidata Q5244640

History

2026-10-26: add by m2/dev

PQ4WSRHQCV PQ4WSRHQCV

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

Mentions

arxiv: arXiv 2610.22074#VQSW (statement). In F3BKXXPR3K/e1, lemma 3.49

History

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

PQ5124CGRG PQ5124CGRG

URI	`m2://inv/PQ5124CGRG`
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.02628#858I (statement). In G4S9C5M1A4/e1, proposition 3.3

History

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

PQ53JKVC68 PQ53JKVC68

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

Mentions

hott_book: hott_book homotopy.tex#thm:ses (statement). In N54F33XE07, lem, section 7.4

History

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

PQ5BDT07VN PQ5BDT07VN

URI	`m2://inv/PQ5BDT07VN`
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.20679#QQHP (statement)

History

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

Arf invariant of a knot PQ5C5SBXK9

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

Mentions

wikipedia: Wikipedia List of knot theory topics#9Q5Y, Arf invariant of a knot (definition)

History

2026-11-02: add by m2/dev

Clifford V. Johnson PQ5H64RJ46

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

Mentions

wikipedia: Wikipedia List of string theory topics#SKQO, Clifford V. Johnson (unknown)

History

2026-11-02: add by m2/dev

Uniformly bounded relevance errors PQ5NX5KQF1

URI	`m2://inv/PQ5NX5KQF1`
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.19207#ICPD, Uniformly bounded relevance errors (statement). In BH3R0BA3PC/e1, corollary 3

History

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

affine groups PQ5VGCS15C

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

Mentions

mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > affine groups, affine groups (unknown). Also Mathlib AffineEquiv.group

History

2026-10-26: add by m2/dev

PQ5YJH9R92 PQ5YJH9R92

URI	`m2://inv/PQ5YJH9R92`
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.22272#05OL (statement). In 4VZV5V0YD6/e1, lemma 2

History

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

Philosophy of probability PQ60PF30K7

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

Mentions

wikipedia: Wikipedia Probability interpretations#5LGH, Philosophy of probability (unknown)

History

2026-11-02: add by m2/dev

Examples PQ61D0N5WC

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

Mentions

wikipedia: Wikipedia Profinite group#DRG4, Examples (example)

History

2026-11-02: add by m2/dev

PQ62N8KG4W PQ62N8KG4W

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

Mentions

wikipedia: Wikipedia Burnside problem#ZLNE (problem)

History

2026-11-02: add by m2/dev

Malcolm J. Williamson PQ6EFZ9YZP

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

Mentions

wikipedia: Wikipedia Malcolm J. Williamson, Malcolm J. Williamson (topic). Also Wikidata Q1887059

History

2026-11-02: add by m2/dev

Generalized linear models PQ6PH2R9NG

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#5RKI, Generalized linear models (definition)

History

2026-11-02: add by m2/dev

Curvature and degree of the normal bundle PQ6SKA1XTJ

URI	`m2://inv/PQ6SKA1XTJ`
Kind	statement
Layer	research
MSC	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.25762#ORKM, Curvature and degree of the normal bundle (statement)

History

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

PQ6T78XG93 PQ6T78XG93

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

Mentions

arxiv: arXiv 2609.32977#8SJ9 (statement). In 4KT9TK3MG4/e1, lemma A.2

History

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

Subvaluationism PQ6W9R3MJB

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

Mentions

wikipedia: Wikipedia Vagueness#6WXN, Subvaluationism (unknown)

History

2026-11-02: add by m2/dev

PQ6YFN5RV6 PQ6YFN5RV6

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

Mentions

arxiv: arXiv 2610.01694#MYU0 (statement). In EBMHYN0XK9/e1, lemma 3.2

History

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

List of world regions by life expectancy PQ79W40TAT

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

Mentions

wikipedia: Wikipedia List of world regions by life expectancy, List of world regions by life expectancy (topic). Also Wikidata Q111891153

History

2026-11-02: add by m2/dev

PQ7D7E58JE PQ7D7E58JE

URI	`m2://inv/PQ7D7E58JE`
Kind	statement
Layer	research
MSC	05-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.22082#N45Z (statement). In 7PACGDW3N7/e1, lemma 9.2

History

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

Applications PQ7ENCKRQV

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

Mentions

wikipedia: Wikipedia Graph Fourier transform#2TED, Applications (example)

History

2026-11-02: add by m2/dev

PQ7KCQQPG6 PQ7KCQQPG6

URI	`m2://inv/PQ7KCQQPG6`
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.05672#R5CL (statement). In BQGX0XE2A6/e1, theorem 3.4

History

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

PQ7KFDVB54 PQ7KFDVB54

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

Mentions

arxiv: arXiv 2610.17240#JPX4 (statement). In 59BZ4V9RQW/e1, lemma 8.4

History

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

Quantum-minor factorization PQ7XR1M6P3

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

Mentions

arxiv: arXiv 2610.12531#OYK1, Quantum-minor factorization (statement). In D6RAQZ2DSK/e1, corollary 4.7

History

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

Symmetry PQ7Y4DTW9R

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

Mentions

wikipedia: Wikipedia Snub 24-cell#DWB0, Symmetry (statement)

History

2026-11-02: add by m2/dev

PQ7ZP6JYYW PQ7ZP6JYYW

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

Mentions

napkin: napkin tex/complex-ana/holomorphic.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 39.6

History

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

PQ8035BC5N PQ8035BC5N

URI	`m2://inv/PQ8035BC5N`
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 1903.07030#T5CE (definition). In 9H45HQE7AZ/e1, definition 2.21

History

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

PQ8C794NBP PQ8C794NBP

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

Mentions

arxiv: arXiv 2610.19585#HD07 (statement). In Z68E2KN4T2/e1, lemma 3

History

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

PQ8D1M0JWY PQ8D1M0JWY

URI	`m2://inv/PQ8D1M0JWY`
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.37973#0EG0 (statement). In 7276BGZRMP/e1, theorem 7

History

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

PQ8J4RZVRF PQ8J4RZVRF

URI	`m2://inv/PQ8J4RZVRF`
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.39793#NA3G (statement). In 380M45ANWF/e1, lemma 2.2

History

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

automorphism PQ8NE0P6CG

URI	`m2://inv/PQ8NE0P6CG`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Automorphism DSQ17TNW1C

Mentions

wikidata: Wikidata Q782566, automorphism (definition). Also EoM Automorphism, MathWorld Automorphism, nLab automorphism, ProofWiki Definition:Automorphism_(Abstract_Algebra)
wikipedia: Wikipedia Automorphism, Automorphism (definition). Also Wikidata Q782566

History

2026-10-26: add by m2/dev

PQ8R7H1ZCW PQ8R7H1ZCW

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

Mentions

arxiv: arXiv 2610.13142#25XS (statement). In KYW4YMVQAB/e1, lemma 3

History

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

Properties PQ8TZF5VRE

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

Mentions

wikipedia: Wikipedia Bilinear interpolation#XAVQ, Properties (statement)

History

2026-11-02: add by m2/dev

Cyclic special degeneration datum PQ8TZVNN4G

URI	`m2://inv/PQ8TZVNN4G`
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.20572#YKJV, Cyclic special degeneration datum (definition)

History

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

Definition PQ8VPTEWSZ

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

Mentions

wikipedia: Wikipedia Automorphic form#IPFU, Definition (definition)

History

2026-11-02: add by m2/dev

Claire Prada PQ90S0CJYG

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

Mentions

wikipedia: Wikipedia Claire Prada, Claire Prada (topic). Also Wikidata Q102151842

History

2026-11-02: add by m2/dev

Minimum description length PQ918W6N8C

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

Mentions

wikipedia: Wikipedia Minimum description length, Minimum description length (definition). Also Wikidata Q1417790

History

2026-11-02: add by m2/dev

PQ92SHYFB2 PQ92SHYFB2

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

Mentions

arxiv: arXiv 2609.38567#ABPP (definition). In 59AXA7QFTE/e1, definition 2

History

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

PQ97ZNF833 PQ97ZNF833

URI	`m2://inv/PQ97ZNF833`
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.35467#3CP1 (statement). In FK89DQ9J4S/e1, proposition 5.1

History

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

Properties PQ98GFCR10

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

Mentions

wikipedia: Wikipedia Manin matrix#2KZV, Properties (statement)

History

2026-11-02: add by m2/dev

Gian-Carlo Rota PQ9AV2NBN6

URI	`m2://inv/PQ9AV2NBN6`
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 Q1522271, Gian-Carlo Rota (unknown). Also nLab Gian-Carlo Rota
wikipedia: Wikipedia Gian-Carlo Rota, Gian-Carlo Rota (topic). Also Wikidata Q1522271

History

2026-10-26: add by m2/dev

Theorem PQ9EKFVTXT

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

Mentions

wikipedia: Wikipedia Minkowski plane#6HMC, Theorem (statement)

History

2026-11-02: add by m2/dev

Steffensen, Johan Frederik PQ9F8T6G2H

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

Mentions

wikipedia: Wikipedia List of statisticians#RUG3, Steffensen, Johan Frederik (topic)

History

2026-11-02: add by m2/dev

Support-Hessian midpoint inequality PQ9H0M0YH4

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

Mentions

arxiv: arXiv 2609.21670#RKS1, Support-Hessian midpoint inequality (statement)

History

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

Claw of Archimedes PQ9K9MXY3J

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

Mentions

wikipedia: Wikipedia List of things named after Archimedes#OZRP, Claw of Archimedes (unknown)

History

2026-11-02: add by m2/dev

PQ9ZBD2SVM PQ9ZBD2SVM

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

Mentions

arxiv: arXiv 2610.07092#C7DV (statement). In JWNYJVH8XG/e1, corollary 2.34

History

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

PQ9ZF4WKMM PQ9ZF4WKMM

URI	`m2://inv/PQ9ZF4WKMM`
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#1Z5M (statement). In 7ZFD9XRKA1/e1, lemma 2.26

History

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

When Topology Meets Chemistry PQA5TD7WFS

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

Mentions

wikipedia: Wikipedia When Topology Meets Chemistry, When Topology Meets Chemistry (definition). Also Wikidata Q104846449

History

2026-11-02: add by m2/dev

PQAK3XK2VJ PQAK3XK2VJ

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

Mentions

arxiv: arXiv 2610.20663#3P40 (statement). In AZMX0CY5NE/e1, corollary 7

History

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

Bernstein algebra PQAKPG7MQ7

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

Mentions

wikipedia: Wikipedia Genetic algebra#245T, Bernstein algebra (unknown)

History

2026-11-02: add by m2/dev

Russell L. Ackoff PQAWDHHWVB

URI	`m2://inv/PQAWDHHWVB`
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#ZM9K, Russell L. Ackoff (unknown)

History

2026-11-02: add by m2/dev

Metabidiminished rhombicosidodecahedron PQB2RDZ7PK

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#EIKR, Metabidiminished rhombicosidodecahedron (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YGGK, Metabidiminished rhombicosidodecahedron (definition)

History

2026-11-02: add by m2/dev

List of lemmas PQB3GDH5CN

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

Mentions

wikipedia: Wikipedia List of lemmas, List of lemmas (topic). Also Wikidata Q3244142

History

2026-11-02: add by m2/dev

Theorem PQB5YCYHXF

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

Mentions

wikipedia: Wikipedia Quaternionic eigenvalue problem#TAD0, Theorem (statement)

History

2026-11-02: add by m2/dev

PQBPHCFJEN PQBPHCFJEN

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-68 (exercise). In E9HS8K3A52, exercise, section 7.5.1

History

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

PQC04BTFWM PQC04BTFWM

URI	`m2://inv/PQC04BTFWM`
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.20366#PIEK (statement)

History

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

Definable approximations PQC3W2MK50

URI	`m2://inv/PQC3W2MK50`
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.08233#IVWU, Definable approximations (definition). In 2TXXQ2575Y/e1, definition 4.9

History

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

PQC7NJ6VR8 PQC7NJ6VR8

URI	`m2://inv/PQC7NJ6VR8`
Kind	statement
Layer	research
MSC	03-XX, 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.27872#KD9F (statement)

History

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

König's theorem PQC7VA2CWK

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

Mentions

mathlib_1000: mathlib_1000 Q2226774, König's theorem (statement). Also Wikidata Q2226774
thousand_plus: thousand_plus Q2226774, König's theorem (statement). Also Wikidata Q2226774, Wikipedia König's theorem (kinetics)
wikipedia: Wikipedia König's theorem (kinetics), König's theorem (statement). Also Wikidata Q2226774

History

2026-10-26: add by m2/dev

Plancherel–Rotach asymptotics PQC8QBG6W2

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

Mentions

wikipedia: Wikipedia Plancherel–Rotach asymptotics, Plancherel–Rotach asymptotics (definition). Also Wikidata Q108098751

History

2026-11-02: add by m2/dev

experimental mathematics PQCA68HEKE

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

Mentions

wikidata: Wikidata Q923592, experimental mathematics (topic). Also MathWorld ExperimentalMathematics, nLab experimental mathematics
wikipedia: Wikipedia Experimental mathematics, Experimental mathematics (definition). Also Wikidata Q923592

History

2026-10-26: add by m2/dev

partially ordered set PQCHK1SFXE

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

Mentions

applied_combinatorics: applied_combinatorics index/6.1/partially-ordered-set, partially ordered set (concept). In QKM9DD2H56, index, section 6.1

History

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

PQCY0FHP9C PQCY0FHP9C

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

Mentions

open_logic: open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#prop:add-ld (statement). In PKGMM3P5QY, prop, section 37.8

History

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

Definition PQCZPF49EW

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

Mentions

wikipedia: Wikipedia Doubling-oriented Doche–Icart–Kohel curve#9I3C, Definition (definition)

History

2026-11-02: add by m2/dev

PQD0JEGVTY PQD0JEGVTY

URI	`m2://inv/PQD0JEGVTY`
Kind	statement
Layer	research
MSC	37-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 2503.01567#503Q (statement). In GB0V23Q6C5/e1, lemma 6.1

History

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

PQD1DRW862 PQD1DRW862

URI	`m2://inv/PQD1DRW862`
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#SLIQ (definition). In Z7E16PFFCP/e1, definition 1.6

History

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

PQD2CXDXBY PQD2CXDXBY

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

Mentions

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

History

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

Formulation PQD2QEY8T9

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

Mentions

wikipedia: Wikipedia Weighted least squares#A6IT, Formulation (definition)

History

2026-11-02: add by m2/dev

PQD465F6SP PQD465F6SP

URI	`m2://inv/PQD465F6SP`
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.07190#KY9P (statement). In ZWS6Q4467X/e1, lemma C.4

History

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

One-step parameter motion PQDNCT3XYV

URI	`m2://inv/PQDNCT3XYV`
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.04357#9RBB, One-step parameter motion (statement). In 6FY8BVP1F3/e1, lemma I.5

History

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

Stochastic music PQDR72WPGA

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

Mentions

wikipedia: Wikipedia Stochastic#PAUL, Stochastic music (unknown)

History

2026-11-02: add by m2/dev

PQE34A87MB PQE34A87MB

URI	`m2://inv/PQE34A87MB`
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#IL2G (statement). In V42PPD7SWH/e1, lemma 4.11

History

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

Statement of the theorem PQEEEFKNZC

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

Mentions

wikipedia: Wikipedia Bierlein's measure extension theorem#J819, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Example PQEWA2B7VT

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

Mentions

wikipedia: Wikipedia 3-subset meet-in-the-middle attack#BHXW, Example (example)

History

2026-11-02: add by m2/dev

PQEWB8XP4D PQEWB8XP4D

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

Mentions

arxiv: arXiv 2609.25255#S6I5 (statement)

History

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

Law of averages PQEZM9S9DS

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

Mentions

wikipedia: Wikipedia Law of averages, Law of averages (statement). Also Wikidata Q6503441

History

2026-11-02: add by m2/dev

up quark PQFB82T4TK

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

Mentions

wikidata: Wikidata Q6732, up quark (unknown). Also nLab up quark

History

2026-10-26: add by m2/dev

Vijayanandi PQFP5HJYWH

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#QZDK, Vijayanandi (unknown)

History

2026-11-02: add by m2/dev

Uniqueness of the minimal partition via characteristics PQFQBXPE6D

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

Mentions

arxiv: arXiv 2610.17129#0XIW, Uniqueness of the minimal partition via characteristics (statement). In TCZWAMNYCV/e1, proposition 6.12

History

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

Variations PQFTNT80P2

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

Mentions

wikipedia: Wikipedia Deltoidal hexecontahedron#OQS5, Variations (statement)

History

2026-11-02: add by m2/dev

Einstein-Maxwell equations PQFW3364SP

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

Mentions

wikipedia: Wikipedia Einstein field equations#EEAS, Einstein-Maxwell equations (unknown)

History

2026-11-02: add by m2/dev

Chebyshev nodes PQG0F91AG7

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#11L5, Chebyshev nodes (definition)

History

2026-11-02: add by m2/dev

Klein cubic threefold PQG158VPV4

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

Mentions

wikipedia: Wikipedia List of things named after Felix Klein#54Y3, Klein cubic threefold (definition)

History

2026-11-02: add by m2/dev

Absolute derivative PQG5W2WRWH

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

Mentions

wikipedia: Wikipedia Covariant derivative#CS33, Absolute derivative (unknown)

History

2026-11-02: add by m2/dev

Generalizations PQGH936XGB

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

Mentions

wikipedia: Wikipedia Calkin algebra#R0MW, Generalizations (statement)

History

2026-11-02: add by m2/dev

PQGKZM426Z PQGKZM426Z

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

History

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

Leading-block system of rank $d$ PQGN0FNGE0

URI	`m2://inv/PQGN0FNGE0`
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.17608#X2MO, Leading-block system of rank $d$ (definition). In VAGWC38NSF/e1, definition 1.3

History

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

PQGQNN9J4R PQGQNN9J4R

URI	`m2://inv/PQGQNN9J4R`
Kind	statement
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#4X3H (statement). In 5KR3MHYVV6/e1, proposition 2.3

History

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

Quantum cryptography PQGV5SCSFE

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

Mentions

wikipedia: Wikipedia Quantum cryptography, Quantum cryptography (definition). Also Wikidata Q471906

History

2026-11-02: add by m2/dev

Examples PQGVRY1QND

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

Mentions

wikipedia: Wikipedia Principle of minimum energy#O6P0, Examples (example)

History

2026-11-02: add by m2/dev

Rank-two closed form PQGW5MT8DA

URI	`m2://inv/PQGW5MT8DA`
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 2610.20649#JCTQ, Rank-two closed form (statement). In XDTM624YPE/e1, proposition 10.1

History

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

Definition PQGZ6RFTX5

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

Mentions

wikipedia: Wikipedia Bachmann–Howard ordinal#5O7T, Definition (definition)

History

2026-11-02: add by m2/dev

vertex set PQH7YDJVJ3

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

Mentions

wikidata: Wikidata Q124247078, vertex set (definition). Also MathWorld VertexSet, ProofWiki Definition:Vertex_Set

History

2026-10-26: add by m2/dev

Eric Katz PQH98CF8GD

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

Mentions

wikipedia: Wikipedia Eric Katz, Eric Katz (topic). Also Wikidata Q32883260

History

2026-11-02: add by m2/dev

PQHB1CPM1X PQHB1CPM1X

URI	`m2://inv/PQHB1CPM1X`
Kind	statement
Layer	research
Sources	1
Outcome	record (an item of a paper that no node asks 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/0406514#7254 (statement). In CY1FE8W1ZW/e1, lemma 0.48

History

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

PQHDVKME6Z PQHDVKME6Z

URI	`m2://inv/PQHDVKME6Z`
Kind	statement
Layer	research
MSC	30-XX, 32-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.10505#5A95 (statement). In JW8HH6EPG2/e1, theorem 4.4

History

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

Definition 4 PQHEZQQFEV

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

Mentions

wikipedia: Wikipedia Petri net#4YLY, Definition 4 (definition)

History

2026-11-02: add by m2/dev

Definitions PQHPEA5RJP

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

Mentions

wikipedia: Wikipedia Cryptographically secure pseudorandom number generator#818Z, Definitions (definition)

History

2026-11-02: add by m2/dev

PQHQ0VAMGY PQHQ0VAMGY

URI	`m2://inv/PQHQ0VAMGY`
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.01802#YAX9 (definition). In XGPZ0G9E1Q/e1, definition 7.2

History

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

Definitions PQHS7SBKZH

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

Mentions

wikipedia: Wikipedia Error detection and correction#V2E5, Definitions (definition)

History

2026-11-02: add by m2/dev

PQJ200W6FR PQJ200W6FR

URI	`m2://inv/PQJ200W6FR`
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 2605.00407#OZ61 (statement). In TVFD0G3F2W/e1, proposition B.1

History

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

PQJ29S8BRY PQJ29S8BRY

URI	`m2://inv/PQJ29S8BRY`
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.23822#OWMM (statement)

History

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

PQJ57D556W PQJ57D556W

URI	`m2://inv/PQJ57D556W`
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 2508.01642#QTQ1 (statement). In CD9T8ZFES1/e1, theorem 3.3.1

History

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

Regularized value PQJ6JEE7KM

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

Mentions

arxiv: arXiv 2610.13658#HC58, Regularized value (definition). In R9BC934K3E/e1, definition 3.5

History

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

Clifford's circle theorems PQJ90GTGZT

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

Mentions

mathlib_1000: mathlib_1000 Q5132839, Clifford's circle theorems (statement). Also Wikidata Q5132839
thousand_plus: thousand_plus Q5132839, Clifford's circle theorems (statement). Also Wikidata Q5132839, Wikipedia Clifford's circle theorems
wikidata: Wikidata Q5132839, Clifford's circle theorems (statement). Also MathWorld CliffordsCircleTheorem
wikipedia: Wikipedia Clifford's circle theorems, Clifford's circle theorems (statement). Also Wikidata Q5132839

History

2026-10-26: add by m2/dev

Hermann of Reichenau PQJ91C0ZQJ

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

Mentions

wikipedia: Wikipedia List of German mathematicians#XKPR, Hermann of Reichenau (unknown)

History

2026-11-02: add by m2/dev

Intuitionist definitions of the law (principle) of excluded middle PQJJRKTAHZ

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

Mentions

wikipedia: Wikipedia Law of excluded middle#6411, Intuitionist definitions of the law (principle) of excluded middle (definition)

History

2026-11-02: add by m2/dev

recursion principle, for $\Sn^2$ PQJKC2FZZE

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

Mentions

hott_book: hott_book index/5.4/recursion-principle-for-sn-2, recursion principle, for $\Sn^2$ (concept). In N54F33XE07, index, section 5.4

History

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

PQJPNK2XF4 PQJPNK2XF4

URI	`m2://inv/PQJPNK2XF4`
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.12691#OW6N (statement). In YVQKT91MYN/e1, corollary 1

History

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

Christoph Rothmann PQJYFGTCDG

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

Mentions

wikipedia: Wikipedia Christoph Rothmann, Christoph Rothmann (topic). Also Wikidata Q74709

History

2026-11-02: add by m2/dev

Frozen sorting and particle blocks PQK46NSKCJ

URI	`m2://inv/PQK46NSKCJ`
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.08135#8XVR, Frozen sorting and particle blocks (statement). In D4PE6R0BT3/e1, lemma 2.2

History

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

Prime-exponent inequalities PQK7Z2F76W

URI	`m2://inv/PQK7Z2F76W`
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.33794#PDOA, Prime-exponent inequalities (statement). In W0PQMW25VY/e1, theorem 3.9

History

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

Heptagonal prism PQK8J8MWRA

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

Mentions

wikipedia: Wikipedia Heptagonal prism, Heptagonal prism (definition). Also Wikidata Q3753302

History

2026-11-02: add by m2/dev

Elizabeth Mannshardt PQKAQCVZZV

URI	`m2://inv/PQKAQCVZZV`
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#AS2A, Elizabeth Mannshardt (unknown)

History

2026-11-02: add by m2/dev

Susanne Bobzien PQKS9833QA

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

Mentions

wikipedia: Wikipedia List of women logicians#FHAP, Susanne Bobzien (topic)

History

2026-11-02: add by m2/dev

Namioka--Phelps PQM04SEB51

URI	`m2://inv/PQM04SEB51`
Kind	statement
Layer	research
MSC	46-XX, 54-XX
Sources	1
Outcome	node (a node of the research layer states the row (corpus arxiv AX9.2))
Node	Namioka--Phelps 2VQDK71A27

Mentions

arxiv: arXiv 2510.01873#5CZ6, Namioka--Phelps (statement). In FVZZDPEYNM/e1, theorem 2.5
arxiv: arXiv 2609.23167#ONLQ, Namioka--Phelps (statement)

History

2026-10-27: add by m2/v0.3.5
2026-11-02: outcome by m2 corpus adopt

Comparison of $r$ and $\bar r$ PQM304NR8S

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

Mentions

arxiv: arXiv 2609.01324#R6GM, Comparison of $r$ and $\bar r$ (statement). In XKXG49TNXH/e1, lemma 3.6

History

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

Kac Matrix PQM3J4JH73

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

Mentions

wikidata: Wikidata Q105332766, Kac Matrix (concept). Also MathWorld KacMatrix

History

2026-10-26: add by m2/dev

Properties PQM4MEA7QE

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

Mentions

wikipedia: Wikipedia Fifth power (algebra)#K727, Properties (statement)

History

2026-11-02: add by m2/dev

Generalization PQM6V00VJP

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

Mentions

wikipedia: Wikipedia Additive category#UIFW, Generalization (statement)

History

2026-11-02: add by m2/dev

Unique games conjecture PQM7MAEHGB

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

Mentions

wikipedia: Wikipedia Unique games conjecture, Unique games conjecture (conjecture). Also Wikidata Q7886950

History

2026-11-02: add by m2/dev

Rayleigh–Plesset equation PQM7N4PH1X

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

Mentions

wikipedia: Wikipedia Rayleigh–Plesset equation, Rayleigh–Plesset equation (definition). Also Wikidata Q7298492

History

2026-11-02: add by m2/dev

Differential entropy PQMF08ZGEH

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

Mentions

wikipedia: Wikipedia List of statistics articles#081R, Differential entropy (definition)

History

2026-11-02: add by m2/dev

PQMGW2Q493 PQMGW2Q493

URI	`m2://inv/PQMGW2Q493`
Kind	definition
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.37747#JDRH (definition). In GEYDNVZEP7/e1, definition 4.9

History

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

Terence Tao PQMH05360H

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#82D1, Terence Tao (topic)

History

2026-11-02: add by m2/dev

Example PQMJ5MGG3C

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

Mentions

wikipedia: Wikipedia Total least squares#L5WM, Example (example)

History

2026-11-02: add by m2/dev

PQMJ5XV5V7 PQMJ5XV5V7

URI	`m2://inv/PQMJ5XV5V7`
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.12736#7CKF (statement). In 5350Q52F6P/e1, proposition 2.6

History

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

Vanishing mediator PQMNW5V3MX

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

Mentions

wikipedia: Wikipedia Vanishing mediator, Vanishing mediator (definition). Also Wikidata Q7914973

History

2026-11-02: add by m2/dev

PQMRKAMCS2 PQMRKAMCS2

URI	`m2://inv/PQMRKAMCS2`
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.26600#CETL (statement)

History

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

PQMSKJ0PRT PQMSKJ0PRT

URI	`m2://inv/PQMSKJ0PRT`
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.17137#PRAS (statement). In GKHSE92M91/e1, lemma 3

History

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

William Hunter PQMVTVFQGJ

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

Mentions

wikipedia: Wikipedia William Hunter (statistician), William Hunter (topic). Also Wikidata Q15485464

History

2026-11-02: add by m2/dev

Definition PQNDEBJP4T

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

Mentions

wikipedia: Wikipedia Strong set order#VQ8Q, Definition (definition)

History

2026-11-02: add by m2/dev

Subgradient Tracking \& Quantized Drift Bound PQNG98THG0

URI	`m2://inv/PQNG98THG0`
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.00738#Y53K, Subgradient Tracking \& Quantized Drift Bound (statement). In 4TF7XCXPZ2/e1, lemma 2

History

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

deca PQNNAD65AP

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

Mentions

wikidata: Wikidata Q152516, deca (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/deka-

History

2026-10-26: add by m2/dev

Roman surface PQNTFCRFK6

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

Mentions

wikidata: Wikidata Q697161, Roman surface (unknown). Also MathWorld RomanSurface
wikipedia: Wikipedia Roman surface, Roman surface (definition). Also Wikidata Q697161

History

2026-10-26: add by m2/dev

PQNWEFXPPC PQNWEFXPPC

URI	`m2://inv/PQNWEFXPPC`
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.20702#Z4NU (statement)

History

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

PQNWTE55Y6 PQNWTE55Y6

URI	`m2://inv/PQNWTE55Y6`
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.17476#SCT8 (statement). In 6HXD74FA4S/e1, theorem B

History

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

flag variety PQNZTNE8CC

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

Mentions

wikidata: Wikidata Q78347520, flag variety (unknown). Also MathWorld FlagManifold, nLab flag variety

History

2026-10-26: add by m2/dev

PQP03EN4N1 PQP03EN4N1

URI	`m2://inv/PQP03EN4N1`
Kind	statement
Layer	research
MSC	17-XX, 19-XX, 46-XX, 47-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 2504.00596#OZE6 (statement). In F8RC6AENB0/e1, theorem 7.3

History

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

PQP2P8MQV1 PQP2P8MQV1

URI	`m2://inv/PQP2P8MQV1`
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#AG0F (definition). In Z7E16PFFCP/e1, definition 4.15

History

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

Countable directedness PQP8YWS6MC

URI	`m2://inv/PQP8YWS6MC`
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.14548#NB0H, Countable directedness (statement). In TTNKABAYVB/e1, lemma 2.6

History

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

PQPEW2MBGH PQPEW2MBGH

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

Mentions

arxiv: arXiv 2609.26873#V947 (statement)

History

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

PQPJ7GD82S PQPJ7GD82S

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

Mentions

austin_ula: austin_ula src/section6-1.xml#example-1 (example). In 649HGZKE96, example, section 6.1.2

History

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

PQPTWPDSJE PQPTWPDSJE

URI	`m2://inv/PQPTWPDSJE`
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.17897#I55J (statement). In G116A4SMS4/e1, lemma 5

History

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

Full rank and minimum weight of the unitary design codes PQPW7KEFEB

URI	`m2://inv/PQPW7KEFEB`
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.15340#AZT1, Full rank and minimum weight of the unitary design codes (statement). In 9NVKKW8HDH/e1, proposition 3.25

History

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

PQPXV5D12Q PQPXV5D12Q

URI	`m2://inv/PQPXV5D12Q`
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.27834#574M (statement)

History

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

Early-stopping lower bound PQPZG15SJ6

URI	`m2://inv/PQPZG15SJ6`
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.10875#PL1G, Early-stopping lower bound (statement). In N91F15MHW1/e1, lemma 32

History

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

PQQ8A53KYP PQQ8A53KYP

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

Mentions

arxiv: arXiv 2504.13328#8PZR (definition). In 736Q32FYCG/e1, definition 3.1

History

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

resolvent cubic PQQGA6PC7W

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

Mentions

wikidata: Wikidata Q7315718, resolvent cubic (unknown). Also MathWorld ResolventCubic
wikipedia: Wikipedia Resolvent cubic, Resolvent cubic (definition). Also Wikidata Q7315718

History

2026-10-26: add by m2/dev

PQQHPMSFDZ PQQHPMSFDZ

URI	`m2://inv/PQQHPMSFDZ`
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.32439#L16N (statement). In GD8D1YH7K4/e1, corollary 3.4

History

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

Mathematics: The Loss of Certainty PQQHYWZH91

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

Mentions

wikipedia: Wikipedia Mathematics: The Loss of Certainty, Mathematics: The Loss of Certainty (definition). Also Wikidata Q6786880

History

2026-11-02: add by m2/dev

Functional area PQQJRP59Y4

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

Mentions

wikipedia: Wikipedia Functional area, Functional area (definition). Also Wikidata Q108921116

History

2026-11-02: add by m2/dev

PQQWD9XWME PQQWD9XWME

URI	`m2://inv/PQQWD9XWME`
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.08766#RWDM (statement). In QA4JM9SHPA/e1, lemma 3.5

History

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

PQR6HVXN1N PQR6HVXN1N

URI	`m2://inv/PQR6HVXN1N`
Kind	definition
Layer	research
MSC	35-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 1503.05744#54AC (definition). In 5XKHZKEGAF/e1, definition 2.6

History

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

PQR7TFWRFH PQR7TFWRFH

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

Mentions

arxiv: arXiv 2609.33231#UX23 (definition). In WPDRT63QNW/e1, definition 2.2

History

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

PQRH6V3CG0 PQRH6V3CG0

URI	`m2://inv/PQRH6V3CG0`
Kind	statement
Layer	research
MSC	20-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 2609.25151#PBGJ (statement)

History

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

PQRJ67W95T PQRJ67W95T

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

Mentions

arxiv: arXiv 2609.24001#TLLG (statement)

History

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

Weighted AM–GM inequality PQRQ11BK6W

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

Mentions

wikipedia: Wikipedia AM–GM inequality#EY9S, Weighted AM–GM inequality (statement)

History

2026-11-02: add by m2/dev

PQRSMZ1R80 PQRSMZ1R80

URI	`m2://inv/PQRSMZ1R80`
Kind	problem
Layer	research
MSC	20-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.16834#3C7G (problem). In Q0DTV6PJJW/e1, problem 6.8

History

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

Boundary annulus for the first slopes PQS0Y4JNDM

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

Mentions

arxiv: arXiv 2610.05652#2WEA, Boundary annulus for the first slopes (definition). In 8BNPFYQDQX/e1, definition 5.3

History

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

Computed values for $\Theta_{\mathrm{cert}}$ PQS6MRMZW1

URI	`m2://inv/PQS6MRMZW1`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#B3NZ, Computed values for $\Theta_{\mathrm{cert}}$ (statement). In JY6RYSNXMJ/e1, proposition 9

History

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

AND gate PQS824VWZ7

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

Mentions

wikidata: Wikidata Q560370, AND gate (unknown). Also MathWorld AND

History

2026-10-26: add by m2/dev

Clifford displacement PQSA6HBT66

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

Mentions

wikipedia: Wikipedia Rotations in 4-dimensional Euclidean space#S36Q, Clifford displacement (unknown)

History

2026-11-02: add by m2/dev

PQSBT1HKAY PQSBT1HKAY

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

Mentions

wikipedia: Wikipedia Euclid number#Q6WS (problem)

History

2026-11-02: add by m2/dev

PQSKSP786B PQSKSP786B

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

Mentions

arxiv: arXiv 2610.16989#W0L1 (statement). In 4769XNDWYS/e1, proposition 4.2

History

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

PQSP6952TX PQSP6952TX

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

Mentions

arxiv: arXiv 2609.26496#YT89 (statement)

History

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

forest PQSPMN38K0

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#DUCQ, forest (definition)

History

2026-11-02: add by m2/dev

PQSWEM3XJN PQSWEM3XJN

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

Mentions

arxiv: arXiv 2609.20516#PCLP (definition)

History

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

Definitions PQT70KAG41

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

Mentions

wikipedia: Wikipedia Primitive equations#TTS8, Definitions (definition)

History

2026-11-02: add by m2/dev

partially ordered set PQTC2THJDE

URI	`m2://inv/PQTC2THJDE`
Kind	definition
Layer	textbook
MSC	06A06
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Partial order 0QV2JS9RJ3

Mentions

wikidata: Wikidata Q474715, partially ordered set (topic). Also MathWorld PartiallyOrderedSet
wikipedia: Wikipedia Partially ordered set, Partially ordered set (definition). Also Wikidata Q474715

History

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

PQTFAG0CTK PQTFAG0CTK

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-1 (exercise). In E9HS8K3A52, exercise, section 3.1.1

History

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

An It{\^o}-like formula PQV11NNAFT

URI	`m2://inv/PQV11NNAFT`
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 2202.02831#IY8T, An It{\^o}-like formula (statement). In YA5DBTQCB1/e1, proposition 3.4

History

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

Y.\,Qin PQV235P5PS

URI	`m2://inv/PQV235P5PS`
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 2311.01874#DU45, Y.\,Qin (statement). In A4TR95VGX2/e1, theorem 5.3.7

History

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

Lower semicontinuity PQV504QGT8

URI	`m2://inv/PQV504QGT8`
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.01855#84ZH, Lower semicontinuity (statement). In MM8P5CJR18/e1, proposition A.4

History

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

Projection lemma PQV5G5RQWS

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

Mentions

wikipedia: Wikipedia Finsler's lemma#5AX6, Projection lemma (statement)

History

2026-11-02: add by m2/dev

Mackey–Arens theorem PQV6QFZGN7

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

Mentions

wikipedia: Wikipedia Mackey–Arens theorem#GQO6, Mackey–Arens theorem (statement)

History

2026-11-02: add by m2/dev

CES utility PQV818ZV1Q

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

Mentions

wikipedia: Wikipedia Constant elasticity of substitution#9YD9, CES utility (unknown)

History

2026-11-02: add by m2/dev

PQVEXKPH9S PQVEXKPH9S

URI	`m2://inv/PQVEXKPH9S`
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.23128#1UFT (statement)

History

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

PQVQJSGHF0 PQVQJSGHF0

URI	`m2://inv/PQVQJSGHF0`
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#F84T (statement). In ZZER8ZBSCR/e1, corollary 5.20

History

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

Geometry-to-accuracy transfer PQVQR5HP1X

URI	`m2://inv/PQVQR5HP1X`
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.11309#BYFV, Geometry-to-accuracy transfer (statement). In TTEAQA1XXR/e1, theorem C.20

History

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

Lipschitz constant of the lifted angular vector field PQVQVMZS0B

URI	`m2://inv/PQVQVMZS0B`
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#QJVM, Lipschitz constant of the lifted angular vector field (statement). In YCRZC9SDCE/e1, lemma 5.2

History

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

PQVQY3P8C1 PQVQY3P8C1

URI	`m2://inv/PQVQY3P8C1`
Kind	definition
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 2609.21914#QQHX (definition)

History

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

PQVTYY6N71 PQVTYY6N71

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

Mentions

arxiv: arXiv 2108.09796#BAY7 (statement). In NAA7WFQN20/e1, lemma 6.2

History

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

Nikolaus Hofreiter PQVXXXNHTZ

URI	`m2://inv/PQVXXXNHTZ`
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#5CUY, Nikolaus Hofreiter (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6I6B, Nikolaus Hofreiter (topic)

History

2026-11-02: add by m2/dev

Categorical distribution PQW1YN1H6H

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

Mentions

wikipedia: Wikipedia List of statistics articles#MMOA, Categorical distribution (definition)

History

2026-11-02: add by m2/dev

linear programming PQW4MPQ0JC

URI	`m2://inv/PQW4MPQ0JC`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Linear programming VNMXB0J2KA

Mentions

wikidata: Wikidata Q202843, linear programming (definition). Also EoM Linear_programming, MathWorld LinearProgramming, ProofWiki Definition:Linear_Programming
wikipedia: Wikipedia Linear programming, Linear programming (definition). Also Wikidata Q202843

History

2026-10-26: add by m2/dev

𝔥 PQWG2FKGXE

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

Mentions

wikipedia: Wikipedia Glossary of set theory#PBP3, 𝔥 (definition)

History

2026-11-02: add by m2/dev

PQWXAHNZ5D PQWXAHNZ5D

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

Mentions

arxiv: arXiv 2603.28861#A19R (statement). In A3VQ2TNRKK/e1, corollary 3.2

History

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

Exponential-logarithmic distribution PQWXX7A77V

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

Mentions

wikipedia: Wikipedia Exponential-logarithmic distribution, Exponential-logarithmic distribution (definition). Also Wikidata Q5421512

History

2026-11-02: add by m2/dev

PQX2XBNG8E PQX2XBNG8E

URI	`m2://inv/PQX2XBNG8E`
Kind	example
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.12736#HJ0Z (example). In 5350Q52F6P/e1, example 1

History

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

Bernstein Chaining PQX39F533A

URI	`m2://inv/PQX39F533A`
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.15111#HC2U, Bernstein Chaining (statement). In 6RE6JYE4GP/e1, theorem F.4

History

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

Rob Schneiderman PQX87TXKY6

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

Mentions

wikipedia: Wikipedia Rob Schneiderman (mathematician), Rob Schneiderman (topic). Also Wikidata Q2156072

History

2026-11-02: add by m2/dev

Maximal ergodic theorem PQX8SFTFWT

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

Mentions

wikipedia: Wikipedia List of theorems#N7SZ, Maximal ergodic theorem (statement)

History

2026-11-02: add by m2/dev

Minggatu PQXEG41Q0N

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#LUBZ, Minggatu (unknown)

History

2026-11-02: add by m2/dev

PQXH7FHT4E PQXH7FHT4E

URI	`m2://inv/PQXH7FHT4E`
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.07508#2HB1 (statement). In TPA3E67MKK/e1, theorem B

History

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

Arithmetic combinatorics PQXHSYCJJG

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

Mentions

wikipedia: Wikipedia Arithmetic combinatorics, Arithmetic combinatorics (definition). Also Wikidata Q4306188

History

2026-11-02: add by m2/dev

PQXHWGMEN5 PQXHWGMEN5

URI	`m2://inv/PQXHWGMEN5`
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.06529#LFKU (statement). In JFQY4CYHKP/e1, lemma 2.8

History

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

Adelaide Smith PQXHZP2TJR

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

Mentions

wikipedia: Wikipedia Adelaide Smith, Adelaide Smith (topic). Also Wikidata Q95212403

History

2026-11-02: add by m2/dev

Cotes's spiral PQXR81F2KH

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

Mentions

wikidata: Wikidata Q5175339, Cotes's spiral (concept). Also MathWorld CotesSpiral
wikipedia: Wikipedia Cotes's spiral, Cotes's spiral (definition). Also Wikidata Q5175339

History

2026-10-26: add by m2/dev

Polyhedral map projection PQXS3SD1TS

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

Mentions

wikipedia: Wikipedia Polyhedral map projection, Polyhedral map projection (definition). Also Wikidata Q110078789

History

2026-11-02: add by m2/dev

Patrick Hayden PQXYBBQ8VM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VZF3, Patrick Hayden (unknown)

History

2026-11-02: add by m2/dev

PQY1HANK4B PQY1HANK4B

URI	`m2://inv/PQY1HANK4B`
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.35186#3PRW (statement). In VFNPANY3HD/e1, theorem 2

History

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

Implications of the theorem PQY8F41K9E

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

Mentions

wikipedia: Wikipedia Kolmogorov extension theorem#W96D, Implications of the theorem (statement)

History

2026-11-02: add by m2/dev

vector calculus PQY97VKWK3

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

Mentions

wikidata: Wikidata Q200802, vector calculus (topic). Also EoM Vector_calculus
wikipedia: Wikipedia Vector calculus, Vector calculus (definition). Also Wikidata Q200802

History

2026-10-26: add by m2/dev

PQYE6WQE8W PQYE6WQE8W

URI	`m2://inv/PQYE6WQE8W`
Kind	problem
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.08873#KW7C (problem). In 7WMNVJBAVR/e1, problem 1.3

History

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

Statement of the theorem PQYG4SMZH3

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

Mentions

wikipedia: Wikipedia Richardson's theorem#ZI6J, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Definition PQYGN9HD27

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

Mentions

wikipedia: Wikipedia Shift operator#SKNX, Definition (definition)

History

2026-11-02: add by m2/dev

Generalizations PQYJZMXNNZ

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

Mentions

wikipedia: Wikipedia Multiplicative function#3F2L, Generalizations (statement)

History

2026-11-02: add by m2/dev

PQYT8PYS7V PQYT8PYS7V

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

Mentions

arxiv: arXiv 2609.20798#A4QB (statement)

History

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

balanced PQYTBP199W

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

Mentions

wikipedia: Wikipedia Glossary of category theory#ATMG, balanced (definition)

History

2026-11-02: add by m2/dev

No atoms, no CHT PQZ3YZW82S

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

Mentions

arxiv: arXiv 2609.20683#VYQZ, No atoms, no CHT (statement)

History

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

PQZ6EHZ613 PQZ6EHZ613

URI	`m2://inv/PQZ6EHZ613`
Kind	example
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.10937#LJR3 (example). In 6VVK3YTABP/e1, example 8.4

History

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

Moore graph PQZCVXQMA6

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#X5X0, Moore graph (definition)

History

2026-11-02: add by m2/dev

Cheeger inequality PQZQ9VE6PA

URI	`m2://inv/PQZQ9VE6PA`
Kind	statement
Layer	research
MSC	05-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 2310.17520#IRNI, Cheeger inequality (statement). In 93AJXFH963/e1, theorem 2

History

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

Breather surface PQZW3ZCYNV

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

Mentions

wikipedia: Wikipedia Breather surface, Breather surface (object). Also Wikidata Q4959891

History

2026-11-02: add by m2/dev