Inventory rows GX

GX01CB8KPE GX01CB8KPE

URI	`m2://inv/GX01CB8KPE`
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 2610.07671#301V (example). In XHHBGCVG90/e1, example 2.2.1

History

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

Lou van den Dries GX04665KN4

URI	`m2://inv/GX04665KN4`
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#36KD, Lou van den Dries (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IIA4, Lou van den Dries (topic)

History

2026-11-02: add by m2/dev

GX0B21ZEJ0 GX0B21ZEJ0

URI	`m2://inv/GX0B21ZEJ0`
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#G3ZL (statement). In 67GE5M1GGD/e1, theorem 4.13

History

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

Outline of probability GX0GGZ0QQC

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

Mentions

wikipedia: Wikipedia Outline of probability, Outline of probability (topic). Also Wikidata Q7112704

History

2026-11-02: add by m2/dev

Hamilton's equations GX0GT54XKC

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

Mentions

wikidata: Wikidata Q1115699, Hamilton's equations (unknown). Also MathWorld HamiltonsEquations, nLab Hamilton's equations

History

2026-10-26: add by m2/dev

MAOL table book GX0H1XEX1Q

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

Mentions

wikipedia: Wikipedia MAOL table book, MAOL table book (definition). Also Wikidata Q6714334

History

2026-11-02: add by m2/dev

Springer correspondence GX0MZEGNQW

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

Mentions

wikidata: Wikidata Q7580874, Springer correspondence (unknown). Also nLab Springer correspondence

History

2026-10-26: add by m2/dev

When an exponent exists at all GX0RTJDSFJ

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

Mentions

arxiv: arXiv 2609.27766#4WYM, When an exponent exists at all (statement)

History

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

Great duoantiprism GX0TV1BB47

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

Mentions

wikipedia: Wikipedia Great duoantiprism, Great duoantiprism (object). Also Wikidata Q17019038

History

2026-11-02: add by m2/dev

Gladys L. Palmer GX14VZQDH7

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

Mentions

wikipedia: Wikipedia Gladys L. Palmer, Gladys L. Palmer (topic). Also Wikidata Q42731890

History

2026-11-02: add by m2/dev

Unweighted $C^{(1,3)}$ Hawking singularity theorem, version 2 GX16JDJVJ3

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

Mentions

arxiv: arXiv 2610.11911#LUC0, Unweighted $C^{(1,3)}$ Hawking singularity theorem, version 2 (statement). In 5BYE5NYB89/e1, theorem 1.5

History

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

Computer simulation GX1718WPX5

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

Mentions

wikipedia: Wikipedia List of psychological research methods#3PJJ, Computer simulation (unknown)

History

2026-11-02: add by m2/dev

SOFA Statistics GX1809TP4W

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

Mentions

wikipedia: Wikipedia List of statistics articles#3X5H, SOFA Statistics (definition)

History

2026-11-02: add by m2/dev

Weak small-dispersion limit GX18ZSJBGF

URI	`m2://inv/GX18ZSJBGF`
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.00770#0HWS, Weak small-dispersion limit (statement). In AYGRJSRG1M/e1, theorem

History

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

GX1AGC4CCX GX1AGC4CCX

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 58.4

History

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

endpoint GX1FQZP7JA

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

Mentions

wikidata: Wikidata Q132444435, endpoint (unknown). Also MathWorld Endpoint

History

2026-10-26: add by m2/dev

Trinafour GX1JV7YH7M

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

Mentions

wikipedia: Wikipedia List of places with numeric names#TCKY, Trinafour (unknown)

History

2026-11-02: add by m2/dev

Fermat's principle GX1SBCWXTT

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

Mentions

wikipedia: Wikipedia List of variational topics#J30T, Fermat's principle (statement)

History

2026-11-02: add by m2/dev

GX1V25QSN9 GX1V25QSN9

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

Mentions

arxiv: arXiv 2510.12502#KS3I (statement). In 3A4K47Y9F2/e1, lemma 5.20

History

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

GX1WQQRWFK GX1WQQRWFK

URI	`m2://inv/GX1WQQRWFK`
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#PRBW (statement). In CY1FE8W1ZW/e1, proposition 0.276

History

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

Further examples GX2134YNKT

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

Mentions

wikipedia: Wikipedia Separable space#301Y, Further examples (example)

History

2026-11-02: add by m2/dev

GX2DT73HRD GX2DT73HRD

URI	`m2://inv/GX2DT73HRD`
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 2204.13401#9J41 (statement). In B8MJT0GGW8/e1, theorem 4.31

History

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

Examples GX2T2XC035

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

Mentions

wikipedia: Wikipedia Bayes estimator#36DT, Examples (example)

History

2026-11-02: add by m2/dev

GX2V51BM1C GX2V51BM1C

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

Mentions

arxiv: arXiv 2610.07445#GQZM (example). In F1BM3Q8125/e1, example 4.5

History

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

Tetrahectogon GX2VEH6HDZ

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#4YSD, Tetrahectogon (unknown)

History

2026-11-02: add by m2/dev

461 (number) GX2X6320RX

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

Mentions

wikipedia: Wikipedia 400 (number)#PSRW, 461 (number) (unknown)

History

2026-11-02: add by m2/dev

Kleiber's law GX31TVZ9H0

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

Mentions

wikipedia: Wikipedia Kleiber's law, Kleiber's law (statement). Also Wikidata Q911088

History

2026-11-02: add by m2/dev

phase transfer function GX357TD1VX

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

Mentions

wikipedia: Wikipedia Optical transfer function#3M5I, phase transfer function (definition)
wikipedia: Wikipedia Optical transfer function#Z5G1, modulation transfer function (definition)

History

2026-11-02: add by m2/dev

Example GX38BVMZC3

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

Mentions

wikipedia: Wikipedia Hamming code#8G4A, Example (example)

History

2026-11-02: add by m2/dev

GX3A677DKX GX3A677DKX

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

Mentions

arxiv: arXiv 2609.21692#39N0 (definition)

History

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

Imputation (statistics) GX3BH8XQP7

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

Mentions

wikipedia: Wikipedia List of statistics articles#VYR5, Imputation (statistics) (definition)

History

2026-11-02: add by m2/dev

GX3H5M4Y9N GX3H5M4Y9N

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

Mentions

applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-6 (exercise). In QKM9DD2H56, exercise, section 7

History

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

Bayesian survival analysis GX3KSQT39N

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

Mentions

wikipedia: Wikipedia Bayesian survival analysis, Bayesian survival analysis (definition). Also Wikidata Q28456562

History

2026-11-02: add by m2/dev

GX3Q8JZ4RF GX3Q8JZ4RF

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

Mentions

arxiv: arXiv 2610.03358#PIFH (definition). In KCXEY7HJ8V/e1, definition 2

History

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

