Inventory rows 75

Generalizations 7503Q6PDPE

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

Mentions

wikipedia: Wikipedia Cauchy's integral formula#YZJP, Generalizations (statement)

History

2026-11-02: add by m2/dev

750C286V70 750C286V70

URI	`m2://inv/750C286V70`
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.06419#BNTF (statement). In JSZRXT3W3E/e1, lemma 5.2

History

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

750C7FJGP2 750C7FJGP2

URI	`m2://inv/750C7FJGP2`
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.21730#6Q12 (statement). In BM64QM6Q7J/e1, lemma 3.1

History

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

750GTHQG2M 750GTHQG2M

URI	`m2://inv/750GTHQG2M`
Kind	example
Layer	research
MSC	05-XX, 11-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.25168#01GT (example)

History

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

Uniform junction and time-seam estimates 750HDJA1KM

URI	`m2://inv/750HDJA1KM`
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.20215#0YNB, Uniform junction and time-seam estimates (statement)

History

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

Axiom 2 750J1DJ114

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

Mentions

wikipedia: Wikipedia Tarski's axiomatization of the reals#Y0ED, Axiom 2 (statement)

History

2026-11-02: add by m2/dev

750MR3FE4H 750MR3FE4H

URI	`m2://inv/750MR3FE4H`
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 2512.08487#A6XT (statement). In 77TVQVYN0Z/e1, proposition 12

History

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

Lemoine point 750PZNNX2Q

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

Mentions

wikidata: Wikidata Q940537, Lemoine point (concept). Also MathWorld SymmedianPoint
wikipedia: Wikipedia Lemoine point, Lemoine point (definition). Also Wikidata Q940537

History

2026-10-26: add by m2/dev

750SSKMM9Z 750SSKMM9Z

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

Mentions

arxiv: arXiv 2610.21475#N1E2 (definition). In TTRSZVT4VX/e1, definition 4.1

History

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

75109PG3W6 75109PG3W6

URI	`m2://inv/75109PG3W6`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 46-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.12430#3C4V (statement). In VGKCBWQ65N/e1, lemma 2.8

History

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

7514R0K4RT 7514R0K4RT

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

Mentions

arxiv: arXiv 0910.5574#WMQP (statement). In 2TJRBRKYAY/e1, corollary 4.5

History

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

Non-examples 7515A8BYET

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

Mentions

wikipedia: Wikipedia Principal ideal domain#JLF4, Non-examples (counterexample)

History

2026-11-02: add by m2/dev

Application 7517S3Z8H4

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

Mentions

wikipedia: Wikipedia Monte Carlo methods for option pricing#TC70, Application (example)

History

2026-11-02: add by m2/dev

751ASQ2EMW 751ASQ2EMW

URI	`m2://inv/751ASQ2EMW`
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#LORG (statement). In RK0ZMDJ23T/e1, lemma 3.1.3

History

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

751BWT4MP4 751BWT4MP4

URI	`m2://inv/751BWT4MP4`
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.39981#J80Y (statement). In PMMV6YAEVR/e1, proposition 1

History

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

751JXJJWDH 751JXJJWDH

URI	`m2://inv/751JXJJWDH`
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.25985#JX3E (statement)

History

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

751NE64P2J 751NE64P2J

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

Mentions

arxiv: arXiv 2603.26376#39LQ (statement). In PJAT9YDX7Y/e1, proposition 2.3

History

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

752J1GVY72 752J1GVY72

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

Mentions

arxiv: arXiv 2605.02634#HDXT (definition). In EZ6PAF0MXH/e1, definition 5.1

History

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

752MK2NB5C 752MK2NB5C

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

Mentions

arxiv: arXiv 2610.07905#GN9K (statement). In 88GEN3Z5VG/e1, lemma 7.12

History

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

7530BRRX43 7530BRRX43

URI	`m2://inv/7530BRRX43`
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 2508.17135#R8N5 (statement). In 74MXJ2RX4B/e1, corollary 4.9

History

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

7530VXPFZR 7530VXPFZR

URI	`m2://inv/7530VXPFZR`
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.01928#8P0D (statement). In BSJRRHKGX0/e1, theorem 1.2

History

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

cosingular 7531GX6XNM

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#C6M0, cosingular (definition)

History

2026-11-02: add by m2/dev

Existence criterion 753598K9DY

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

Mentions

wikipedia: Wikipedia Lattice (discrete subgroup)#5SMV, Existence criterion (statement)

History

2026-11-02: add by m2/dev

753CH748JW 753CH748JW

URI	`m2://inv/753CH748JW`
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#OLF2 (statement)

History

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

753D0NBZJB 753D0NBZJB

URI	`m2://inv/753D0NBZJB`
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.18205#FHOL (statement). In Y37VAPDKE4/e1, lemma 6

History

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

Definition 753JRS2AJR

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

Mentions

wikipedia: Wikipedia Isoclinism of groups#5Y2K, Definition (definition)

History

2026-11-02: add by m2/dev

753SKTP02W 753SKTP02W

URI	`m2://inv/753SKTP02W`
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 2206.11809#4Q4G (statement). In YQXYSNW78V/e1, proposition 7

History

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

753VVCX137 753VVCX137

URI	`m2://inv/753VVCX137`
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#YOAB (statement). In 5350Q52F6P/e1, proposition 8.5

History

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

Ergin Sezgin 7541XF0759

URI	`m2://inv/7541XF0759`
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 Q16063675, Ergin Sezgin (unknown). Also nLab Ergin Sezgin

History

2026-10-26: add by m2/dev

Anatoly Fomenko 7543DWTF5Y

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#D00B, Anatoly Fomenko (topic)

History

2026-11-02: add by m2/dev

Applications 7546D86H3T

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

Mentions

wikipedia: Wikipedia GRIM test#3VLG, Applications (example)

History

2026-11-02: add by m2/dev

7547CNMWYF 7547CNMWYF

URI	`m2://inv/7547CNMWYF`
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.01276#ADNQ (statement). In 7JJPPMS2DN/e1, proposition 4.3

History

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

Definition 754GHWMWN6

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