GX3R5CE4FG GX3R5CE4FG

URI	`m2://inv/GX3R5CE4FG`
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 2601.01000#N6KO (statement). In RYFV9HGWWZ/e1, lemma 13

History

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

Weingarten equations GX3RQ1MKMF

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

Mentions

wikidata: Wikidata Q867522, Weingarten equations (concept). Also MathWorld WeingartenEquations
wikipedia: Wikipedia Weingarten equations, Weingarten equations (definition). Also Wikidata Q867522

History

2026-10-26: add by m2/dev

GX3ZJTVDT5 GX3ZJTVDT5

URI	`m2://inv/GX3ZJTVDT5`
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.16399#9K9X (statement). In 2N87D4KTSY/e1, lemma 4.5

History

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

Deletion Descendants GX43HZEJWE

URI	`m2://inv/GX43HZEJWE`
Kind	definition
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 2609.37578#DLM1, Deletion Descendants (definition). In D7NDCWSDJE/e1, definition 1

History

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

List of manifolds GX4QHAYZ2P

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

Mentions

wikipedia: Wikipedia List of manifolds, List of manifolds (topic). Also Wikidata Q3890093

History

2026-11-02: add by m2/dev

GX4RGVZCQC GX4RGVZCQC

URI	`m2://inv/GX4RGVZCQC`
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 2210.16706#MJZ9 (statement). In JSRVKPT87E/e1, proposition

History

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

GX4SZKBMY8 GX4SZKBMY8

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-57 (exercise). In E59CDZA4DP, exercise, section 11.5.2

History

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

fundamental theorem of calculus GX4VRV4NA2

URI	`m2://inv/GX4VRV4NA2`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	6
Outcome	node (a node has the same Wikidata item as the row)
Node	Fundamental theorem of calculus 0NHGY0N0JB

Mentions

mathlib_100: mathlib_100 15, Fundamental Theorem of Integral Calculus (statement). Also Mathlib intervalIntegral.integral_hasStrictDerivAt_of_tendsto_ae_right, Mathlib intervalIntegral.integral_eq_sub_of_hasDeriv_right_of_le
mathlib_1000: mathlib_1000 Q1217677, Fundamental theorem of calculus (statement). Also Mathlib intervalIntegral.integral_hasStrictDerivAt_of_tendsto_ae_right, Mathlib intervalIntegral.integral_eq_sub_of_hasDeriv_right_of_le, Wikidata Q1217677
mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > fundamental theorem of calculus, part 2, fundamental theorem of calculus, part 2 (unknown). Also Mathlib intervalIntegral.integral_eq_sub_of_hasDeriv_right_of_le
thousand_plus: thousand_plus Q1217677, Fundamental theorem of calculus (statement). Also Mathlib intervalIntegral.integral_hasStrictDerivAt_of_tendsto_ae_right, Mathlib intervalIntegral.integral_eq_sub_of_hasDeriv_right_of_le, Wikidata Q1217677, Wikipedia Fundamental theorem of calculus
wikidata: Wikidata Q1217677, fundamental theorem of calculus (statement). Also EoM Newton-Leibniz_formula, MathWorld FundamentalTheoremsofCalculus, nLab fundamental theorem of calculus, ProofWiki Fundamental_Theorem_of_Calculus
wikipedia: Wikipedia Fundamental theorem of calculus, Fundamental theorem of calculus (statement). Also Wikidata Q1217677

History

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

GX4X36CK06 GX4X36CK06

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

Mentions

arxiv: arXiv 2609.29653#CAXM (statement)

History

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

GX4XH3NCE4 GX4XH3NCE4

URI	`m2://inv/GX4XH3NCE4`
Kind	definition
Layer	research
MSC	18-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 1912.02769#G3FW (definition). In JH7VQ2EC16/e1, definition

History

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

GX52FGM41S GX52FGM41S

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

Mentions

arxiv: arXiv 2609.36088#971J (statement). In QJD3MZMJHW/e1, corollary 3.3

History

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

orbibundle GX53QNDG23

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#Q20Y, orbibundle (definition)

History

2026-11-02: add by m2/dev

GX573860S4 GX573860S4

URI	`m2://inv/GX573860S4`
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.22469#1NQ6 (statement)

History

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

Graded quotients are graded too GX59391GSV

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

Mentions

napkin: napkin tex/alg-geom/proj-var.tex#lemma-1, Graded quotients are graded too (statement). In RZP28ERRZV, lemma, section 23.1

History

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

Equipossible GX59EZ2KJR

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

Mentions

wikipedia: Wikipedia List of statistics articles#4QVM, Equipossible (definition)

History

2026-11-02: add by m2/dev

GX5MZ57WZQ GX5MZ57WZQ

URI	`m2://inv/GX5MZ57WZQ`
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.14616#GNPQ (statement). In 17ACAG0N9C/e1, lemma 4.2

History

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

GX5QY2TC5Q GX5QY2TC5Q

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

Mentions

arxiv: arXiv 2610.04165#YZ0Z (statement). In PKN283MHF8/e1, proposition 4.1

History

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

Jean Bourgain GX65JM222E

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

Mentions

wikipedia: Wikipedia Jean Bourgain, Jean Bourgain (topic). Also Wikidata Q260802

History

2026-11-02: add by m2/dev

GX69499DQE GX69499DQE

URI	`m2://inv/GX69499DQE`
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.21540#6A96 (statement)

History

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

Construction GX6DTCZKQ7

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

Mentions

wikipedia: Wikipedia Compound of cube and octahedron#1SHH, Construction (definition)

History

2026-11-02: add by m2/dev

Proof of impossibility GX6HP325H9

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

Mentions

wikipedia: Wikipedia Proof of impossibility, Proof of impossibility (definition). Also Wikidata Q17163436

History

2026-11-02: add by m2/dev

Fundamental theorem of ideal theory in number fields GX6K6XSAHT

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

Mentions

wikipedia: Wikipedia List of theorems called fundamental#50HR, Fundamental theorem of ideal theory in number fields (statement)

History

2026-11-02: add by m2/dev

440 (Number) GX6V2WSEJN

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

Mentions

wikipedia: Wikipedia 400 (number)#8SJT, 440 (Number) (unknown)

History

2026-11-02: add by m2/dev

Near polygon GX6XASH5H1

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

Mentions

wikipedia: Wikipedia Near polygon, Near polygon (definition). Also Wikidata Q17104412

History

2026-11-02: add by m2/dev

Location test GX71VG454Q

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

Mentions

wikipedia: Wikipedia Location test, Location test (definition). Also Wikidata Q6664820

History

2026-11-02: add by m2/dev

GX72E85RJ7 GX72E85RJ7

URI	`m2://inv/GX72E85RJ7`
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 math/9802134#JH35 (statement). In 235B1J1ETB/e1, lemma 3.7

History

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

Euclid's lemma and unique factorization GX72E9JF6D

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

Mentions

wikipedia: Wikipedia Euclidean algorithm#Y6US, Euclid's lemma and unique factorization (statement)

History

2026-11-02: add by m2/dev

Congeneric reliability GX73ZBV3GC

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

Mentions

wikipedia: Wikipedia Congeneric reliability, Congeneric reliability (definition). Also Wikidata Q29348088

History

2026-11-02: add by m2/dev

GX79T7TB0F GX79T7TB0F

URI	`m2://inv/GX79T7TB0F`
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.29501#OYPD (statement)

History

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

Roger Bivand GX7CMWW3MY

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

Mentions

wikipedia: Wikipedia Roger Bivand, Roger Bivand (topic). Also Wikidata Q16175302

History

2026-11-02: add by m2/dev

Hilda Assiyatun GX7EBG4RX5

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

Mentions

wikipedia: Wikipedia Hilda Assiyatun, Hilda Assiyatun (topic). Also Wikidata Q102254531

History

2026-11-02: add by m2/dev

GX7MXX83MC GX7MXX83MC

URI	`m2://inv/GX7MXX83MC`
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 2610.11468#IYMK (definition). In FR4FDRHZJT/e1, definition 2.1

History

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

Erdős–Mollin–Walsh conjecture GX7N7Z49HY

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

Mentions

wikipedia: Wikipedia List of conjectures by Paul Erdős#M4UJ, Erdős–Mollin–Walsh conjecture (definition)

History

2026-11-02: add by m2/dev

GX7QBZ0H87 GX7QBZ0H87

URI	`m2://inv/GX7QBZ0H87`
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.13850#LZEU (statement). In KJY735KSMF/e1, corollary 8.3

History

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

GX7SRQ4233 GX7SRQ4233

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

Mentions

arxiv: arXiv 2610.11271#MP6R (statement). In HF7J38T8Y6/e1, lemma 2.1

History

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

Elementary symmetrization GX7VW41H7V

URI	`m2://inv/GX7VW41H7V`
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.15421#PY5Q, Elementary symmetrization (statement). In 3RBKH0DA74/e1, theorem 2.11

History

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

GX7WBN0V4A GX7WBN0V4A

URI	`m2://inv/GX7WBN0V4A`
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.11082#B6VV (statement). In GFPFFN0BXV/e1, lemma 20

History

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

Tikhonov Regularization for Linear Equations GX83MZVMJQ

URI	`m2://inv/GX83MZVMJQ`
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.32505#5NNV, Tikhonov Regularization for Linear Equations (statement). In N8MYP1Z659/e1, proposition E.1

History

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

Properties GX83ZSN630

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

Mentions

wikipedia: Wikipedia 14 (number)#D8QV, Properties (statement)

History

2026-11-02: add by m2/dev

GX86JG1ZKF GX86JG1ZKF

URI	`m2://inv/GX86JG1ZKF`
Kind	statement
Layer	research
MSC	14-XX, 20-XX, 22-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.23884#95Q8 (statement)

History

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

GX8D3ETEYH GX8D3ETEYH

URI	`m2://inv/GX8D3ETEYH`
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.21367#CMJ3 (statement)

History

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

one-to-one GX8EDS9GTT

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

Mentions

levin_dmoi: levin_dmoi index/1.4.2/one-to-one, one-to-one (concept). In Y91XFCEVHQ, index, section 1.4.2

History

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

GX8MJDF7WE GX8MJDF7WE

URI	`m2://inv/GX8MJDF7WE`
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.35287#B7UD (statement). In BPPBAWGPHJ/e1, lemma 7.3

History

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

categorical logic GX8PJPV2H5

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

Mentions

wikipedia: Wikipedia Glossary of logic#AHUZ, categorical logic (definition)

History

2026-11-02: add by m2/dev

Prescribing the core centralizer GX9K2DJDNF

URI	`m2://inv/GX9K2DJDNF`
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.14509#H1IV, Prescribing the core centralizer (statement). In N6GD8392QB/e1, lemma 15.4

History

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

GX9NCCQ8V9 GX9NCCQ8V9

URI	`m2://inv/GX9NCCQ8V9`
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 2509.10268#BQKM (statement). In YR15TN4V4F/e1, theorem 6

History

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

GX9V6BDNTT GX9V6BDNTT

URI	`m2://inv/GX9V6BDNTT`
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 2203.17055#9V7L (definition). In 2FCSSBRX80/e1, definition

History

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

4397 GX9WA6XPFB

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

Mentions

wikipedia: Wikipedia 4000 (number)#G1S7, 4397 (unknown)

History

2026-11-02: add by m2/dev

Rotational cryptanalysis GX9YKY4B4J

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

Mentions

wikipedia: Wikipedia Rotational cryptanalysis, Rotational cryptanalysis (definition). Also Wikidata Q7370323

History

2026-11-02: add by m2/dev

GXA1F01C01 GXA1F01C01

URI	`m2://inv/GXA1F01C01`
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.24790#R3DY (statement)

History

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

Bitangent GXA3AZNYWP

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

Mentions

wikidata: Wikidata Q4918749, Bitangent (unknown). Also MathWorld Bitangent
wikipedia: Wikipedia Bitangent, Bitangent (definition). Also Wikidata Q4918749

History

2026-10-26: add by m2/dev

chromatic number GXA5TQWSGA

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

Mentions

applied_combinatorics: applied_combinatorics index/11.6/chromatic-number, chromatic number (concept). In QKM9DD2H56, index, section 11.6

History

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

linear order GXA91T3HSZ

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

Mentions

wikipedia: Wikipedia Glossary of logic#VBWY, linear order (definition)

History

2026-11-02: add by m2/dev

Bayes, Thomas GXACA7WHQE

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

Mentions

wikipedia: Wikipedia List of statisticians#M2HF, Bayes, Thomas (topic)

History

2026-11-02: add by m2/dev

GXAF870EB4 GXAF870EB4

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#prop:reparamapiecewisesmooth (statement). In E59CDZA4DP, prop, section 6.2.1

History

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

Tensor induction GXAN18GBH0

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

Mentions

arxiv: arXiv 2609.36444#Y972, Tensor induction (statement). In 4DJE72VPJP/e1, theorem 4.7

History

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

GXAN4GGFKA GXAN4GGFKA

URI	`m2://inv/GXAN4GGFKA`
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 2609.31173#XE3Z (problem). In ZZSJGJXPXY/e1, problem

History

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

George Bergman GXARGZ54J3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#B9GT, George Bergman (topic)

History

2026-11-02: add by m2/dev

Poisson approximation GXATN8352J

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

Mentions

arxiv: arXiv 2609.39699#RTLG, Poisson approximation (statement). In 6M4TMC8G6X/e1, proposition 6

History

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