Mentions

wikipedia: Wikipedia Wu manifold#W6IE, Definition (definition)

History

2026-11-02: add by m2/dev

Mandelbrot tree 754QV4HSNC

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#NUSG, Mandelbrot tree (definition)

History

2026-11-02: add by m2/dev

Heisuke Hironaka 754VYYGY0G

URI	`m2://inv/754VYYGY0G`
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 Q183373, Heisuke Hironaka (unknown). Also nLab Heisuke Hironaka
wikipedia: Wikipedia Heisuke Hironaka, Heisuke Hironaka (topic). Also Wikidata Q183373

History

2026-10-26: add by m2/dev

754XE6QMF5 754XE6QMF5

URI	`m2://inv/754XE6QMF5`
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#X6P1 (statement). In FF4HDVF1DC/e1, lemma 3.2

History

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

Uruguay 754ZZV1DE1

URI	`m2://inv/754ZZV1DE1`
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 Q77, Uruguay (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Uruguay

History

2026-10-26: add by m2/dev

Edit distance 75500WY8MS

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

Mentions

wikipedia: Wikipedia Edit distance, Edit distance (definition). Also Wikidata Q5338467

History

2026-11-02: add by m2/dev

LDP for covariant tomography 75516S32JG

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

Mentions

arxiv: arXiv 2609.40271#OSGT, LDP for covariant tomography (statement). In 9MXMRKFKDW/e1, theorem 3.8

History

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

75527DEPQ5 75527DEPQ5

URI	`m2://inv/75527DEPQ5`
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.12640#ZGKD (statement). In QP9FE1D6PG/e1, theorem 1.3

History

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

truncated great icosahedron 7559AYJA97

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

Mentions

wikidata: Wikidata Q294872, truncated great icosahedron (unknown). Also MathWorld GreatTruncatedIcosahedron
wikipedia: Wikipedia Truncated great icosahedron, Truncated great icosahedron (object). Also Wikidata Q294872

History

2026-10-26: add by m2/dev

7559RVPBHK 7559RVPBHK

URI	`m2://inv/7559RVPBHK`
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.23093#IFXS (statement)

History

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

Theorem A (universal algebra) 755B41ADAT

URI	`m2://inv/755B41ADAT`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (the item has no name of its own, and the write role names it)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Isomorphism theorems#1WW4, Theorem A (universal algebra) (statement)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Examples 755KF5VQ8F

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

Mentions

wikipedia: Wikipedia Advantage (cryptography)#6SHD, Examples (example)

History

2026-11-02: add by m2/dev

linear map 755KSG8M09

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

Mentions

mathlib_overview: mathlib_overview Linear algebra > Fundamentals > linear map, linear map (unknown). Also Mathlib LinearMap
mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > linear map, linear map (unknown). Also Mathlib LinearMap

History

2026-10-26: add by m2/dev

Cantor's intersection theorem 755QFRJ4VP

URI	`m2://inv/755QFRJ4VP`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Cantor's intersection theorem 0EZBG8SKJM

Mentions

mathlib_1000: mathlib_1000 Q1050203, Cantor's intersection theorem (statement). Also Mathlib IsCompact.nonempty_sInter_of_directed_nonempty_isCompact_isClosed, Wikidata Q1050203
thousand_plus: thousand_plus Q1050203, Cantor's intersection theorem (statement). Also Mathlib IsCompact.nonempty_sInter_of_directed_nonempty_isCompact_isClosed, Wikidata Q1050203, Wikipedia Cantor's intersection theorem
wikidata: Wikidata Q858052, Cantor's intersection theorem (statement). Also MathWorld CantorsIntersectionTheorem
wikipedia: Wikipedia Cantor's intersection theorem, Cantor's intersection theorem (statement). Also Wikidata Q858052

History

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

Level Sets 755S52X6C5

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

Mentions

arxiv: arXiv 2610.03126#9KOX, Level Sets (definition). In ZJ6VQCRDVR/e1, definition 10

History

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

integrating factor 755VZE1XD2

URI	`m2://inv/755VZE1XD2`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Integrating factor 01THH3Y3YP

Mentions

wikidata: Wikidata Q2734005, integrating factor (unknown). Also MathWorld IntegratingFactor
wikipedia: Wikipedia Integrating factor, Integrating factor (definition). Also Wikidata Q2734005

History

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

trace 7561HY7XQ5

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#LWUF, trace (definition)

History

2026-11-02: add by m2/dev

Topology optimization 756GDQMGK0

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

Mentions

wikipedia: Wikipedia Topology optimization, Topology optimization (definition). Also Wikidata Q2443456

History

2026-11-02: add by m2/dev

756GXHJQQT 756GXHJQQT

URI	`m2://inv/756GXHJQQT`
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.03337#JMD2 (statement). In VH7EZDGTNA/e1, lemma 2.9

History

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

756REJQ9PP 756REJQ9PP

URI	`m2://inv/756REJQ9PP`
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.35766#DZMS (definition). In 6638EFW1NG/e1, definition

History

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

756ZJXAC5P 756ZJXAC5P

URI	`m2://inv/756ZJXAC5P`
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 0809.0068#I8SG (statement). In MBKYGM01FK/e1, proposition 1.4

History

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

skolemization 7575CTR42F

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

Mentions

wikipedia: Wikipedia Glossary of logic#P6CP, skolemization (definition)

History

2026-11-02: add by m2/dev

Properties 757GKMEE0A

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

Mentions

wikipedia: Wikipedia Reuleaux polygon#TP70, Properties (statement)

History

2026-11-02: add by m2/dev

Neena Gupta 757P68Q0MX

URI	`m2://inv/757P68Q0MX`
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#VYIA, Neena Gupta (topic)

History

2026-11-02: add by m2/dev

Jonckheere's trend test 7581PJ6T2K

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

Mentions

wikipedia: Wikipedia List of statistics articles#HM27, Jonckheere's trend test (definition)

History

2026-11-02: add by m2/dev

Counterexamples 7581YA8DB2

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

Mentions

wikipedia: Wikipedia Pitteway triangulation#GO2S, Counterexamples (counterexample)

History

2026-11-02: add by m2/dev

Locality-sensitive hashing 75824RKGE8

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

Mentions

wikipedia: Wikipedia List of algorithms#48BP, Locality-sensitive hashing (unknown)

History

2026-11-02: add by m2/dev

The action factors through $\Aut/\Inn$ 75826CR5FF

URI	`m2://inv/75826CR5FF`
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.27042#LCBV, The action factors through $\Aut/\Inn$ (statement)

History

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

7586751J9Y 7586751J9Y

URI	`m2://inv/7586751J9Y`
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 2207.07461#LQQH (statement). In GAG532VMPF/e1, proposition 6.3.1

History

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

758AJTEC60 758AJTEC60

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 3.4

History

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

earth 758D0MV2KW

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

Mentions

wikidata: Wikidata Q2488752, earth (definition). Also ProofWiki Definition:Philosophical_Element/Earth

History

2026-10-26: add by m2/dev

758DGG63VS 758DGG63VS

URI	`m2://inv/758DGG63VS`
Kind	definition
Layer	research
MSC	26-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 2112.10058#OYTL (definition). In YQKKA47GS9/e1, definition 3.2

History

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

758F8DDPNP 758F8DDPNP

URI	`m2://inv/758F8DDPNP`
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#6ZST (statement). In B8MJT0GGW8/e1, lemma 2.9

History

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

758G7GNX7S 758G7GNX7S

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#definition-6 (definition). In RZP28ERRZV, definition, section 4.6

History

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

758GCCW5TP 758GCCW5TP

URI	`m2://inv/758GCCW5TP`
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.00584#W9SL (statement). In 3CRSR95BNA/e1, theorem 4.4

History

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

758NEFVTYF 758NEFVTYF

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-71 (exercise). In E9HS8K3A52, exercise, section 4.4.1

History

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

758NQMXMR5 758NQMXMR5

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

Mentions

arxiv: arXiv 2609.34013#Y23F (definition). In 3TA3P3CWSJ/e1, definition 2.1

History

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

Narayana number 758VGSJ9GS

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

Mentions

wikipedia: Wikipedia List of triangle topics#Y7M8, Narayana number (definition)

History

2026-11-02: add by m2/dev

Chi distribution 758X1XSKPE

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

Mentions

wikipedia: Wikipedia Chi distribution, Chi distribution (definition). Also Wikidata Q917521

History

2026-11-02: add by m2/dev

parabigyrate rhombicosidodecahedron 7591VPG0N1

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

Mentions

wikidata: Wikidata Q518274, parabigyrate rhombicosidodecahedron (object). Also MathWorld ParabigyrateRhombicosidodecahedron
wikipedia: Wikipedia Parabigyrate rhombicosidodecahedron, Parabigyrate rhombicosidodecahedron (definition). Also Wikidata Q518274

History

2026-10-26: add by m2/dev

Neighbourhood inclusion 7596RRKG4D

URI	`m2://inv/7596RRKG4D`
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.14681#EFYN, Neighbourhood inclusion (statement). In 459W0NBS5Q/e1, lemma 3

History

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

Discretization of Bounded-Parameter Log-concave Distributions 7598HBZ9V6

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

Mentions

arxiv: arXiv 2610.21033#RCOU, Discretization of Bounded-Parameter Log-concave Distributions (statement). In A8C1M9BSWH/e1, lemma 8.7

History

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

Examples 759DBGBY4C

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

Mentions

wikipedia: Wikipedia Scott domain#H6WA, Examples (example)

History

2026-11-02: add by m2/dev

Zeta distribution 759G1KG4GG

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

Mentions

wikidata: Wikidata Q196825, Zeta distribution (unknown). Also MathWorld ZipfDistribution
wikipedia: Wikipedia Zeta distribution, Zeta distribution (definition). Also Wikidata Q196825

History

2026-10-26: add by m2/dev

Hugh Hedley Scurfield 759GJCGMCD

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

Mentions

wikipedia: Wikipedia List of actuaries#ZRYZ, Hugh Hedley Scurfield (unknown)

History

2026-11-02: add by m2/dev

759J56PB01 759J56PB01

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

Mentions

arxiv: arXiv 2609.38228#8X4P (statement). In 9YAE8FNQST/e1, theorem 27.6

History

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

Mathematical sociology 759KFDSDD3

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

Mentions

wikipedia: Wikipedia Mathematical sociology, Mathematical sociology (definition). Also Wikidata Q4284723

History

2026-11-02: add by m2/dev

C^1 759M9B4HKA

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

Mentions

wikipedia: Wikipedia Differentiable function#KQT2, C^1 (unknown)

History

2026-11-02: add by m2/dev

Jerrold B. Tunnell 759NQKP4KC

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

Mentions

wikipedia: Wikipedia Jerrold B. Tunnell, Jerrold B. Tunnell (topic). Also Wikidata Q15820988

History

2026-11-02: add by m2/dev

759SRKQ2AS 759SRKQ2AS

URI	`m2://inv/759SRKQ2AS`
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 2605.30285#ZFEA (statement). In YMY0NNSM27/e1, lemma 7.1

History

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

759WBXEH5N 759WBXEH5N

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#example-1 (example). In E9HS8K3A52, example, section 8.2.3

History

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

Exact statistics 759YS63ZC7

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

Mentions

wikipedia: Wikipedia List of statistics articles#1O8Z, Exact statistics (definition)

History

2026-11-02: add by m2/dev

The Baker–Campbell–Hausdorff formula 75A0XRAA16

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

Mentions

wikipedia: Wikipedia Matrix exponential#RGFE, The Baker–Campbell–Hausdorff formula (statement)

History

2026-11-02: add by m2/dev

cumulant 75A3Y0M9QR

URI	`m2://inv/75A3Y0M9QR`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Cumulant 9F3ZTTT9HA

Mentions

wikidata: Wikidata Q746007, cumulant (concept). Also EoM Semi-invariant, MathWorld Cumulant, nLab cumulant
wikipedia: Wikipedia Cumulant, Cumulant (definition). Also Wikidata Q746007

History

2026-10-26: add by m2/dev

Tychonoff's theorem 75A6WEES79

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

Mentions

wikipedia: Wikipedia Tychonoff's theorem#XJ14, Tychonoff's theorem (statement)

History

2026-11-02: add by m2/dev

Kiril Popov 75AM8KPPHW

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

Mentions

wikipedia: Wikipedia Kiril Popov (mathematician), Kiril Popov (topic). Also Wikidata Q12283050

History

2026-11-02: add by m2/dev

Variants 75ASXMZ0M9

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

Mentions

wikipedia: Wikipedia Dominating set#G0A3, Variants (statement)

History

2026-11-02: add by m2/dev

75AWDMQXPP 75AWDMQXPP

URI	`m2://inv/75AWDMQXPP`
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#7R2P (statement)

History

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

priority queue 75AX91T3EN

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

Mentions

wikidata: Wikidata Q629283, priority queue (unknown). Also MathWorld PriorityQueue

History

2026-10-26: add by m2/dev

Jonathan Mock Beck 75BKPQT7SH

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

Mentions

wikipedia: Wikipedia Jonathan Mock Beck, Jonathan Mock Beck (topic). Also Wikidata Q6273934

History

2026-11-02: add by m2/dev

Statement 75BNPQYKN3

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

Mentions

wikipedia: Wikipedia Carlson's theorem#0F9N, Statement (statement)

History

2026-11-02: add by m2/dev

All-aspect deterministic margin geometry 75BXYB4ZZC

URI	`m2://inv/75BXYB4ZZC`
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#AOED, All-aspect deterministic margin geometry (statement). In TTEAQA1XXR/e1, theorem C.2

History

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

75C6WCFXFH 75C6WCFXFH

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

Mentions

arxiv: arXiv 2610.09333#X0CJ (statement). In Z9HC1EDTQP/e1, corollary 3.11

History

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

75CEDVDX2Q 75CEDVDX2Q

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

Mentions

arxiv: arXiv 2610.11596#G2QH (example). In 76850E2X7T/e1, example 3.7

History

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

William Stanley Jevons 75CWPSR6B6

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

Mentions

wikipedia: Wikipedia William Stanley Jevons, William Stanley Jevons (topic). Also Wikidata Q312546

History

2026-11-02: add by m2/dev

75CWVG738H 75CWVG738H

URI	`m2://inv/75CWVG738H`
Kind	example
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 2609.20606#UU25 (example)

History

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

75D0TMPMRR 75D0TMPMRR

URI	`m2://inv/75D0TMPMRR`
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#2X22 (statement). In 17ACAG0N9C/e1, lemma 6.2

History

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

75D5KVYZDP 75D5KVYZDP

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

Mentions

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

History

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

Special cases 75D6A26JPC

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

Mentions

wikipedia: Wikipedia Pell's equation#DIOV, Special cases (statement)

History

2026-11-02: add by m2/dev

Rhombic Dodecahedron Stellations 75DDZ182A0

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

Mentions

wikidata: Wikidata Q67169233, Rhombic Dodecahedron Stellations (unknown). Also MathWorld RhombicDodecahedronStellations

History

2026-10-26: add by m2/dev

Dick de Jongh 75DGJB4NHK

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

Mentions

wikipedia: Wikipedia List of logicians#JO3M, Dick de Jongh (topic)

History

2026-11-02: add by m2/dev

Fine topology (potential theory) 75DNRK2Q0Z

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

Mentions

wikipedia: Wikipedia Glossary of general topology#C8Y0, Fine topology (potential theory) (definition)

History

2026-11-02: add by m2/dev

75DNWA78XA 75DNWA78XA

URI	`m2://inv/75DNWA78XA`
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.14319#8BXM (statement). In N2FBBMPEXA/e1, theorem 1.1

History

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

75DPM3DAAS 75DPM3DAAS

URI	`m2://inv/75DPM3DAAS`
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 2405.10580#JYR7 (statement). In FXEJE0PWEP/e1, proposition 3.4

History

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

75DZ2JRR69 75DZ2JRR69

URI	`m2://inv/75DZ2JRR69`
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.09494#CPDN (statement). In H297EPZQQB/e1, lemma 2.3

History

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

75E6AW9Q58 75E6AW9Q58

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

Mentions

open_logic: open_logic content/model-theory/basics/nonstandard-arithmetic.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 46.3

History

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

75EA2T24G0 75EA2T24G0

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

Mentions

open_logic: open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 39.4

History

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

75EBCQV2GX 75EBCQV2GX

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

Mentions

arxiv: arXiv 2609.25289#TI19 (statement)

History

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

75EFNX7BHY 75EFNX7BHY

URI	`m2://inv/75EFNX7BHY`
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.37706#DMUN (statement). In 6YY27KRJFN/e1, lemma 6.21

History

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

Definitions 75EHM7FY76

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

Mentions

wikipedia: Wikipedia Hessenberg matrix#ZFDR, Definitions (definition)

History

2026-11-02: add by m2/dev

75EMR22RRX 75EMR22RRX

URI	`m2://inv/75EMR22RRX`
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.08434#3EPZ (statement). In VN8087G2FC/e1, corollary 7.3

History

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

Certificate using prespecified class representatives 75EQRMT16K

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

Mentions

arxiv: arXiv 2609.32652#27A9, Certificate using prespecified class representatives (statement). In 6KAZWJ8RFX/e1, corollary 2.4

History

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

Ramanujan–Petersson conjecture 75EVCGBQ7K

URI	`m2://inv/75EVCGBQ7K`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Ramanujan–Petersson conjecture 4CDFWST967

Mentions

wikidata: Wikidata Q630650, Ramanujan–Petersson conjecture (concept). Also MathWorld TauConjecture
wikipedia: Wikipedia Ramanujan–Petersson conjecture, Ramanujan–Petersson conjecture (statement). Also Wikidata Q630650

History

2026-10-26: add by m2/dev

Per-instance sharpness against the minimax floor 75EZJNJNAA

URI	`m2://inv/75EZJNJNAA`
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.04671#TQFS, Per-instance sharpness against the minimax floor (statement). In BYP65TRGDT/e1, corollary 5.16

History

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

Historic Triangle 75F4V2Y72A

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

Mentions

wikipedia: Wikipedia List of triangle topics#DL0O, Historic Triangle (unknown)

History

2026-11-02: add by m2/dev

identity element 75FBJRN7YR

URI	`m2://inv/75FBJRN7YR`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Identity element 07WYQPB8E3

Mentions

wikidata: Wikidata Q185813, identity element (unknown). Also EoM Identity_element, LMFDB knowl alg.binary_operation.identity, MathWorld IdentityElement, nLab identity element
wikipedia: Wikipedia Identity element, Identity element (statement). Also Wikidata Q185813

History

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

homaloid 75FBZN587G

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#T5CD, homaloid (definition)

History

2026-11-02: add by m2/dev

75FEDC6KPF 75FEDC6KPF

URI	`m2://inv/75FEDC6KPF`
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 2511.17751#KGRW (statement). In J39X0NB31S/e1, proposition 9.2

History

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

75FFDBB7Y1 75FFDBB7Y1

URI	`m2://inv/75FFDBB7Y1`
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.08370#OO26 (definition). In EQN3EZRZYQ/e1, definition 4.1

History

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

Non-linear Roth--S\'ark\"ozy 75FHMRJQVA

URI	`m2://inv/75FHMRJQVA`
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 1806.05002#NS30, Non-linear Roth--S\'ark\"ozy (statement). In JBAQ7DTW7B/e1, theorem 12.1

History

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

75FJDD40P1 75FJDD40P1

URI	`m2://inv/75FJDD40P1`
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 2512.11346#H1OL (statement). In ZW58VE9XE3/e1, theorem B

History

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

provability logic 75FJDRC4P2

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

Mentions

wikipedia: Wikipedia Glossary of logic#W18J, provability logic (definition)

History

2026-11-02: add by m2/dev

William J. LeVeque 75FK85TQNG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#952G, William J. LeVeque (topic)

History

2026-11-02: add by m2/dev

quasi-split 75FQV663SS

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#NBSM, quasi-split (definition)

History

2026-11-02: add by m2/dev

uniform integrability 75FWMG6CQK

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

Mentions

mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > uniform integrability, uniform integrability (unknown). Also Mathlib MeasureTheory.UniformIntegrable

History

2026-10-26: add by m2/dev

Poisson binomial distribution 75FXMWS06E

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

Mentions

wikipedia: Wikipedia List of probability distributions#IX0E, Poisson binomial distribution (definition)

History

2026-11-02: add by m2/dev

Coordinate identities 75G2ZSE482

URI	`m2://inv/75G2ZSE482`
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#AVAU, Coordinate identities (statement)

History

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

Applications 75G4ZCQS77

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

Mentions

wikipedia: Wikipedia Twistor correspondence#J3BV, Applications (example)

History

2026-11-02: add by m2/dev

Graham Brightwell 75G5DGJ1WY

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

Mentions

wikipedia: Wikipedia Graham Brightwell, Graham Brightwell (topic). Also Wikidata Q5592689

History

2026-11-02: add by m2/dev

75G8JR0SQZ 75G8JR0SQZ

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

Mentions

arxiv: arXiv 2609.21098#1XKJ (statement)

History

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

75G9G84JW7 75G9G84JW7

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

Mentions

napkin: napkin tex/set-theory/forcing.tex#proof-3 (proof). In RZP28ERRZV, proof, section 90.3

History

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

75GEF89YXD 75GEF89YXD

URI	`m2://inv/75GEF89YXD`
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 2609.20190#NDXP (statement)

History

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

Formal statement 75GEQGTSJC

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

Mentions

wikipedia: Wikipedia Bing metrization theorem#TQHG, Formal statement (statement)

History

2026-11-02: add by m2/dev

Geneviève Guitel 75GSWG0GHQ

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

Mentions

wikipedia: Wikipedia Geneviève Guitel, Geneviève Guitel (topic). Also Wikidata Q3100655

History

2026-11-02: add by m2/dev

75GVE0ZPY3 75GVE0ZPY3

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

Mentions

arxiv: arXiv 2610.12565#Z6SA (statement). In 9RYQ164FWA/e1, lemma 13

History

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

75H4QJGEQ7 75H4QJGEQ7

URI	`m2://inv/75H4QJGEQ7`
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.06440#6VZO (statement). In 5YB65RB13X/e1, proposition 1.2

History

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

Dimensions 75HD05SP63

URI	`m2://inv/75HD05SP63`
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.13222#YF8O, Dimensions (statement). In Z6WA2R0J50/e1, lemma 3.1

History

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

75HD97B153 75HD97B153

URI	`m2://inv/75HD97B153`
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.28669#TQWS (statement)

History

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

Field with 4 elements 75HWBSWSQY

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

Mentions

wikipedia: Wikipedia Finite field#F8JN, Field with 4 elements (unknown)

History

2026-11-02: add by m2/dev

Nicholas Metropolis 75J6G9KSJK

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#AJ32, Nicholas Metropolis (unknown)

History

2026-11-02: add by m2/dev

75JMDZJ6P3 75JMDZJ6P3

URI	`m2://inv/75JMDZJ6P3`
Kind	statement
Layer	research
MSC	20-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.40290#HDRZ (statement). In 4K1CNBYJHF/e1, theorem 5.1

History

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

75JMZ9GRFN 75JMZ9GRFN

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

Mentions

arxiv: arXiv 2610.10559#Z76S (statement). In WEP0PNJW09/e1, lemma 4.1

History

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

75K2X1PQ6R 75K2X1PQ6R

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

Mentions

arxiv: arXiv 2610.20558#WAUX (example). In 46370P3Y9S/e1, example 5.22

History

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

moduli space 75K7S3XFX4

URI	`m2://inv/75K7S3XFX4`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Moduli space FJZRW9P0K3

Mentions

wikidata: Wikidata Q845677, moduli space (unknown). Also MathWorld ModuliSpace, nLab moduli space
wikipedia: Wikipedia Moduli space, Moduli space (definition). Also Wikidata Q845677

History

2026-10-26: add by m2/dev

Algebraic properties 75KDADM4VM

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

Mentions

wikipedia: Wikipedia Gray graph#DJKI, Algebraic properties (statement)

History

2026-11-02: add by m2/dev

Example 75KDX1A6RJ

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

Mentions

wikipedia: Wikipedia Tensor product of modules#4OZ6, Example (example)

History

2026-11-02: add by m2/dev

characteristic 75KG2J8YKB

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#70P3, characteristic (definition)

History

2026-11-02: add by m2/dev

proof theory 75KM352SJ5

URI	`m2://inv/75KM352SJ5`
Kind	topic
Layer	textbook
MSC	03Fxx
Sources	2
Outcome	open
Node	Proof theory N4EDJNMTEF

Mentions

wikidata: Wikidata Q852732, proof theory (topic). Also MathWorld ProofTheory, nLab proof theory, ProofWiki Definition:Proof_Theory
wikipedia: Wikipedia Proof theory, Proof theory (topic). Also Wikidata Q852732

History

2026-10-26: add by m2/dev

75KR27VHX0 75KR27VHX0

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

Mentions

arxiv: arXiv 2108.10246#RRH2 (example). In XD0YT3XCW2/e1, example 3.4

History

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

Inverse function theorem 75KRF0KXK5

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#thm:inverse, Inverse function theorem (statement). In E59CDZA4DP, thm, section 11.5

History

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

Special cases 75M1HD23YF

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

Mentions

wikipedia: Wikipedia Rectilinear Steiner tree#RZG1, Special cases (statement)

History

2026-11-02: add by m2/dev

75M2F42AZK 75M2F42AZK

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

Mentions

arxiv: arXiv 2609.40282#ANDZ (statement). In P86RWY99S2/e1, lemma 1.2.4

History

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

Categorical Completion $\mathbf{Ham}_{\mathbb{C}}$ 75MASDS1QQ

URI	`m2://inv/75MASDS1QQ`
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 2610.03384#16C9, Categorical Completion $\mathbf{Ham}_{\mathbb{C}}$ (definition). In J55JTTKG84/e1, definition 5.2

History

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

Pareto distribution 75N6RYTDWJ

URI	`m2://inv/75N6RYTDWJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Pareto distribution 5N3P64YHQR

Mentions

wikidata: Wikidata Q837683, Pareto distribution (unknown). Also MathWorld ParetoDistribution
wikipedia: Wikipedia Pareto distribution, Pareto distribution (definition). Also Wikidata Q837683

History

2026-10-26: add by m2/dev

comparable 75NB6C3KNV

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

Mentions

applied_combinatorics: applied_combinatorics index/6.1/comparable, comparable (concept). In QKM9DD2H56, index, section 6.1

History

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

75NZX4J8HM 75NZX4J8HM

URI	`m2://inv/75NZX4J8HM`
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 2301.02848#PCJC (statement). In G6WQDW52TJ/e1, theorem 1.5

History

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

75P4D776AK 75P4D776AK

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

Mentions

arxiv: arXiv 2609.37520#KPJL (statement). In BDN507RN7J/e1, proposition 3.6.11

History

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

75PCYMF48H 75PCYMF48H

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

Mentions

arxiv: arXiv 2609.31242#A9JT (statement). In 3NPRR9546C/e1, lemma 4.1

History

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

75PPTSX68B 75PPTSX68B

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

Mentions

arxiv: arXiv 2609.27125#8U84 (statement)

History

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

stalk 75PPYATE1Y

URI	`m2://inv/75PPYATE1Y`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Stalk JTAKAPTT8H

Mentions

wikidata: Wikidata Q17103642, stalk (concept). Also nLab stalk, ProofWiki Definition:Stalk_of_Presheaf
wikipedia: Wikipedia Stalk (sheaf), Stalk (definition). Also Wikidata Q17103642

History

2026-10-26: add by m2/dev

75PYN8ZCE8 75PYN8ZCE8

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

Mentions

arxiv: arXiv 2610.11545#WZMT (statement). In VN084GGZGK/e1, lemma 3.6

History

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

75QDGX0MW6 75QDGX0MW6

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

Mentions

open_logic: open_logic content/normal-modal-logic/tableaux/soundness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 55.12

History

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

Ultraweak topology 75QF7865AM

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

Mentions

wikipedia: Wikipedia List of topologies#VLXC, Ultraweak topology (definition)

History

2026-11-02: add by m2/dev

75QKC1XPPM 75QKC1XPPM

URI	`m2://inv/75QKC1XPPM`
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.26477#G9RP (statement)

History

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

fuzzy logic 75QNTM0BWW

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

Mentions

wikipedia: Wikipedia Glossary of logic#BKNZ, fuzzy logic (definition)

History

2026-11-02: add by m2/dev

Vojtěch Pravda 75QPJ0G2SD

URI	`m2://inv/75QPJ0G2SD`
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 Q95084407, Vojtěch Pravda (unknown). Also nLab Vojtěch Pravda

History

2026-10-26: add by m2/dev

Ranjan Roy 75QTKB3T58

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

Mentions

wikipedia: Wikipedia Ranjan Roy, Ranjan Roy (topic). Also Wikidata Q102129859

History

2026-11-02: add by m2/dev

75QTZY1SVN 75QTZY1SVN

URI	`m2://inv/75QTZY1SVN`
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 2409.03423#IJVK (statement). In 8C5YCMN81V/e1, proposition 3

History

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

generic 75QVG9RTXK

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

Mentions

wikipedia: Wikipedia Glossary of set theory#35GP, generic (definition)

History

2026-11-02: add by m2/dev

Bhadrabahu 75QXCYB7AT

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#XOYC, Bhadrabahu (unknown)

History

2026-11-02: add by m2/dev

75R7VKNTF8 75R7VKNTF8

URI	`m2://inv/75R7VKNTF8`
Kind	statement
Layer	research
MSC	05-XX, 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 2404.06445#ZFDI (statement). In 12JKZ8EN52/e1, theorem 8.13
arxiv: arXiv 2609.36300#N0HY (statement). In MNWD3Y6W56/e1, lemma 4.2

History

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

Tensor nuclear rank 75RGF23VTP

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

Mentions

arxiv: arXiv 2609.33219#CAZR, Tensor nuclear rank (definition). In ETTQWMJZXJ/e1, definition 3

History

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

Fodor's lemma 75RH7JA863

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

Mentions

wikipedia: Wikipedia List of lemmas#QIDJ, Fodor's lemma (statement)

History

2026-11-02: add by m2/dev

Juliet Popper Shaffer 75RKKK020D

URI	`m2://inv/75RKKK020D`
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#BYSO, Juliet Popper Shaffer (topic)

History

2026-11-02: add by m2/dev

75RV4XH16C 75RV4XH16C

URI	`m2://inv/75RV4XH16C`
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.12716#0XGL (statement). In M6BCSQSM3R/e1, lemma 1

History

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

75RVMNC08V 75RVMNC08V

URI	`m2://inv/75RVMNC08V`
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.39700#WWJ2 (statement). In E7W2HDNEKJ/e1, theorem 6.40

History

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

75RXKS8GSC 75RXKS8GSC

URI	`m2://inv/75RXKS8GSC`
Kind	example
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.23605#8D9N (example)

History

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

Geometric forcing of reciprocal locking 75RYRCGHCQ

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

Mentions

arxiv: arXiv 2610.15686#0NVU, Geometric forcing of reciprocal locking (statement). In 4HCK722M2G/e1, theorem B

History

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

Gaussian rounding on an integral base polyhedron 75RZ2ZQJB3

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

Mentions

arxiv: arXiv 2609.38228#ZJLS, Gaussian rounding on an integral base polyhedron (statement). In 9YAE8FNQST/e1, theorem 5.4

History

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

75S7BDWS4P 75S7BDWS4P

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

Mentions

arxiv: arXiv 2609.37520#H4I8 (statement). In BDN507RN7J/e1, proposition 3.2.11

History

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

75SJWJCER6 75SJWJCER6

URI	`m2://inv/75SJWJCER6`
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#GBRP (statement). In CC6S1HVK0T/e1, proposition 3.5

History

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

Even and odd numbers 75SP5JG8Y2

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

Mentions

wikipedia: Wikipedia List of number theory topics#EZR0, Even and odd numbers (definition)

History

2026-11-02: add by m2/dev

Lifting criterion 75SS1XV26X

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

Mentions

arxiv: arXiv 2610.11823#TTIQ, Lifting criterion (statement). In YNQHA63Z2B/e1, lemma 5.2

History

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

Whirlpool 75SV0QB1EN

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

Mentions

wikipedia: Wikipedia Whirlpool (hash function), Whirlpool (definition). Also Wikidata Q1893324

History

2026-11-02: add by m2/dev

75SV9SNYAQ 75SV9SNYAQ

URI	`m2://inv/75SV9SNYAQ`
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 2304.10461#X40C (statement). In H3DS7TK6R1/e1, theorem C.1

History

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

75SVSC2TF4 75SVSC2TF4

URI	`m2://inv/75SVSC2TF4`
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.12295#SHIO (statement). In 6DZPR52HRP/e1, lemma 5.5

History

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

Alternative definition 75T0PDYWAH

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

Mentions

wikipedia: Wikipedia Vector spherical harmonics#LESD, Alternative definition (definition)

History

2026-11-02: add by m2/dev

75T1QCXZPN 75T1QCXZPN

URI	`m2://inv/75T1QCXZPN`
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 2610.17204#SLGH (definition). In 5CZ2BNV4MT/e1, definition 2.1

History

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

75TA9R73BX 75TA9R73BX

URI	`m2://inv/75TA9R73BX`
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#0MDG (statement). In 5350Q52F6P/e1, proposition 7.1

History

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

Properties 75TB9ARQ9Q

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

Mentions

wikipedia: Wikipedia Divisible group#E6P8, Properties (statement)

History

2026-11-02: add by m2/dev

Almost linearity of the Busemann functions along the flow 75TTSNBZD7

URI	`m2://inv/75TTSNBZD7`
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.10051#OYTH, Almost linearity of the Busemann functions along the flow (statement). In VCHH2AC34R/e1, proposition 3.15

History

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

Richard McKelvey 75V5SNDFV9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VN6R, Richard McKelvey (unknown)

History

2026-11-02: add by m2/dev

Runge 75V9C3AXZ2

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-37, Runge (statement). In VNMV985MXX, thm, section B

History

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

75VDN06QA7 75VDN06QA7

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

Mentions

arxiv: arXiv 2609.27800#LOOA (definition)

History

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

Gravitational radius 75VHSXE5ER

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

Mentions

wikipedia: Wikipedia Schwarzschild radius#QTK0, Gravitational radius (unknown)

History

2026-11-02: add by m2/dev

75VKBJ1PPP 75VKBJ1PPP

URI	`m2://inv/75VKBJ1PPP`
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.20050#Z4C9 (statement). In T41GD0Y0GX/e1, lemma 4.7

History

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

75VQ8DAH9B 75VQ8DAH9B

URI	`m2://inv/75VQ8DAH9B`
Kind	conjecture
Layer	research
MSC	05-XX, 11-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.25168#REST (conjecture)

History

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

Menelaus' theorem 75VQAWR56D

URI	`m2://inv/75VQAWR56D`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Menelaus's theorem 07NSKDGS7S

Mentions

mathlib_1000: mathlib_1000 Q193882, Menelaus's theorem (statement). Also Wikidata Q193882
thousand_plus: thousand_plus Q193882, Menelaus's theorem (statement). Also Wikidata Q193882, Wikipedia Menelaus's theorem
wikidata: Wikidata Q193882, Menelaus' theorem (statement). Also MathWorld MenelausTheorem, ProofWiki Menelaus's_Theorem
wikipedia: Wikipedia Menelaus's theorem, Menelaus's theorem (statement). Also Wikidata Q193882

History

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

Rod Downey 75VYK68V7J

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#7HJW, Rod Downey (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#57UX, Rod Downey (topic)

History

2026-11-02: add by m2/dev

Excluding the two dimension-$10$ Table I exceptions 75W3B5S3NN

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

Mentions

arxiv: arXiv 2610.04099#UCFF, Excluding the two dimension-$10$ Table I exceptions (statement). In QPJ6FWG5HD/e1, proposition 2.43

History

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

75W5PV6A81 75W5PV6A81

URI	`m2://inv/75W5PV6A81`
Kind	example
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.18346#C0S1 (example). In QVPNGHTMEX/e1, example 6.1

History

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

75W8ZVDC0C 75W8ZVDC0C

URI	`m2://inv/75W8ZVDC0C`
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.19416#QRWM (statement). In TJVWQ0ZSGY/e1, proposition 3.3

History

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

75WEKJ6DDT 75WEKJ6DDT

URI	`m2://inv/75WEKJ6DDT`
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#1WSX (statement). In S8NB83KQX3/e1, theorem 9

History

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

75WFYEDPJ5 75WFYEDPJ5

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

Mentions

arxiv: arXiv 2609.24043#WYIG (statement)

History

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

elimination of quantifiers 75WKM0TRCK

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

Mentions

wikipedia: Wikipedia Glossary of logic#KYLV, elimination of quantifiers (definition)

History

2026-11-02: add by m2/dev

A characterization of the angular central Gaussian family 75WQFY0J0F

URI	`m2://inv/75WQFY0J0F`
Kind	statement
Layer	research
MSC	35-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.33541#JK7R, A characterization of the angular central Gaussian family (statement). In N3P196CEAJ/e1, proposition A.1

History

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

75WRDZM4KF 75WRDZM4KF

URI	`m2://inv/75WRDZM4KF`
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.37425#Z9SX (statement). In E02TSC01RN/e1, lemma 4

History

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

FTCS scheme 75WRRSNYDF

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

Mentions

wikipedia: Wikipedia FTCS scheme, FTCS scheme (definition). Also Wikidata Q5427183

History

2026-11-02: add by m2/dev

75WTJCVW3G 75WTJCVW3G

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

Mentions

arxiv: arXiv math/0406514#AGF6 (statement). In CY1FE8W1ZW/e1, lemma 0.25

History

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

Measurable set 75WZ7EZEYF

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

Mentions

wikipedia: Wikipedia List of types of sets#3CCF, Measurable set (definition)

History

2026-11-02: add by m2/dev

75WZJMCDA3 75WZJMCDA3

URI	`m2://inv/75WZJMCDA3`
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#PFWJ (statement). In CY1FE8W1ZW/e1, lemma 0.59

History

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

75XFWM9202 75XFWM9202

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

Mentions

arxiv: arXiv 2610.17565#5EZB (example). In C422901XCN/e1, example 4.9

History

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

Axiom 6 75XJYMEX86

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

Mentions

wikipedia: Wikipedia Tarski's axiomatization of the reals#MVI1, Axiom 6 (statement)

History

2026-11-02: add by m2/dev

75XQDAA4E3 75XQDAA4E3

URI	`m2://inv/75XQDAA4E3`
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.13884#IFXL (statement). In N2NQ3QJYTW/e1, theorem A.2

History

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

75XQKHFCPC 75XQKHFCPC

URI	`m2://inv/75XQKHFCPC`
Kind	definition
Layer	research
MSC	11-XX, 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 2508.21045#P73E (definition). In CGA36VE1C5/e1, definition 5.2.1

History

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

75XRGWN1YM 75XRGWN1YM

URI	`m2://inv/75XRGWN1YM`
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.20153#FW70 (statement)

History

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

75XTE4GQAC 75XTE4GQAC

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#problem-3 (exercise). In P1C114YBXG, problem, section u1

History

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

75XVYMPJBH 75XVYMPJBH

URI	`m2://inv/75XVYMPJBH`
Kind	statement
Layer	research
MSC	37-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 2607.25960#4KI1 (statement). In 13GSWBXPCM/e1, lemma 2.21

History

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

An Affine Space Through a Prescribed Common Zero 75Y2E43RRZ

URI	`m2://inv/75Y2E43RRZ`
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#VR3C, An Affine Space Through a Prescribed Common Zero (statement). In ZZER8ZBSCR/e1, lemma 5.16

History

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

Column groups and row groups 75YFWW2EQB

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

Mentions

wikipedia: Wikipedia Column groups and row groups, Column groups and row groups (definition). Also Wikidata Q115803748

History

2026-11-02: add by m2/dev

Applications 75YJW4HW9G

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

Mentions

wikipedia: Wikipedia Extended irreversible thermodynamics#KCXS, Applications (example)

History

2026-11-02: add by m2/dev

Folk theorems in other settings 75YRWTM9WT

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

Mentions

wikipedia: Wikipedia Folk theorem (game theory)#Z1JN, Folk theorems in other settings (statement)

History

2026-11-02: add by m2/dev

Ya'qub ibn Tariq 75YS3YSAB0

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

Mentions

wikipedia: Wikipedia Ya'qub ibn Tariq, Ya'qub ibn Tariq (topic). Also Wikidata Q527284

History

2026-11-02: add by m2/dev

Alexander Polyakov 75YXCWDAC3

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

Mentions

wikipedia: Wikipedia List of string theory topics#CL41, Alexander Polyakov (unknown)

History

2026-11-02: add by m2/dev

Van Gogh fallacy 75Z6XZD3CS

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

Mentions

wikipedia: Wikipedia Van Gogh fallacy, Van Gogh fallacy (definition). Also Wikidata Q7913358

History

2026-11-02: add by m2/dev

Source exclusion without reset 75ZNK27CHK

URI	`m2://inv/75ZNK27CHK`
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.01391#FYCE, Source exclusion without reset (statement). In MAZNVJX5YK/e1, corollary 13

History

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

LAPACK++ 75ZQ11F6JB

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#TOW2, LAPACK++ (unknown)

History

2026-11-02: add by m2/dev