GXAV4ANE5Y GXAV4ANE5Y

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

Mentions

arxiv: arXiv 2609.20900#5Q2F (statement)

History

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

GXAVDTN79V GXAVDTN79V

URI	`m2://inv/GXAVDTN79V`
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 2112.05010#L0RB (statement). In 4SZNPS3Z00/e1, theorem J.6

History

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

uniform tiling GXAVPRRFFG

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

Mentions

wikidata: Wikidata Q7885119, uniform tiling (unknown). Also MathWorld UniformTessellation
wikipedia: Wikipedia Uniform tiling, Uniform tiling (object). Also Wikidata Q7885119

History

2026-10-26: add by m2/dev

begging the question GXAYFXEWQE

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

Mentions

wikipedia: Wikipedia Glossary of logic#801R, begging the question (definition)

History

2026-11-02: add by m2/dev

Inverse hyperbolic cotangent GXB0CRBHHJ

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#Y8C6, Inverse hyperbolic cotangent (definition)

History

2026-11-02: add by m2/dev

Vlaamse Wiskunde Olympiade GXB1PSBVBY

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#4PZI, Vlaamse Wiskunde Olympiade (unknown)

History

2026-11-02: add by m2/dev

small, type GXBAE4MNY7

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

Mentions

hott_book: hott_book index/u1.u3/small-type, small, type (concept). In N54F33XE07, index, section u1.u3

History

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

Object-orbit and isotropy structure of \(\Gamma_D\ GXBAF2KRQM

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

Mentions

arxiv: arXiv 2609.25987#5D2R, Object-orbit and isotropy structure of \(\Gamma_D\ (statement)

History

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

Breslow, Norman GXBCS56EEJ

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

Mentions

wikipedia: Wikipedia List of statisticians#2MOL, Breslow, Norman (topic)

History

2026-11-02: add by m2/dev

Women cryptanalysts at MI1(b) GXBMJG2GM6

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

Mentions

wikipedia: Wikipedia Women cryptanalysts at MI1(b), Women cryptanalysts at MI1(b) (definition). Also Wikidata Q128995959

History

2026-11-02: add by m2/dev

Alexander Jamieson GXBPAY55BZ

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

Mentions

wikipedia: Wikipedia Alexander Jamieson, Alexander Jamieson (topic). Also Wikidata Q15994540

History

2026-11-02: add by m2/dev

GXBQ0QHG7X GXBQ0QHG7X

URI	`m2://inv/GXBQ0QHG7X`
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.25301#XTD8 (statement)

History

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

Examples GXBQDHRRVA

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

Mentions

wikipedia: Wikipedia Coupling (probability)#RF7U, Examples (example)

History

2026-11-02: add by m2/dev

GXBXEP87VF GXBXEP87VF

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

Mentions

napkin: napkin tex/set-theory/ordinal.tex#proof-1 (proof). In RZP28ERRZV, proof, section 92.3

History

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

Stability of the regularized continuation GXBZQZT240

URI	`m2://inv/GXBZQZT240`
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.10484#7X84, Stability of the regularized continuation (statement). In 5B4AX4SF88/e1, proposition 4.16

History

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

GXC4BB7XJN GXC4BB7XJN

URI	`m2://inv/GXC4BB7XJN`
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.34856#F01K (statement). In MRR92GQNZE/e1, corollary 5.18

History

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

GXCDZGSXNK GXCDZGSXNK

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

Mentions

arxiv: arXiv 2609.20588#EJ0A (statement)

History

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

Example GXCF69B8NX

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

Mentions

wikipedia: Wikipedia Second derivative#FC8K, Example (example)

History

2026-11-02: add by m2/dev

GXCG296ZCA GXCG296ZCA

URI	`m2://inv/GXCG296ZCA`
Kind	definition
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#KQ85 (definition). In CY1FE8W1ZW/e1, definition 0.208

History

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

stability, and descent GXCMVHFYTX

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

Mentions

hott_book: hott_book index/5.12/stability-and-descent, stability, and descent (concept). In N54F33XE07, index, section 5.12

History

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

GXD0N8EEAQ GXD0N8EEAQ

URI	`m2://inv/GXD0N8EEAQ`
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#Q95Y (statement). In TN93YFN45W/e1, corollary 5.6

History

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

Andrea Prinsloo GXD1XP3H2V

URI	`m2://inv/GXD1XP3H2V`
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 Q57899254, Andrea Prinsloo (unknown). Also nLab Andrea Prinsloo

History

2026-10-26: add by m2/dev

quantum logic GXDA32RC5F

URI	`m2://inv/GXDA32RC5F`
Kind	topic
Layer	textbook
MSC	03G12
Sources	2
Outcome	open
Node	Quantum logic 2E9DMB7A6Q

Mentions

wikidata: Wikidata Q1206311, quantum logic (topic). Also nLab quantum logic
wikipedia: Wikipedia Quantum logic, Quantum logic (topic). Also Wikidata Q1206311

History

2026-10-26: add by m2/dev

Modular lattice GXDPSE39KV

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

Mentions

wikipedia: Wikipedia List of first-order theories#OHQM, Modular lattice (definition)

History

2026-11-02: add by m2/dev

GXDR5QHACA GXDR5QHACA

URI	`m2://inv/GXDR5QHACA`
Kind	statement
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#9R9N (statement)

History

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

GXDWFN7SXQ GXDWFN7SXQ

URI	`m2://inv/GXDWFN7SXQ`
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.02790#GXJB (statement). In NB7HZ8W2K2/e1, proposition 19

History

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

Variants GXE0V06JCS

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

Mentions

wikipedia: Wikipedia H-index#EROD, Variants (statement)

History

2026-11-02: add by m2/dev

Irwin Kra GXE3MPP9P1

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

Mentions

wikipedia: Wikipedia Irwin Kra, Irwin Kra (topic). Also Wikidata Q1673303

History

2026-11-02: add by m2/dev

GXE49SST50 GXE49SST50

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

Mentions

arxiv: arXiv 2610.12908#RN4T (statement). In TNC658NVMQ/e1, theorem 9.6

History

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

GXECF62EG3 GXECF62EG3

URI	`m2://inv/GXECF62EG3`
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#6Y7J (statement). In W5XRKWDADE/e1, lemma 2.4

History

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

Example GXEM2QS9FX

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

Mentions

wikipedia: Wikipedia Controllability#41GW, Example (example)

History

2026-11-02: add by m2/dev

Forecasting GXEMNX20DC

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

Mentions

wikipedia: Wikipedia List of statistics articles#85ED, Forecasting (definition)

History

2026-11-02: add by m2/dev

GXEMZH9BPR GXEMZH9BPR

URI	`m2://inv/GXEMZH9BPR`
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.28808#OPOK (statement)

History

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

GXEPWE4EWT GXEPWE4EWT

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

Mentions

arxiv: arXiv 2609.24845#Q1QD (definition)

History

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

Isolated point GXER97BSPS

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

Mentions

wikipedia: Wikipedia List of mathematical properties of points#OH4A, Isolated point (definition)

History

2026-11-02: add by m2/dev

Mariano Giaquinta GXEY5ZC8JT

URI	`m2://inv/GXEY5ZC8JT`
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#91CB, Mariano Giaquinta (topic)

History

2026-11-02: add by m2/dev

Endpoint-controlled linearization GXF117APP3

URI	`m2://inv/GXF117APP3`
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.22927#7OJV, Endpoint-controlled linearization (statement)

History

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

Christian Borgs GXF868ED6K

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#B2XX, Christian Borgs (unknown)

History

2026-11-02: add by m2/dev

Conditional cover time at a deterministic rate GXF8SR97PB

URI	`m2://inv/GXF8SR97PB`
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.14988#I0MR, Conditional cover time at a deterministic rate (statement). In B29M4E6KGC/e1, lemma H.15

History

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

Long-range dependence GXFDSWZMR4

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

Mentions

wikipedia: Wikipedia Long-range dependence, Long-range dependence (definition). Also Wikidata Q1805477

History

2026-11-02: add by m2/dev

GXFDWY1QVG GXFDWY1QVG

URI	`m2://inv/GXFDWY1QVG`
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#R96E (definition). In Z7E16PFFCP/e1, definition 2.13

History

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

GXFFC7AWH3 GXFFC7AWH3

URI	`m2://inv/GXFFC7AWH3`
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#SMFJ (definition). In 9H45HQE7AZ/e1, definition 3.37

History

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

Sociedad Boliviana de Matemáticas GXFJQCS9JP

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

Mentions

wikipedia: Wikipedia List of mathematical societies#3469, Sociedad Boliviana de Matemáticas (unknown)

History

2026-11-02: add by m2/dev

Applications GXFRAKEY0B

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

Mentions

wikipedia: Wikipedia Symplectic integrator#RPD2, Applications (example)

History

2026-11-02: add by m2/dev

transport GXFRGXNNSV

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

Mentions

hott_book: hott_book index/1.10/transport, transport (concept). In N54F33XE07, index, section 1.10

History

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

GXFSH9DG3F GXFSH9DG3F

URI	`m2://inv/GXFSH9DG3F`
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 1009.2043#1BHJ (statement). In 7DCNHRBK5A/e1, theorem 3.1

History

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

Charles Dunnett GXFXNVCB6J

URI	`m2://inv/GXFXNVCB6J`
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#8EJL, Charles Dunnett (unknown)

History

2026-11-02: add by m2/dev

local complete intersection GXG2XPTZHQ

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#9ZD6, local complete intersection (definition)

History

2026-11-02: add by m2/dev

Gradient method GXG4TA62JB

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

Mentions

wikipedia: Wikipedia Gradient method, Gradient method (definition). Also Wikidata Q5977448

History

2026-11-02: add by m2/dev

Ayse Bilgin GXGAT7FTSG

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

Mentions

wikipedia: Wikipedia Ayse Bilgin, Ayse Bilgin (topic). Also Wikidata Q59690557

History

2026-11-02: add by m2/dev

Napier's bones GXGG090GC0

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

Mentions

wikidata: Wikidata Q1358538, Napier's bones (definition). Also MathWorld NapiersBones, ProofWiki Definition:Napier's_Bones
wikipedia: Wikipedia Napier's bones, Napier's bones (definition). Also Wikidata Q1358538

History

2026-10-26: add by m2/dev

GXGX0RC6RX GXGX0RC6RX

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

Mentions

arxiv: arXiv 2609.30067#X3CL (statement)

History

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

Xiaojun Chen GXH3QBA343

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

Mentions

wikipedia: Wikipedia Xiaojun Chen, Xiaojun Chen (topic). Also Wikidata Q57547321

History

2026-11-02: add by m2/dev

Feynman's Integration Trick GXHBX0VF75

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

Mentions

wikipedia: Wikipedia Dirichlet integral#5GG2, Feynman's Integration Trick (unknown)

History

2026-11-02: add by m2/dev

$k$-sorted clone GXHC77WG93

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

Mentions

arxiv: arXiv 2610.12484#1ESX, $k$-sorted clone (definition). In GW23NX78SB/e1, definition 2.14

History

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

GXHE3SDMMV GXHE3SDMMV

URI	`m2://inv/GXHE3SDMMV`
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.08382#Y5HK (definition). In GYMGDQS25R/e1, definition 2.11

History

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

essentially surjective functor GXHHZ2VESN

URI	`m2://inv/GXHHZ2VESN`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Essentially surjective functor 6ERBSBVF14

Mentions

wikidata: Wikidata Q140283, essentially surjective functor (unknown). Also nLab essentially surjective functor
wikipedia: Wikipedia Essentially surjective functor, Essentially surjective functor (definition). Also Wikidata Q140283

History

2026-10-26: add by m2/dev

GXHJ04415P GXHJ04415P

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

Mentions

arxiv: arXiv 2609.20678#GYLL (statement)

History

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

GXJ0BMKMPB GXJ0BMKMPB

URI	`m2://inv/GXJ0BMKMPB`
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.36613#N5YO (statement). In GX0K0ZM700/e1, lemma 2.11

History

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

GXJ0NB22NP GXJ0NB22NP

URI	`m2://inv/GXJ0NB22NP`
Kind	example
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 2105.13129#XBN0 (example). In J5Z1JD5VKR/e1, example 2.7

History

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

GXJ2R9CFC2 GXJ2R9CFC2

URI	`m2://inv/GXJ2R9CFC2`
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.13385#OAAS (statement). In J99CBQ3QYD/e1, lemma 2.2

History

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

Sylvia Serfaty GXJ72WAP36

URI	`m2://inv/GXJ72WAP36`
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#2NVS, Sylvia Serfaty (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WJT5, Sylvia Serfaty (topic)

History

2026-11-02: add by m2/dev

Applications GXJFN056VW

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

Mentions

wikipedia: Wikipedia Center of mass#PY65, Applications (example)

History

2026-11-02: add by m2/dev

GXJKR7K530 GXJKR7K530

URI	`m2://inv/GXJKR7K530`
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#A9ZA (statement). In GYSF9JXQCH/e1, corollary C

History

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

GXJMTVKZN8 GXJMTVKZN8

URI	`m2://inv/GXJMTVKZN8`
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.30086#Y2H3 (statement)

History

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

imperial system of units GXJNNTN90F

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

Mentions

wikidata: Wikidata Q641227, imperial system of units (definition). Also ProofWiki Definition:Imperial

History

2026-10-26: add by m2/dev

GXJXX1VEQG GXJXX1VEQG

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

Mentions

arxiv: arXiv 2610.13505#8BIL (statement). In 6Z1DDCYCQ8/e1, lemma A.3

History

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

GXJY31D9HJ GXJY31D9HJ

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

Mentions

arxiv: arXiv 2312.06581#IB32 (definition). In WXJ2V3HA2R/e1, definition D.4

History

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

ABC GXK7AX5JCF

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

Mentions

wikipedia: Wikipedia ABC (stream cipher), ABC (definition). Also Wikidata Q57295167

History

2026-11-02: add by m2/dev

GXK8RKSGN1 GXK8RKSGN1

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

Mentions

arxiv: arXiv 2609.39293#0SLJ (statement). In S26QVW5613/e1, proposition 2.3.6

History

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

Color gradient GXKBCYGF18

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#M1SW, Color gradient (unknown)

History

2026-11-02: add by m2/dev

Definition GXKGM3N13D

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

Mentions

wikipedia: Wikipedia Unique factorization domain#LPAT, Definition (definition)

History

2026-11-02: add by m2/dev

GXM6GK4NX7 GXM6GK4NX7

URI	`m2://inv/GXM6GK4NX7`
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.04382#6YPX (statement). In 7VW8XD28G1/e1, theorem 4.6

History

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

Definition GXMAQ9YYNH

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

Mentions

wikipedia: Wikipedia Hölder summation#XWGL, Definition (definition)

History

2026-11-02: add by m2/dev

T. A. Bancroft GXMCCGY230

URI	`m2://inv/GXMCCGY230`
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#F4G1, T. A. Bancroft (unknown)

History

2026-11-02: add by m2/dev

Hua's identity GXMDKQ4Q0F

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

Mentions

wikipedia: Wikipedia Mutation (Jordan algebra)#3TRP, Hua's identity (statement)

History

2026-11-02: add by m2/dev

List of things named after Charles Hermite GXMH3KF255

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#WUZZ, List of things named after Charles Hermite (topic)

History

2026-11-02: add by m2/dev

Prompt-conditioned score Transformer GXMZS5B341

URI	`m2://inv/GXMZS5B341`
Kind	definition
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.05333#U7B2, Prompt-conditioned score Transformer (definition). In N37WKFTR7Q/e1, definition E.1

History

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

Completeness GXN41AR9FF

URI	`m2://inv/GXN41AR9FF`
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 2303.14022#XW3R, Completeness (statement). In NSYR6W27FP/e1, theorem 3.6

History

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

Kleinian group GXN52YM0NW

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#A67S, Kleinian group (definition)
wikipedia: Wikipedia List of things named after Felix Klein#EVW4, Kleinian group (definition)

History

2026-11-02: add by m2/dev

GXNA5DD1V4 GXNA5DD1V4

URI	`m2://inv/GXNA5DD1V4`
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.08583#G2WW (statement). In 5EKTECQ2P1/e1, proposition 6.1

History

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

GXNAR0DFYP GXNAR0DFYP

URI	`m2://inv/GXNAR0DFYP`
Kind	example
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 2409.20170#134C (example). In QXJP79APHN/e1, example 5.4

History

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

Saly Ruth Ramler GXND29BTHA

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

Mentions

wikipedia: Wikipedia Saly Ruth Ramler, Saly Ruth Ramler (topic). Also Wikidata Q58305083

History

2026-11-02: add by m2/dev

GXNFA9H6QK GXNFA9H6QK

URI	`m2://inv/GXNFA9H6QK`
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.09650#6BKI (statement). In 628KM8869P/e1, theorem 6.13

History

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

Parallel all-pairs shortest path algorithm GXNKENNYCJ

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

Mentions

wikipedia: Wikipedia Parallel all-pairs shortest path algorithm, Parallel all-pairs shortest path algorithm (definition). Also Wikidata Q51173345

History

2026-11-02: add by m2/dev

Necessary condition for global optimality of the linear encoder GXNQAT9FTW

URI	`m2://inv/GXNQAT9FTW`
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.08007#MCHE, Necessary condition for global optimality of the linear encoder (statement). In MBFRRC83TH/e1, lemma 1

History

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

Newton's Binomial Theorem GXNV2MAZQ2

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_gen-bin-thm.ptx#thm_newton-binomial, Newton's Binomial Theorem (statement). In QKM9DD2H56, theorem, section 8.3

History

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

GXNWDTNB65 GXNWDTNB65

URI	`m2://inv/GXNWDTNB65`
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.04349#IG6V (statement). In GWF7VKMY61/e1, lemma 2.1

History

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

GXP1AKSHBK GXP1AKSHBK

URI	`m2://inv/GXP1AKSHBK`
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.03628#785C (statement). In P8KT6JV9N1/e1, lemma 3.7

History

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

Omar Khayyám GXP58G7WKZ

URI	`m2://inv/GXP58G7WKZ`
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 Q35900, Omar Khayyám (unknown). Also ProofWiki Mathematician:Omar_Khayyam
wikipedia: Wikipedia Omar Khayyam, Omar Khayyam (topic). Also Wikidata Q35900

History

2026-10-26: add by m2/dev

Formal definition GXP68WA0WP

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

Mentions

wikipedia: Wikipedia Standard Borel space#UH9R, Formal definition (definition)

History

2026-11-02: add by m2/dev

Leonard Blumenthal GXP78XBCJT

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

Mentions

wikipedia: Wikipedia Leonard Blumenthal, Leonard Blumenthal (topic). Also Wikidata Q3709241

History

2026-11-02: add by m2/dev

Miller's recurrence algorithm GXP8C6X9WJ

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

Mentions

wikipedia: Wikipedia Miller's recurrence algorithm, Miller's recurrence algorithm (definition). Also Wikidata Q65075350

History

2026-11-02: add by m2/dev

GXPGMT888T GXPGMT888T

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

Mentions

arxiv: arXiv 2609.23424#AUU7 (statement)

History

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

Generalizations GXPJSZWQ4S

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

Mentions

wikipedia: Wikipedia Measure (mathematics)#9SCN, Generalizations (statement)

History

2026-11-02: add by m2/dev

$n=4$, $r=2$: a non-extremal partition GXPP1TYTCM

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

Mentions

arxiv: arXiv 2609.29683#B0KO, $n=4$, $r=2$: a non-extremal partition (example)

History

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

GXPWW1G7JJ GXPWW1G7JJ

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

Mentions

napkin: napkin tex/topology/cover-project.tex#definition-5 (definition). In RZP28ERRZV, definition, section 97.3

History

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

GXQB7Q7GAH GXQB7Q7GAH

URI	`m2://inv/GXQB7Q7GAH`
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 2610.18483#71KO (statement). In FF4HDVF1DC/e1, lemma 6.2

History

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

GXQC82R7MM GXQC82R7MM

URI	`m2://inv/GXQC82R7MM`
Kind	statement
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#H7L8 (statement). In 7V3HG30ZGW/e1, lemma 6.15

History

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

GXQDBHWA5J GXQDBHWA5J

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

Mentions

arxiv: arXiv 2405.14678#88UH (example). In 9ZSNSJRJ5N/e1, example 25

History

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

tame structure GXQH0AJ52A

URI	`m2://inv/GXQH0AJ52A`
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#ZZZU, tame structure (statement). In TPA3E67MKK/e1, lemma 7.4

History

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

GXQRCWMYTB GXQRCWMYTB

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

Mentions

austin_ula: austin_ula src/section2-4.xml#ula-preview-2-4 (exercise). In 649HGZKE96, exploration, section 2.4.1

History

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

David Epstein GXQVWP65EW

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#5GKQ, David Epstein (unknown)

History

2026-11-02: add by m2/dev

GXR9PX3Q6N GXR9PX3Q6N

URI	`m2://inv/GXR9PX3Q6N`
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 2212.11038#88NP (statement). In M3E3ARMJXK/e1, lemma 3.1

History

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

cf.\ the local Newton analysis GXRKTPN0WF

URI	`m2://inv/GXRKTPN0WF`
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.20345#L31V, cf.\ the local Newton analysis (statement). In WVRRST04WS/e1, lemma 7

History

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

John McWhirter GXRRKEZRXJ

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

Mentions

wikipedia: Wikipedia John McWhirter (mathematician), John McWhirter (topic). Also Wikidata Q6248332

History

2026-11-02: add by m2/dev

GXRRYS7G05 GXRRYS7G05

URI	`m2://inv/GXRRYS7G05`
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.29489#VB2T (statement)

History

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

Backstepping GXRV11TC90

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

Mentions

wikipedia: Wikipedia Backstepping, Backstepping (definition). Also Wikidata Q4839759

History

2026-11-02: add by m2/dev

Constant elasticity of substitution GXS6VA960G

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

Mentions

wikipedia: Wikipedia Constant elasticity of substitution, Constant elasticity of substitution (definition). Also Wikidata Q520134

History

2026-11-02: add by m2/dev

i^i GXSAX7C4SM

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

Mentions

wikidata: Wikidata Q11224959, i^i (object). Also OEIS A049006

History

2026-10-26: add by m2/dev

GXSBGDQDGS GXSBGDQDGS

URI	`m2://inv/GXSBGDQDGS`
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.15525#W0YY (statement). In EFDRME13PT/e1, proposition 8.6

History

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

GXSEMDV3N6 GXSEMDV3N6

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

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#lem:cont (statement). In PKGMM3P5QY, lem, section 36.3

History

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

Related results GXSGT8QXT1

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

Mentions

wikipedia: Wikipedia Linear extension#LL36, Related results (statement)

History

2026-11-02: add by m2/dev

function value GXSHF7AXG7

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

Mentions

wikidata: Wikidata Q59715267, function value (unknown). Also MathWorld Value

History

2026-10-26: add by m2/dev

Curtis L. Meinert GXSNXB5VFH

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

Mentions

wikipedia: Wikipedia Curtis L. Meinert, Curtis L. Meinert (topic). Also Wikidata Q61893842

History

2026-11-02: add by m2/dev

James E. Gentle GXSPAWWK0X

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#BQT9, James E. Gentle (topic)

History

2026-11-02: add by m2/dev

Exponential concentration of spectral statistics GXT0HS3MWY

URI	`m2://inv/GXT0HS3MWY`
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.14616#MMSR, Exponential concentration of spectral statistics (statement). In 17ACAG0N9C/e1, proposition 9.1

History

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

Dvoretzky–Kiefer–Wolfowitz inequality GXTC9RKR0R

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

Mentions

wikipedia: Wikipedia Dvoretzky–Kiefer–Wolfowitz inequality, Dvoretzky–Kiefer–Wolfowitz inequality (statement). Also Wikidata Q5317822

History

2026-11-02: add by m2/dev

Formal definition GXTDG4KR9A

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

Mentions

wikipedia: Wikipedia Heyting algebra#R7V5, Formal definition (definition)

History

2026-11-02: add by m2/dev

GXTFA3J3Z0 GXTFA3J3Z0

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

Mentions

arxiv: arXiv 2609.28803#RT5N (statement)

History

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

$R$-smooth numbers GXTFMBEKJP

URI	`m2://inv/GXTFMBEKJP`
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 1806.05002#9YDX, $R$-smooth numbers (definition). In JBAQ7DTW7B/e1, definition 1.6

History

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

Mohammed Abouzaid GXTMM2V1NB

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#L3VG, Mohammed Abouzaid (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BDRW, Mohammed Abouzaid (topic)

History

2026-11-02: add by m2/dev

GXTQYKESR0 GXTQYKESR0

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

Mentions

arxiv: arXiv 2212.00617#CUP2 (statement). In K7505G10SS/e1, proposition 5.8

History

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

Variants GXTRGRZADS

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

Mentions

wikipedia: Wikipedia Mere addition paradox#YSHR, Variants (statement)

History

2026-11-02: add by m2/dev

GXTSWRM2ND GXTSWRM2ND

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

Mentions

arxiv: arXiv 2609.39505#NXK9 (statement). In WAXS6FS388/e1, lemma 5.1

History

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

Properties GXTTJNHZGP

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

Mentions

wikipedia: Wikipedia Generalized integer gamma distribution#OHK7, Properties (statement)

History

2026-11-02: add by m2/dev

GXTZQ517VT GXTZQ517VT

URI	`m2://inv/GXTZQ517VT`
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.00914#IMON (statement). In TQ9CKHBTWN/e1, corollary 1.7

History

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

GXV3Q2YGTN GXV3Q2YGTN

URI	`m2://inv/GXV3Q2YGTN`
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.37747#YS70 (statement). In GEYDNVZEP7/e1, theorem 4.10

History

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

Totally asynchronous cellular automata GXV79WG1XS

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

Mentions

arxiv: arXiv math/0003117#WNK1, Totally asynchronous cellular automata (definition). In WD2NCBV9F0/e1, definition 8.1

History

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

Idele group GXV9KNH79A

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#I6NJ, Idele group (definition)

History

2026-11-02: add by m2/dev

GXV9VAVDPG GXV9VAVDPG

URI	`m2://inv/GXV9VAVDPG`
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.39449#ZO7T (statement). In GWC70X14RG/e1, theorem 2

History

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

Dual number GXVBAHSXPY

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

Mentions

wikipedia: Wikipedia List of numbers#R4EY, Dual number (definition)

History

2026-11-02: add by m2/dev

Spectral-circle periodicization GXVFCWM8HM

URI	`m2://inv/GXVFCWM8HM`
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.26576#CNMB, Spectral-circle periodicization (statement)

History

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

free, product, amalgamated GXVGC1BPDW

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

Mentions

hott_book: hott_book index/7.7.2/free-product-amalgamated, free, product, amalgamated (concept). In N54F33XE07, index, section 7.7.2

History

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

Cycle double cover GXVJ8SQKYH

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

Mentions

wikipedia: Wikipedia Cycle double cover, Cycle double cover (conjecture). Also Wikidata Q5198159

History

2026-11-02: add by m2/dev

Uniform invertibility of the candidate mean recursion GXVTRH3NGK

URI	`m2://inv/GXVTRH3NGK`
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.19421#K8WW, Uniform invertibility of the candidate mean recursion (statement). In 3S1VFGYWQE/e1, lemma 4

History

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

Jucys–Murphy element GXVV77SY50

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

Mentions

wikipedia: Wikipedia Jucys–Murphy element, Jucys–Murphy element (definition). Also Wikidata Q4531156

History

2026-11-02: add by m2/dev

GXVXDR54M5 GXVXDR54M5

URI	`m2://inv/GXVXDR54M5`
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 2510.09873#9BZM (statement). In KNB3ZCNC9Q/e1, theorem 9.3

History

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

6-orthoplex GXVYBCTMQK

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#NAIW, 6-orthoplex (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#KXA7, 6-orthoplex (object)

History

2026-11-02: add by m2/dev

Compound of octahedra GXW194H1P1

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

Mentions

wikipedia: Wikipedia Compound of octahedra, Compound of octahedra (definition). Also Wikidata Q20726763

History

2026-11-02: add by m2/dev

Poincaré plot GXW5BQ61NZ

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

Mentions

wikipedia: Wikipedia Poincaré plot, Poincaré plot (definition). Also Wikidata Q7207866

History

2026-11-02: add by m2/dev

GXWBAEFFK8 GXWBAEFFK8

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

Mentions

arxiv: arXiv 2110.06338#TKKE (definition). In W1VVK7WDPK/e1, definition 2.3

History

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

GXWFQK358X GXWFQK358X

URI	`m2://inv/GXWFQK358X`
Kind	statement
Layer	research
MSC	05-XX, 11-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.26762#1IRL (statement)

History

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

GXWGRVG6DC GXWGRVG6DC

URI	`m2://inv/GXWGRVG6DC`
Kind	statement
Layer	research
MSC	17-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 2610.10377#ZQWC (statement). In 6HP7BR9WZM/e1, proposition 3.20

History

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

Strong modus tollendo ponens GXWJ4HPNMK

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

Mentions

wikipedia: Wikipedia Disjunctive syllogism#DDU3, Strong modus tollendo ponens (unknown)

History

2026-11-02: add by m2/dev

GXWQ6VYM4J GXWQ6VYM4J

URI	`m2://inv/GXWQ6VYM4J`
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 2509.05577#372M (statement). In EFWBREMZAP/e1, theorem 0.8

History

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

GXWTRHVZFS GXWTRHVZFS

URI	`m2://inv/GXWTRHVZFS`
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.35275#0B4M (statement). In B0NV0JBAKB/e1, theorem A.2

History

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

Properties GXWXB4DC52

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

Mentions

wikipedia: Wikipedia Semiperfect number#6TOB, Properties (statement)

History

2026-11-02: add by m2/dev

Alois Höfler GXWY7CYX87

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

Mentions

wikipedia: Wikipedia Alois Höfler, Alois Höfler (topic). Also Wikidata Q87981

History

2026-11-02: add by m2/dev

GXX2W4F67P GXX2W4F67P

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

Mentions

arxiv: arXiv 2609.32916#BH08 (statement). In G1RP4JY5PE/e1, theorem 3.2.5

History

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

intensional function GXX4BT5JPA

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#ZEER, intensional function (definition)

History

2026-11-02: add by m2/dev

International Congress on Industrial and Applied Mathematics GXXAYW7CM1

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

Mentions

wikipedia: Wikipedia International Congress on Industrial and Applied Mathematics, International Congress on Industrial and Applied Mathematics (definition). Also Wikidata Q1375269

History

2026-11-02: add by m2/dev

Riemann--Liouville integral GXXBXDZS1T

URI	`m2://inv/GXXBXDZS1T`
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 2609.20599#5LSY, Riemann--Liouville integral (definition)

History

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

Hermite normal form GXXC70DNJS

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

Mentions

wikipedia: Wikipedia List of things named after Charles Hermite#CL76, Hermite normal form (definition)

History

2026-11-02: add by m2/dev

GXXNAASD5A GXXNAASD5A

URI	`m2://inv/GXXNAASD5A`
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.09506#C10B (statement). In AQC7E6RAT4/e1, lemma 3.4

History

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

GXXPVAKQ90 GXXPVAKQ90

URI	`m2://inv/GXXPVAKQ90`
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 2205.09049#C8YB (statement). In 37S7MNMZ2F/e1, proposition 9

History

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

Definition GXXRC1781Y

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

Mentions

wikipedia: Wikipedia Hrushovski construction#W95U, Definition (definition)

History

2026-11-02: add by m2/dev

ordered pairs GXXW9SRFBA

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

Mentions

applied_combinatorics: applied_combinatorics index/B.3/ordered-pairs, ordered pairs (concept). In QKM9DD2H56, index, section B.3

History

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

Theorem GXY6X5C7PK

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

Mentions

wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#ZP9Q, Theorem (statement)

History

2026-11-02: add by m2/dev

GXYKRNFSGM GXYKRNFSGM

URI	`m2://inv/GXYKRNFSGM`
Kind	statement
Layer	research
MSC	11-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.30200#OXTF (statement)

History

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

Moving convex sweeping process with memory GXYMDV9JEW

URI	`m2://inv/GXYMDV9JEW`
Kind	example
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.27414#7FPP, Moving convex sweeping process with memory (example)

History

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

Arthur Geoffrey Walker GXZ39BM12N

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

Mentions

wikipedia: Wikipedia Arthur Geoffrey Walker, Arthur Geoffrey Walker (topic). Also Wikidata Q222988

History

2026-11-02: add by m2/dev

Jakow Trachtenberg GXZ4YX0Y23

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#RX5U, Jakow Trachtenberg (topic)

History

2026-11-02: add by m2/dev

Thomas A. Garrity GXZRZQKB2Z

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

Mentions

wikipedia: Wikipedia Thomas A. Garrity, Thomas A. Garrity (topic). Also Wikidata Q102145592

History

2026-11-02: add by m2/dev

GXZTRZBBWZ GXZTRZBBWZ

URI	`m2://inv/GXZTRZBBWZ`
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#EHUW (statement). In RK0ZMDJ23T/e1, theorem 2.4.9

History

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

GXZYHWC9CD GXZYHWC9CD

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

Mentions

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

History

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