Inventory rows 6T

Euler product 6T0758XTSS

URI	`m2://inv/6T0758XTSS`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Euler product for multiplicative functions BVA6XT55CS

Mentions

wikidata: Wikidata Q1194667, Euler product (unknown). Also EoM Euler_product, MathWorld EulerProduct, nLab Euler product
wikipedia: Wikipedia Euler product, Euler product (definition). Also Wikidata Q1194667

History

2026-10-26: add by m2/dev

6T0AWARR20 6T0AWARR20

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

Mentions

arxiv: arXiv 2609.32078#AU5N (statement). In 5PN85N6EJF/e1, corollary 4.3

History

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

Definition 6T0H089V1J

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

Mentions

wikipedia: Wikipedia Herschel–Bulkley fluid#53ED, Definition (definition)

History

2026-11-02: add by m2/dev

Algorithms 6T0NDP6VXK

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

Mentions

wikipedia: Wikipedia Graphic matroid#A88P, Algorithms (definition)

History

2026-11-02: add by m2/dev

6T0PQDVXN9 6T0PQDVXN9

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

Mentions

arxiv: arXiv 2610.18302#ZSBP (definition). In VJTRH1S4JA/e1, definition 5.3

History

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

universal, cover 6T0WA3NZV6

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

Mentions

hott_book: hott_book index/7.1.2/universal-cover, universal, cover (concept). In N54F33XE07, index, section 7.1.2

History

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

2022 Zambian census 6T0XV0F4E8

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

Mentions

wikipedia: Wikipedia 2022 Zambian census, 2022 Zambian census (definition). Also Wikidata Q113480394

History

2026-11-02: add by m2/dev

Signal separation 6T0YCJ7EZQ

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

Mentions

wikipedia: Wikipedia Signal separation, Signal separation (definition). Also Wikidata Q17105967

History

2026-11-02: add by m2/dev

Applications 6T10AZJSTJ

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

Mentions

wikipedia: Wikipedia Quasicrystal#AZXN, Applications (example)

History

2026-11-02: add by m2/dev

6T12K0BNH1 6T12K0BNH1

URI	`m2://inv/6T12K0BNH1`
Kind	definition
Layer	research
MSC	18-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 2403.16388#G4OW (definition). In HH4ADHZ8XD/e1, definition 2.6

History

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

Tweedie models and Taylor's power law 6T14RSRBK7

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

Mentions

wikipedia: Wikipedia Tweedie distribution#L4YR, Tweedie models and Taylor's power law (statement)

History

2026-11-02: add by m2/dev

Geometric continuity 6T160Z2ND0

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

Mentions

wikipedia: Wikipedia List of continuity-related mathematical topics#WJP6, Geometric continuity (definition)

History

2026-11-02: add by m2/dev

6T172RX2Q9 6T172RX2Q9

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

Mentions

arxiv: arXiv 2610.13817#V347 (statement). In BMSAXTDV47/e1, theorem A

History

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

Corpus Aristotelicum 6T1A8HPGSX

URI	`m2://inv/6T1A8HPGSX`
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 Q1054239, Corpus Aristotelicum (unknown). Also ProofWiki Mathematician:Aristotle/Writings

History

2026-10-26: add by m2/dev

Teri Perl 6T1CNZNZEW

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

Mentions

wikipedia: Wikipedia Teri Perl, Teri Perl (topic). Also Wikidata Q105416159

History

2026-11-02: add by m2/dev

6T1CQKJFCY 6T1CQKJFCY

URI	`m2://inv/6T1CQKJFCY`
Kind	statement
Layer	research
MSC	11-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.02111#BIPT (statement). In NC5ZRF6F8N/e1, theorem 1.8

History

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

6T1EV244WC 6T1EV244WC

URI	`m2://inv/6T1EV244WC`
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.36045#ROOJ (statement). In F0E8YBV0Z0/e1, lemma 7.1

History

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

Boltzmann's principle 6T1N5M0YH4

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

Mentions

wikipedia: Wikipedia Entropy (statistical thermodynamics)#F0MA, Boltzmann's principle (statement)

History

2026-11-02: add by m2/dev

6T1T3MJ9NB 6T1T3MJ9NB

URI	`m2://inv/6T1T3MJ9NB`
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 2609.39293#TTM8 (definition). In S26QVW5613/e1, definition 0.0.10

History

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

Uses 6T1WPZQ44N

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

Mentions

wikipedia: Wikipedia Catalan's constant#K8K8, Uses (example)

History

2026-11-02: add by m2/dev

Field line 6T1ZW6HAFF

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

Mentions

wikipedia: Wikipedia Field line, Field line (definition). Also Wikidata Q1810738

History

2026-11-02: add by m2/dev

boundary bounds 6T222DH25M

URI	`m2://inv/6T222DH25M`
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 2608.24606#I8PV, boundary bounds (statement). In VFV3FFB7Q7/e1, lemma 14

History

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

6T28ASARZP 6T28ASARZP

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

Mentions

arxiv: arXiv 2610.10930#RA1Q (counterexample). In HX63A1PH1W/e1, counterexample 3.42

History

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

6T2D80TGP7 6T2D80TGP7

URI	`m2://inv/6T2D80TGP7`
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#N5TT (statement). In NB7HZ8W2K2/e1, lemma 30

History

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

abelianization 6T2F01QHKZ

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

Mentions

wikidata: Wikidata Q318598, abelianization (unknown). Also LMFDB knowl group.abelianization, MathWorld Abelianization, nLab abelianization

History

2026-10-26: add by m2/dev

Costrength and strength 6T2KR1MJ4E

URI	`m2://inv/6T2KR1MJ4E`
Kind	statement
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 2609.26270#EY1Q, Costrength and strength (statement)

History

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

R formula 6T2TCWSH4W

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

Mentions

wikipedia: Wikipedia List of trigonometric identities#Y5GP, R formula (unknown)

History

2026-11-02: add by m2/dev

6T2TSGN640 6T2TSGN640

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-33 (exercise). In E59CDZA4DP, exercise, section 9.2.5

History

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

6T2V50GG9E 6T2V50GG9E

URI	`m2://inv/6T2V50GG9E`
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.24353#R5P3 (statement)

History

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

6T2YGPV3RP 6T2YGPV3RP

URI	`m2://inv/6T2YGPV3RP`
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.38548#6OU1 (statement). In Z7ZFV3HM1S/e1, theorem 5.12

History

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

Test set 6T30543RSN

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

Mentions

wikipedia: Wikipedia List of statistics articles#YJ6G, Test set (definition)

History

2026-11-02: add by m2/dev

6T31586TPE 6T31586TPE

URI	`m2://inv/6T31586TPE`
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#TB3U (statement). In AQC7E6RAT4/e1, lemma 3.7

History

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

Sphere theorem 6T315B4185

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

Mentions

mathlib_1000: mathlib_1000 Q2309682, Sphere theorem (statement). Also Wikidata Q2309682
thousand_plus: thousand_plus Q2309682, Sphere theorem (statement). Also Wikidata Q2309682, Wikipedia Sphere theorem
wikipedia: Wikipedia Sphere theorem, Sphere theorem (statement). Also Wikidata Q2309682

History

2026-10-26: add by m2/dev

Carnap-Ramsey sentence 6T39AH9KY4

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

Mentions

wikipedia: Wikipedia Glossary of logic#TFLR, Carnap-Ramsey sentence (definition)

History

2026-11-02: add by m2/dev

Mathematics Teaching 6T3HMJBV4F

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

Mentions

wikipedia: Wikipedia Association of Teachers of Mathematics#JPNW, Mathematics Teaching (unknown)

History

2026-11-02: add by m2/dev

Properties 6T3JCB5TRA

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

Mentions

wikipedia: Wikipedia Vertex-transitive graph#ABCB, Properties (statement)

History

2026-11-02: add by m2/dev

6T3NCNK2ED 6T3NCNK2ED

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#prop:prf-prim-rec (statement). In PKGMM3P5QY, prop, section 27.7

History

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

6T3P6HATQ4 6T3P6HATQ4

URI	`m2://inv/6T3P6HATQ4`
Kind	definition
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 2609.27931#JDY2 (definition)

History

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

6T3XC722VV 6T3XC722VV

URI	`m2://inv/6T3XC722VV`
Kind	definition
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#A5E1 (definition). In TNC658NVMQ/e1, definition 6.4

History

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

6T3XZ9X2P5 6T3XZ9X2P5

URI	`m2://inv/6T3XZ9X2P5`
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.13103#0VDY (statement). In GG2ZZV6KEQ/e1, lemma 4.8

History

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

Coaugmented planar dg cooperad 6T4300MNVT

URI	`m2://inv/6T4300MNVT`
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 2312.05005#AKU8, Coaugmented planar dg cooperad (definition). In SMJMAQ2S3J/e1, definition 5

History

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

CPL filter 6T45DM48JA

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

Mentions

wikipedia: Wikipedia Polarizer#MXLB, CPL filter (unknown)

History

2026-11-02: add by m2/dev

Brian Bowditch 6T46YJQZVR

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

Mentions

wikipedia: Wikipedia Brian Bowditch, Brian Bowditch (topic). Also Wikidata Q4963178

History

2026-11-02: add by m2/dev

Jan Trlifaj 6T48VCGCS7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#OZEH, Jan Trlifaj (topic)

History

2026-11-02: add by m2/dev

Examples 6T4GSYPT34

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

Mentions

wikipedia: Wikipedia Monus#AA4U, Examples (example)

History

2026-11-02: add by m2/dev

Snub dodecahedral graph 6T4XSAVZ5R

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

Mentions

wikipedia: Wikipedia Snub dodecahedron#1E1F, Snub dodecahedral graph (unknown)

History

2026-11-02: add by m2/dev

Applications 6T4Y9ZEXJ5

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

Mentions

wikipedia: Wikipedia Locally integrable function#ETMZ, Applications (example)

History

2026-11-02: add by m2/dev

Easystats 6T55SYSJ93

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

Mentions

wikipedia: Wikipedia Easystats, Easystats (definition). Also Wikidata Q112205047

History

2026-11-02: add by m2/dev

6T5BC8JEEP 6T5BC8JEEP

URI	`m2://inv/6T5BC8JEEP`
Kind	definition
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.10262#S2PM (definition). In MVSGDTN2PB/e1, definition 4.7

History

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

Whitney extension theorem 6T5G43A8YW

URI	`m2://inv/6T5G43A8YW`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	4
Outcome	open
Node	Whitney extension theorem RH2EZGYGAW

Mentions

mathlib_1000: mathlib_1000 Q7996766, Whitney extension theorem (statement). Also Wikidata Q7996766
thousand_plus: thousand_plus Q7996766, Whitney extension theorem (statement). Also Wikidata Q7996766, Wikipedia Whitney extension theorem
wikidata: Wikidata Q7996766, Whitney extension theorem (statement). Also nLab Whitney extension theorem
wikipedia: Wikipedia Whitney extension theorem, Whitney extension theorem (statement). Also Wikidata Q7996766

History

2026-10-26: add by m2/dev

6T5MQCP852 6T5MQCP852

URI	`m2://inv/6T5MQCP852`
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.20600#VJ2C (statement). In H5JZ2T9KVT/e1, proposition 5

History

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

Criticism of informal logic 6T5W86JNH1

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

Mentions

wikipedia: Wikipedia Informal logic#1ZFE, Criticism of informal logic (unknown)

History

2026-11-02: add by m2/dev

Inverse Pythagorean theorem 6T5WV98AFW

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

Mentions

wikipedia: Wikipedia Pythagorean theorem#AQ3I, Inverse Pythagorean theorem (statement)

History

2026-11-02: add by m2/dev

6T5Z3FR0SR 6T5Z3FR0SR

URI	`m2://inv/6T5Z3FR0SR`
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 1512.06981#RPN8 (definition). In X923ZEY423/e1, definition 1.3.1

History

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

Lemma 6T64WGAZGD

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

Mentions

wikipedia: Wikipedia Original proof of Gödel's completeness theorem#S2OW, Lemma (statement)

History

2026-11-02: add by m2/dev

6T6BFJJBG2 6T6BFJJBG2

URI	`m2://inv/6T6BFJJBG2`
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.29903#UG3Z (statement)

History

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

6T6EBVS2R9 6T6EBVS2R9

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

Mentions

arxiv: arXiv 2609.24623#EDC8 (statement)

History

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

6T6MRNHHKS 6T6MRNHHKS

URI	`m2://inv/6T6MRNHHKS`
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.29949#ZRFM (statement)

History

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

Jorge Zanelli 6T6NK95PDF

URI	`m2://inv/6T6NK95PDF`
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 Q113990808, Jorge Zanelli (unknown). Also nLab Jorge Zanelli

History

2026-10-26: add by m2/dev

Lie bracket of vector fields 6T6QDYHKRR

URI	`m2://inv/6T6QDYHKRR`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Lie bracket of vector fields 68FGQEBD6J

Mentions

wikidata: Wikidata Q5478310, Lie bracket of vector fields (unknown). Also EoM Lie_bracket
wikipedia: Wikipedia Lie bracket of vector fields, Lie bracket of vector fields (definition). Also Wikidata Q5478310

History

2026-10-26: add by m2/dev

Examples 6T6Y61NCTQ

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

Mentions

wikipedia: Wikipedia Absorption (logic)#HPRK, Examples (example)

History

2026-11-02: add by m2/dev

6T6ZSX56P2 6T6ZSX56P2

URI	`m2://inv/6T6ZSX56P2`
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.18562#ZNER (statement). In 793KXAR957/e1, proposition 3.14

History

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

trimmed estimator 6T77Z2JWZ4

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#7K9V, trimmed estimator (definition)

History

2026-11-02: add by m2/dev

four-gradient 6T78XZ06H1

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#FHX2, four-gradient (definition)

History

2026-11-02: add by m2/dev

6T7CDWZCB9 6T7CDWZCB9

URI	`m2://inv/6T7CDWZCB9`
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.11468#2XHO (statement). In FR4FDRHZJT/e1, lemma 2.3

History

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

6T7EQDK53G 6T7EQDK53G

URI	`m2://inv/6T7EQDK53G`
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 2610.11031#LA4U (definition). In 9DMJXFRQN9/e1, definition 4.6

History

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

6T7HZSGPFE 6T7HZSGPFE

URI	`m2://inv/6T7HZSGPFE`
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.14838#DPPK (statement). In J7ZX3WWRQP/e1, proposition 2.10

History

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

6T7KGNSNGT 6T7KGNSNGT

URI	`m2://inv/6T7KGNSNGT`
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.30819#93MM (statement). In TE6082EE1K/e1, theorem 1

History

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

Dunning–Kruger effect 6T7X7PXR5E

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

Mentions

wikipedia: Wikipedia List of cognitive biases#U4OX, Dunning–Kruger effect (unknown)

History

2026-11-02: add by m2/dev

Regression toward the mean 6T7XT1FXPH

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

Mentions

wikipedia: Wikipedia List of statistics articles#IOUP, Regression toward the mean (definition)

History

2026-11-02: add by m2/dev

Petersen 6T82RZBF67

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#BD0X, Petersen (definition)

History

2026-11-02: add by m2/dev

Vilyuchinsk 6T86BMK7ZD

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

Mentions

wikipedia: Wikipedia List of places with numeric names#X5PO, Vilyuchinsk (unknown)

History

2026-11-02: add by m2/dev

Branko Grünbaum 6T879PYRBG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#CMPA, Branko Grünbaum (topic)

History

2026-11-02: add by m2/dev

6T887AWYWT 6T887AWYWT

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

Mentions

napkin: napkin tex/alg-geom/proj-var.tex#definition-5 (definition). In RZP28ERRZV, definition, section 23.2

History

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

6T8F15Q2KW 6T8F15Q2KW

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

Mentions

arxiv: arXiv 2610.13877#U2GT (statement). In NBMA6DBKJG/e1, lemma 5.5

History

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

Abel 6T8MC4QFX1

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#ZJMH, Abel (definition)

History

2026-11-02: add by m2/dev

Serre–Grothendieck–Verdier duality 6T8RWQY9KN

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

Mentions

wikipedia: Wikipedia List of things named after Jean-Pierre Serre#E68R, Serre–Grothendieck–Verdier duality (definition)

History

2026-11-02: add by m2/dev

6T8TFCJY6Q 6T8TFCJY6Q

URI	`m2://inv/6T8TFCJY6Q`
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 2509.21444#JFOE (statement). In CTVPA2FQT1/e1, theorem 8.6.1

History

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

Examples 6T8XA9100E

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

Mentions

wikipedia: Wikipedia Antihomomorphism#Z768, Examples (example)

History

2026-11-02: add by m2/dev

Canonical discriminant analysis 6T91EM7231

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

Mentions

wikipedia: Wikipedia Linear discriminant analysis#C0VR, Canonical discriminant analysis (unknown)

History

2026-11-02: add by m2/dev

Arthur Ogus 6T9AF1DFWX

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E1XJ, Arthur Ogus (unknown)

History

2026-11-02: add by m2/dev

John Lane Bell 6T9BXQ6KAR

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4ACL, John Lane Bell (topic)

History

2026-11-02: add by m2/dev

Real Clifford algebra 6T9GNKHZFT

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#DRID, Real Clifford algebra (definition)

History

2026-11-02: add by m2/dev

6T9HAJHS3F 6T9HAJHS3F

URI	`m2://inv/6T9HAJHS3F`
Kind	statement
Layer	research
MSC	16-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.27420#92YV (statement)

History

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

Stephen F. Barker 6T9SHFVZF9

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

Mentions

wikipedia: Wikipedia Stephen F. Barker, Stephen F. Barker (topic). Also Wikidata Q7609232

History

2026-11-02: add by m2/dev

6T9TB2RSBP 6T9TB2RSBP

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

Mentions

arxiv: arXiv 2610.18620#M7GD (statement). In 6WJ0R9YEBR/e1, proposition 5.5

History

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

Symmetries of Culture: Theory and Practice of Plane Pattern Analysis 6T9ZDG78PW

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

Mentions

wikipedia: Wikipedia Symmetries of Culture: Theory and Practice of Plane Pattern Analysis, Symmetries of Culture: Theory and Practice of Plane Pattern Analysis (definition). Also Wikidata Q125967398

History

2026-11-02: add by m2/dev

6T9ZJ1S2AT 6T9ZJ1S2AT

URI	`m2://inv/6T9ZJ1S2AT`
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.12169#F4NU (statement). In 645GF9SFWM/e1, lemma 26

History

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

6TA5M4GEVE 6TA5M4GEVE

URI	`m2://inv/6TA5M4GEVE`
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.00021#2ANK (statement). In EX42AVA7CV/e1, theorem 3.2

History

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

\textbf{Topological embedding of the intrinsic forward map at fixed bandwidth 6TA6SE00QG

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

Mentions

arxiv: arXiv 2610.17032#93VF, \textbf{Topological embedding of the intrinsic forward map at fixed bandwidth (statement). In MXPK9A2HK2/e1, theorem 4.1

History

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

Definition 6TAAHQX7SD

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

Mentions

wikipedia: Wikipedia Iterated monodromy group#5LAL, Definition (definition)

History

2026-11-02: add by m2/dev

6TAC0Y6AEA 6TAC0Y6AEA

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

Mentions

arxiv: arXiv 2610.15432#G3HP (definition). In D1DFM4WYEW/e1, definition 3.4

History

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

cycle index 6TAE7HX1KP

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

Mentions

wikidata: Wikidata Q245446, cycle index (unknown). Also MathWorld CycleIndex
wikipedia: Wikipedia Cycle index, Cycle index (definition). Also Wikidata Q245446

History

2026-10-26: add by m2/dev

Hewitt-savage zero--one law 6TAHP28GNV

URI	`m2://inv/6TAHP28GNV`
Kind	statement
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#M0NC, Hewitt-savage zero--one law (statement). In JH7VQ2EC16/e1, corollary 6.3

History

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

6TANWFZG7C 6TANWFZG7C

URI	`m2://inv/6TANWFZG7C`
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.37897#7AI6 (statement). In RBQ5FNCVNZ/e1, lemma E.1

History

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

2014 Moldovan census 6TAW4J14ZB

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

Mentions

wikipedia: Wikipedia 2014 Moldovan census, 2014 Moldovan census (definition). Also Wikidata Q12739149

History

2026-11-02: add by m2/dev

Projective differential geometry 6TAZPTGA3F

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#T6T8, Projective differential geometry (definition)

History

2026-11-02: add by m2/dev

6TB53F3NEK 6TB53F3NEK

URI	`m2://inv/6TB53F3NEK`
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.25543#BBZ5 (statement)

History

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

spin connection 6TB5FSYH3M

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

Mentions

wikidata: Wikidata Q3687052, spin connection (unknown). Also nLab spin connection
wikipedia: Wikipedia Spin connection, Spin connection (definition). Also Wikidata Q3687052

History

2026-10-26: add by m2/dev

Algorithm 6TB8XSC9K0

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

Mentions

wikipedia: Wikipedia Petkovšek's algorithm#SDYT, Algorithm (definition)

History

2026-11-02: add by m2/dev

Uniform multiplier bound for sectorial operators 6TBAK6XAH5

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

Mentions

arxiv: arXiv 2610.06308#10R6, Uniform multiplier bound for sectorial operators (statement). In HTWSDDAWGS/e1, lemma E.1

History

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

6TBH6HE13K 6TBH6HE13K

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-17 (exercise). In Y91XFCEVHQ, exercise, section 3.6

History

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

Saturated array 6TBHXA18E8

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

Mentions

wikipedia: Wikipedia List of statistics articles#REU2, Saturated array (definition)

History

2026-11-02: add by m2/dev

Support vector regression 6TBPT8K9PM

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

Mentions

wikipedia: Wikipedia Support vector machine#ZJDD, Support vector regression (unknown)

History

2026-11-02: add by m2/dev

Aegidius Strauch II 6TBRNDAPPX

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

Mentions

wikipedia: Wikipedia List of German mathematicians#L1F3, Aegidius Strauch II (topic)

History

2026-11-02: add by m2/dev

resp. 6TBYKT1HXQ

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#HQQF, resp. (definition)

History

2026-11-02: add by m2/dev

Lagrange inversion theorem 6TC45M6G4W

URI	`m2://inv/6TC45M6G4W`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	4
Outcome	open
Node	Lagrange inversion theorem BANY9YR82A

Mentions

mathlib_1000: mathlib_1000 Q544292, Lagrange inversion theorem (statement). Also Wikidata Q544292
thousand_plus: thousand_plus Q544292, Lagrange inversion theorem (statement). Also Wikidata Q544292, Wikipedia Lagrange inversion theorem
wikidata: Wikidata Q544292, Lagrange inversion theorem (statement). Also MathWorld BuermannsTheorem
wikipedia: Wikipedia Lagrange inversion theorem, Lagrange inversion theorem (statement). Also Wikidata Q544292

History

2026-10-26: add by m2/dev

Properties 6TC5F8XEHB

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

Mentions

wikipedia: Wikipedia Digby's H#2SZN, Properties (statement)

History

2026-11-02: add by m2/dev

6TCFN3FQGF 6TCFN3FQGF

URI	`m2://inv/6TCFN3FQGF`
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.10029#9O1N (statement). In K7EAM152B0/e1, proposition 3.1

History

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

6TCRS2Y6Q3 6TCRS2Y6Q3

URI	`m2://inv/6TCRS2Y6Q3`
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.35307#REAG (statement). In FT5TKY10T8/e1, theorem 2.2

History

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

6TCY9C8ESN 6TCY9C8ESN

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

Mentions

arxiv: arXiv 2610.00798#CO4Y (statement). In FANG3A8NZ9/e1, lemma 3.1

History

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

Triangular prismatic honeycomb 6TD05FQW1T

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

Mentions

wikipedia: Wikipedia Triangular prismatic honeycomb, Triangular prismatic honeycomb (definition). Also Wikidata Q7840147

History

2026-11-02: add by m2/dev

6TD0JXEEYQ 6TD0JXEEYQ

URI	`m2://inv/6TD0JXEEYQ`
Kind	statement
Layer	research
MSC	16-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.21668#J76Z (statement)

History

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

Weizhu Bao 6TD62TJJ13

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D73W, Weizhu Bao (unknown)

History

2026-11-02: add by m2/dev

Lowell E. Jones 6TD779G7EY

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

Mentions

wikipedia: Wikipedia Lowell E. Jones, Lowell E. Jones (topic). Also Wikidata Q22005689

History

2026-11-02: add by m2/dev

Formulations 6TD8TCPZ27

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

Mentions

wikipedia: Wikipedia Algebraic differential equation#9WRF, Formulations (definition)

History

2026-11-02: add by m2/dev

sibling 6TDJFEDKP8

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

Mentions

levin_dmoi: levin_dmoi index/5.2.2/sibling, sibling (concept). In Y91XFCEVHQ, index, section 5.2.2

History

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

Saint-Venant's compatibility condition 6TDKRTQ0BX

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

Mentions

wikipedia: Wikipedia Saint-Venant's compatibility condition, Saint-Venant's compatibility condition (definition). Also Wikidata Q7400838

History

2026-11-02: add by m2/dev

Brazilian number 6TDRDA08ZX

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

Mentions

wikipedia: Wikipedia Repdigit#ACBN, Brazilian number (unknown)

History

2026-11-02: add by m2/dev

Roberto Longo 6TE1V9CHJF

URI	`m2://inv/6TE1V9CHJF`
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#08Q7, Roberto Longo (topic)

History

2026-11-02: add by m2/dev

6TE9SDD4Q8 6TE9SDD4Q8

URI	`m2://inv/6TE9SDD4Q8`
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.10325#VLX2 (statement). In 66CDJ94PGW/e1, proposition 4.1

History

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

6TEB25A9GC 6TEB25A9GC

URI	`m2://inv/6TEB25A9GC`
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.21351#6X7D (statement). In 8TT2STBE9W/e1, fact

History

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

$\beta(n,k)$ 6TEDW1GJQN

URI	`m2://inv/6TEDW1GJQN`
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#SAV6, $\beta(n,k)$ (definition). In GW23NX78SB/e1, definition 4.14

History

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

6TEGGFEF91 6TEGGFEF91

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

Mentions

arxiv: arXiv 2610.17116#JEDU (statement). In A02X6MX28Y/e1, lemma 3.6

History

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

6TEJ15AGQJ 6TEJ15AGQJ

URI	`m2://inv/6TEJ15AGQJ`
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.12983#MPUO (statement). In M6TFZ6E060/e1, lemma 7.2

History

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

Chris "Jesus" Ferguson 6TEKT8X0YP

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#ZMD7, Chris "Jesus" Ferguson (unknown)

History

2026-11-02: add by m2/dev

Ramification in the Gaussian integers 6TES8TAGQ8

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

Mentions

napkin: napkin tex/alg-NT/ramification.tex#example-1, Ramification in the Gaussian integers (example). In RZP28ERRZV, example, section 18.2

History

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

Statements 6TEVFJCXHV

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

Mentions

wikipedia: Wikipedia Jensen's inequality#18LX, Statements (statement)

History

2026-11-02: add by m2/dev

6TEW468Q8X 6TEW468Q8X

URI	`m2://inv/6TEW468Q8X`
Kind	definition
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.22240#1GDQ (definition)

History

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

Florian Luca 6TEYWQGBQN

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

Mentions

wikipedia: Wikipedia Florian Luca, Florian Luca (topic). Also Wikidata Q20885652

History

2026-11-02: add by m2/dev

Exact Laguerre determinants and normality 6TEZKMHCHJ

URI	`m2://inv/6TEZKMHCHJ`
Kind	statement
Layer	research
MSC	26-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.26110#377N, Exact Laguerre determinants and normality (statement)

History

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

Polarised sunglasses 6TFB4Z5CMB

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

Mentions

wikipedia: Wikipedia Polarization (waves)#HP59, Polarised sunglasses (unknown)

History

2026-11-02: add by m2/dev

6TFHGK5RKE 6TFHGK5RKE

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

Mentions

arxiv: arXiv 2610.13670#FO00 (statement). In 4PGTZ19B26/e1, proposition 4.1

History

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

Recognition 6TFMQ509H8

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

Mentions

arxiv: arXiv 2610.21662#IZVS, Recognition (statement). In 25B3WHEKH2/e1, lemma 4.1

History

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

Lagrange's identity 6TFTYH8D5D

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

Mentions

wikipedia: Wikipedia Lagrange's identity (boundary value problem), Lagrange's identity (statement). Also Wikidata Q6403067

History

2026-11-02: add by m2/dev

Relative character 6TG281T4TR

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

Mentions

arxiv: arXiv 2610.15432#BLDE, Relative character (definition). In D1DFM4WYEW/e1, definition 6.1

History

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

6TG8E5N14W 6TG8E5N14W

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/halting-problem.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 86.7

History

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

Argyros--Motakis, dual method 6TG9EPH0C3

URI	`m2://inv/6TG9EPH0C3`
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.38396#MGYG, Argyros--Motakis, dual method (statement). In FGNNVKQR1Z/e1, theorem 5.9

History

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

6TGEAAYDZ4 6TGEAAYDZ4

URI	`m2://inv/6TGEAAYDZ4`
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.20010#BLFZ (statement). In AK2DV65PRT/e1, theorem 1.1

History

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

6TGEAQ53FN 6TGEAQ53FN

URI	`m2://inv/6TGEAQ53FN`
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 1002.0879#WC33 (definition). In M0SQY5EZN5/e1, definition 4.7.2

History

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

6TGJ8JPAJ9 6TGJ8JPAJ9

URI	`m2://inv/6TGJ8JPAJ9`
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 2609.39531#XUAC (definition). In SN9RSTHQ07/e1, definition E.1

History

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

6TGKABVPC2 6TGKABVPC2

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

Mentions

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

History

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

Notation 6TGKRVBDQ8

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

Mentions

wikipedia: Wikipedia Fischer group#S8PT, Notation (definition)

History

2026-11-02: add by m2/dev

List of things named after Joseph Liouville 6TGPWP416Z

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#HJYK, List of things named after Joseph Liouville (unknown)

History

2026-11-02: add by m2/dev

Compound of five truncated tetrahedra 6TGT9NZ8CS

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

Mentions

wikipedia: Wikipedia Compound of five truncated tetrahedra, Compound of five truncated tetrahedra (definition). Also Wikidata Q5156867

History

2026-11-02: add by m2/dev

Hypercyclic operator 6TGTBBZYQJ

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

Mentions

wikipedia: Wikipedia Hypercyclic operator, Hypercyclic operator (definition). Also Wikidata Q4138755

History

2026-11-02: add by m2/dev

Characterization 6TH3WGTZA3

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

Mentions

wikipedia: Wikipedia Asymmetric Laplace distribution#906H, Characterization (statement)

History

2026-11-02: add by m2/dev

6TH4H45KP2 6TH4H45KP2

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

Mentions

arxiv: arXiv 2609.29531#MMH1 (statement)

History

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

Krull–Schmidt theorem 6TH6K0PG29

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

Mentions

wikipedia: Wikipedia List of theorems#DILE, Krull–Schmidt theorem (statement)

History

2026-11-02: add by m2/dev

6THBMF40H9 6THBMF40H9

URI	`m2://inv/6THBMF40H9`
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.01998#S72U (statement). In 71YD1PGG8E/e1, lemma 3.3

History

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

Leon Simon 6THFKGCKDC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BGS8, Leon Simon (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A0LC, Leon Simon (unknown)

History

2026-11-02: add by m2/dev

Sourav Chatterjee 6THHDFZ8P9

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#GK3J, Sourav Chatterjee (topic)
wikipedia: Wikipedia List of mathematical probabilists#SNQN, Sourav Chatterjee (topic)

History

2026-11-02: add by m2/dev

Barker sequence conjecture 6THN9N8Z0C

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

Mentions

wikipedia: Wikipedia Barker code#1DPV, Barker sequence conjecture (statement)

History

2026-11-02: add by m2/dev

6THNBJCRQV 6THNBJCRQV

URI	`m2://inv/6THNBJCRQV`
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#B152 (statement). In TN93YFN45W/e1, lemma 6.6

History

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

6THXTHTQ9P 6THXTHTQ9P

URI	`m2://inv/6THXTHTQ9P`
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.20225#YEYW (definition)

History

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

6TJ2QZ7BJ7 6TJ2QZ7BJ7

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

Mentions

arxiv: arXiv 2609.21703#0BWZ (example)

History

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

6TJ3DNEYFB 6TJ3DNEYFB

URI	`m2://inv/6TJ3DNEYFB`
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.08912#Z56Z (statement). In DK5QY64NGH/e1, lemma 6.7

History

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

6TJ6WGWY8Z 6TJ6WGWY8Z

URI	`m2://inv/6TJ6WGWY8Z`
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#WZF0 (definition). In EZ6PAF0MXH/e1, definition Notation

History

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

6TJ80E5T7D 6TJ80E5T7D

URI	`m2://inv/6TJ80E5T7D`
Kind	statement
Layer	research
MSC	14-XX, 53-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.06746#GF1L (statement). In B8A6BPP922/e1, theorem 4.1

History

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

Reachability theorem 6TJ8W5Z9K0

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

Mentions

wikipedia: Wikipedia Straight-line program#0X6C, Reachability theorem (statement)

History

2026-11-02: add by m2/dev

6TJ919WQP4 6TJ919WQP4

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

Mentions

arxiv: arXiv 2609.25321#JHQS (definition)

History

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

6TJF61D3KN 6TJF61D3KN

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

Mentions

arxiv: arXiv 2609.32977#QM2G (statement). In 4KT9TK3MG4/e1, corollary C.8

History

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

Truth-table reduction 6TJJSXTM50

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

Mentions

wikipedia: Wikipedia Truth-table reduction, Truth-table reduction (definition). Also Wikidata Q7848253

History

2026-11-02: add by m2/dev

Compositing 6TJT6REV1Y

URI	`m2://inv/6TJT6REV1Y`
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#SHBT, Compositing (unknown)

History

2026-11-02: add by m2/dev

Abel–Goncharov interpolation 6TJTAQZVWX

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

Mentions

wikipedia: Wikipedia Abel–Goncharov interpolation, Abel–Goncharov interpolation (definition). Also Wikidata Q4666728

History

2026-11-02: add by m2/dev

6TK1Y1MJ6D 6TK1Y1MJ6D

URI	`m2://inv/6TK1Y1MJ6D`
Kind	definition
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 2309.15228#4O4N (definition). In 4778KMFZAF/e1, definition 2.3

History

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

Carlo Severini 6TK3HQJME1

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

Mentions

wikipedia: Wikipedia Carlo Severini, Carlo Severini (topic). Also Wikidata Q5041611

History

2026-11-02: add by m2/dev

Dedekind function 6TKE718QHC

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

Mentions

wikipedia: Wikipedia List of things named after Richard Dedekind#MM4J, Dedekind function (unknown)

History

2026-11-02: add by m2/dev

Qualified digital certificate 6TKG09JBJ5

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

Mentions

wikipedia: Wikipedia Qualified digital certificate, Qualified digital certificate (definition). Also Wikidata Q2122058

History

2026-11-02: add by m2/dev

6TKKVK7B9B 6TKKVK7B9B

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

Mentions

arxiv: arXiv 2609.27360#MZZG (statement)

History

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

Axioms 6TKQCAFV7K

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

Mentions

wikipedia: Wikipedia Tarski–Grothendieck set theory#6MKF, Axioms (statement)

History

2026-11-02: add by m2/dev

6TKWFGM0C8 6TKWFGM0C8

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

Mentions

arxiv: arXiv 2610.20663#L4IG (statement). In AZMX0CY5NE/e1, corollary 25

History

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

6TKWH74DC0 6TKWH74DC0

URI	`m2://inv/6TKWH74DC0`
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.39855#7YAC (statement). In E1KFX0NW51/e1, theorem 1.4

History

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

6TKWQ9PHY4 6TKWQ9PHY4

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

Mentions

applied_combinatorics: applied_combinatorics source/s_networkflow_exercises.ptx#exercise-5 (exercise). In QKM9DD2H56, exercise, section 13

History

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

Aitken Lectureship 6TKZQGHHW8

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

Mentions

wikipedia: Wikipedia Aitken Lectureship, Aitken Lectureship (definition). Also Wikidata Q47035352

History

2026-11-02: add by m2/dev

Dugundji extension theorem 6TM0FZ10P5

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

Mentions

wikipedia: Wikipedia Dugundji extension theorem, Dugundji extension theorem (statement). Also Wikidata Q974873

History

2026-11-02: add by m2/dev

Von Staudt–Clausen theorem 6TM14A69BK

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

Mentions

mathlib_1000: mathlib_1000 Q3527230, Von Staudt–Clausen theorem (statement). Also Mathlib Bernoulli.vonStaudt_clausen, Wikidata Q3527230
thousand_plus: thousand_plus Q3527230, Von Staudt–Clausen theorem (statement). Also Wikidata Q3527230, Wikipedia Von Staudt–Clausen theorem
wikidata: Wikidata Q3527230, Von Staudt–Clausen theorem (statement). Also MathWorld vonStaudt-ClausenTheorem
wikipedia: Wikipedia Von Staudt–Clausen theorem, Von Staudt–Clausen theorem (statement). Also Wikidata Q3527230

History

2026-10-26: add by m2/dev

6TME0V5GDM 6TME0V5GDM

URI	`m2://inv/6TME0V5GDM`
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.21355#IW8L (statement). In XKJ7VKN4P0/e1, theorem 14

History

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

6TMRC2WY16 6TMRC2WY16

URI	`m2://inv/6TMRC2WY16`
Kind	definition
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 2503.22636#VLR0 (definition). In 2X2A6MT0QD/e1, definition 2.9

History

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

6TMX2YF6WN 6TMX2YF6WN

URI	`m2://inv/6TMX2YF6WN`
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.24082#YXF9 (statement)

History

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

homotopy quotient 6TN4GR7WVH

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#0ZSI, homotopy quotient (definition)

History

2026-11-02: add by m2/dev

6TN6Q75N0M 6TN6Q75N0M

URI	`m2://inv/6TN6Q75N0M`
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 2601.01000#CZQH (example). In RYFV9HGWWZ/e1, example 8

History

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

Cauchy elastic material 6TN7EBZT5Y

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

Mentions

wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#VI20, Cauchy elastic material (definition)

History

2026-11-02: add by m2/dev

6TN90EDB91 6TN90EDB91

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

Mentions

arxiv: arXiv 2609.38030#QJHK (definition). In XYYEJN00D8/e1, definition 2.18

History

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

6TNAA7NAFQ 6TNAA7NAFQ

URI	`m2://inv/6TNAA7NAFQ`
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.09704#99YY (statement). In FNG4B47MRV/e1, lemma 4.13

History

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

uniformitarianism 6TNS4SBHHB

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

Mentions

wikidata: Wikidata Q208650, uniformitarianism (statement). Also ProofWiki Principle_of_Uniformity_of_Nature

History

2026-10-26: add by m2/dev

6TNSB1PP5J 6TNSB1PP5J

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

Mentions

napkin: napkin tex/measure/martingale.tex#example-1 (example). In RZP28ERRZV, example, section 66.1

History

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

Applications 6TNTKSCY6K

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

Mentions

wikipedia: Wikipedia DONE#8ONN, Applications (example)

History

2026-11-02: add by m2/dev

6TP4KZB3SQ 6TP4KZB3SQ

URI	`m2://inv/6TP4KZB3SQ`
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 2409.17318#BGZW (statement). In 2P63T9MJ4P/e1, theorem 5.1

History

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

Examples 6TP63P683H

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

Mentions

wikipedia: Wikipedia Primitive polynomial (field theory)#CMJZ, Examples (example)

History

2026-11-02: add by m2/dev

Exploratory thought 6TP6M0Q2FF

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

Mentions

wikipedia: Wikipedia Exploratory thought, Exploratory thought (definition). Also Wikidata Q5421356

History

2026-11-02: add by m2/dev

6TPBMZ7YZF 6TPBMZ7YZF

URI	`m2://inv/6TPBMZ7YZF`
Kind	problem
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.25291#X4NK (problem)

History

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

6TPDMCCN6J 6TPDMCCN6J

URI	`m2://inv/6TPDMCCN6J`
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#XKQF (statement). In QP9FE1D6PG/e1, lemma 4

History

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

Quantum associative memory 6TPGGFK9MM

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

Mentions

wikipedia: Wikipedia Quantum neural network#L72W, Quantum associative memory (unknown)

History

2026-11-02: add by m2/dev

6TPH20CN9S 6TPH20CN9S

URI	`m2://inv/6TPH20CN9S`
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 0904.2839#LYOL (statement). In 2P34N0GWS1/e1, corollary 3.2.2

History

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

6TPT32EJC5 6TPT32EJC5

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

Mentions

arxiv: arXiv 2609.22825#WTDG (statement)

History

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

Essential singularity 6TPV0BPW3R

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#X4O2, Essential singularity (definition)

History

2026-11-02: add by m2/dev

Hamilton--Jacobi lower bound 6TPVTYQ7FB

URI	`m2://inv/6TPVTYQ7FB`
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.32710#41ID, Hamilton--Jacobi lower bound (statement). In KVYG6R7CGJ/e1, proposition 5.5

History

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

6TPXKGM1VR 6TPXKGM1VR

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

Mentions

arxiv: arXiv 2609.20713#UOKD (statement)

History

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

6TPY5237XV 6TPY5237XV

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

Mentions

arxiv: arXiv 2609.26873#A8MQ (statement)

History

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

Grauert base change theorem 6TPZBD93S3

URI	`m2://inv/6TPZBD93S3`
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.17817#K6FV, Grauert base change theorem (statement). In M8TSJ24RC2/e1, theorem 2.17

History

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

Ogawa integral 6TQ13W6D0F

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

Mentions

wikipedia: Wikipedia Ogawa integral, Ogawa integral (definition). Also Wikidata Q119941552

History

2026-11-02: add by m2/dev

6TQAH4FR4W 6TQAH4FR4W

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

Mentions

napkin: napkin tex/calculus/limits.tex#definition-4 (definition). In RZP28ERRZV, definition, section 32.3

History

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

Tonnetz 6TQAVER308

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

Mentions

wikipedia: Wikipedia Tonnetz, Tonnetz (definition). Also Wikidata Q1373870

History

2026-11-02: add by m2/dev

Ghysels, Eric 6TQECT9A55

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

Mentions

wikipedia: Wikipedia List of statisticians#EAYB, Ghysels, Eric (unknown)

History

2026-11-02: add by m2/dev

Evanescent field 6TQF9KDW5Q

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

Mentions

wikipedia: Wikipedia Evanescent field, Evanescent field (definition). Also Wikidata Q1341668

History

2026-11-02: add by m2/dev

Regularization at the oscillation scale 6TQGPPAXTJ

URI	`m2://inv/6TQGPPAXTJ`
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.13753#B28W, Regularization at the oscillation scale (statement). In AHM0PBKZZN/e1, lemma 6.3

History

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

6TQRSSJ7T6 6TQRSSJ7T6

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

Mentions

arxiv: arXiv 2610.05914#LUVA (statement). In V8MYP6MBAZ/e1, lemma 4

History

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

Universal approximation theorem: 6TQS1TBFFK

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

Mentions

wikipedia: Wikipedia Universal approximation theorem#CD3X, Universal approximation theorem: (statement)

History

2026-11-02: add by m2/dev

Properties 6TR4P846F4

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

Mentions

wikipedia: Wikipedia Length function#OXI7, Properties (statement)

History

2026-11-02: add by m2/dev

6TR8AK7135 6TR8AK7135

URI	`m2://inv/6TR8AK7135`
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.11031#IWOH (statement). In 9DMJXFRQN9/e1, theorem 1.2

History

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

6TRCCXPZZX 6TRCCXPZZX

URI	`m2://inv/6TRCCXPZZX`
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 0809.4587#GJ2R (statement). In KQ8JPHDKKE/e1, proposition 9.3.5

History

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

James Demmel 6TRGTRS9P3

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

Mentions

wikipedia: Wikipedia James Demmel, James Demmel (topic). Also Wikidata Q1680268

History

2026-11-02: add by m2/dev

Problem 1 6TRM2SHVD0

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

Mentions

wikipedia: Wikipedia Jade Mirror of the Four Unknowns#9JX7, Problem 1 (problem)

History

2026-11-02: add by m2/dev

Examples 6TRQZR00GT

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

Mentions

wikipedia: Wikipedia Eisenstein's criterion#O8EL, Examples (example)

History

2026-11-02: add by m2/dev

Constraint is saturated at the optimum 6TRV68KXMD

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

Mentions

arxiv: arXiv 2609.23350#7VUU, Constraint is saturated at the optimum (statement)

History

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

Dieter Kotschick 6TRXAA3EEY

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

Mentions

wikipedia: Wikipedia Dieter Kotschick, Dieter Kotschick (topic). Also Wikidata Q1222311

History

2026-11-02: add by m2/dev

Statement 6TS1JXYG95

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

Mentions

wikipedia: Wikipedia Andreotti–Grauert theorem#3VFZ, Statement (statement)

History

2026-11-02: add by m2/dev

6TS25BHRES 6TS25BHRES

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

Mentions

hott_book: hott_book equivalences.tex#thm:contr-hae (statement). In N54F33XE07, thm, section 3.2

History

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

6TS3WD522E 6TS3WD522E

URI	`m2://inv/6TS3WD522E`
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 2410.22607#DEXS (statement). In 6GT33A43SY/e1, lemma 3.2

History

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

Definition 6TS53GS2ME

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

Mentions

wikipedia: Wikipedia Reflection group#4U2G, Definition (definition)

History

2026-11-02: add by m2/dev

Local coordinates 6TS7FWJDER

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

Mentions

wikipedia: Wikipedia Local coordinates, Local coordinates (definition). Also Wikidata Q6664315

History

2026-11-02: add by m2/dev

Definition 6TS8C8KS3S

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

Mentions

wikipedia: Wikipedia Bayesian information criterion#IRYA, Definition (definition)

History

2026-11-02: add by m2/dev

Convergence of ADI-based balanced truncation 6TSKE85F3H

URI	`m2://inv/6TSKE85F3H`
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.31044#JGQI, Convergence of ADI-based balanced truncation (statement). In Z72AEBE4Z6/e1, theorem 3.1

History

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

Applications 6TSMVWYKFJ

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

Mentions

wikipedia: Wikipedia Mock modular form#9TDL, Applications (example)

History

2026-11-02: add by m2/dev

invariance of domain 6TSSJYBZ94

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#M7ML, invariance of domain (definition)

History

2026-11-02: add by m2/dev

6TT3FWBQD1 6TT3FWBQD1

URI	`m2://inv/6TT3FWBQD1`
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.04323#41IE (statement). In 3Z0D2NCJ0B/e1, lemma 11

History

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

Kleinian integer 6TT43ZNCSJ

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

Mentions

wikipedia: Wikipedia Kleinian integer, Kleinian integer (definition). Also Wikidata Q17047747

History

2026-11-02: add by m2/dev

6TT4ZD0R9B 6TT4ZD0R9B

URI	`m2://inv/6TT4ZD0R9B`
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.06326#ZAOA (statement). In DPR6B6X0JX/e1, lemma 5

History

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

Negative-sublevel compactness 6TTA62GG2R

URI	`m2://inv/6TTA62GG2R`
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.24931#F9AP, Negative-sublevel compactness (statement)

History

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

6TTTCD43V4 6TTTCD43V4

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

Mentions

arxiv: arXiv 2610.22268#CTLT (statement). In 9ZD87293QS/e1, theorem B

History

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

Vera Pless 6TV0N54MJJ

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#X7DI, Vera Pless (unknown)

History

2026-11-02: add by m2/dev

Carlos J. Moreno 6TVAF57CC4

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GWKL, Carlos J. Moreno (unknown)

History

2026-11-02: add by m2/dev

Stefan Kaczmarz 6TVDMMWCER

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

Mentions

wikipedia: Wikipedia Stefan Kaczmarz, Stefan Kaczmarz (topic). Also Wikidata Q1374765

History

2026-11-02: add by m2/dev

Rifkat Bogdanov 6TVGH6VA7V

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

Mentions

wikipedia: Wikipedia Rifkat Bogdanov, Rifkat Bogdanov (topic). Also Wikidata Q4089273

History

2026-11-02: add by m2/dev

Electron mass 6TVJ7ASYK1

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

Mentions

wikipedia: Wikipedia List of numbers#XEFK, Electron mass (unknown)

History

2026-11-02: add by m2/dev

Length one 6TVJNZ03KX

URI	`m2://inv/6TVJNZ03KX`
Kind	example
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.04214#LC52, Length one (example). In HWY7AQ4KT2/e1, example 1.3

History

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

6TVK8GTMF9 6TVK8GTMF9

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

Mentions

arxiv: arXiv 2610.13385#33OX (definition). In J99CBQ3QYD/e1, definition 2.5

History

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

Applications 6TVR58PS0K

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

Mentions

wikipedia: Wikipedia Regret (decision theory)#T0OM, Applications (example)

History

2026-11-02: add by m2/dev

Assumed mean 6TVV2DWMXF

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

Mentions

wikipedia: Wikipedia Assumed mean, Assumed mean (definition). Also Wikidata Q4810327

History

2026-11-02: add by m2/dev

6TW2V48FG4 6TW2V48FG4

URI	`m2://inv/6TW2V48FG4`
Kind	definition
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#Q557 (definition)

History

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

6TW8R391P5 6TW8R391P5

URI	`m2://inv/6TW8R391P5`
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.33771#DELT (statement). In ZXQA7QH0H0/e1, lemma 3.27

History

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

Zero-entropy boundary inequality 6TWA2FXJZR

URI	`m2://inv/6TWA2FXJZR`
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.24931#4XEH, Zero-entropy boundary inequality (statement)

History

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

6TWB3KF5KK 6TWB3KF5KK

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

Mentions

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

History

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

6TWGQQ5H9Y 6TWGQQ5H9Y

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

Mentions

arxiv: arXiv 2610.04874#WFOW (statement). In X365951S4Q/e1, theorem 1.1

History

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

Scalar lower bound under damping 6TWM2NKZ54

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

Mentions

arxiv: arXiv 2609.33499#RB23, Scalar lower bound under damping (statement). In AAH14S2JJ2/e1, proposition E.2

History

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

6TWXKXTMHM 6TWXKXTMHM

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-67 (exercise). In E9HS8K3A52, exercise, section 10.6.4

History

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

6TX79WE84Y 6TX79WE84Y

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-10 (exercise). In P1C114YBXG, problem, section 1

History

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

canonical 6TXADSP8N2

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#N0M8, canonical (definition)

History

2026-11-02: add by m2/dev

Applications 6TXB2A4NM0

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

Mentions

wikipedia: Wikipedia Logistic distribution#11N4, Applications (example)

History

2026-11-02: add by m2/dev

Christiane Rousseau 6TXNXEFX14

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

Mentions

wikipedia: Wikipedia Christiane Rousseau, Christiane Rousseau (topic). Also Wikidata Q19520066

History

2026-11-02: add by m2/dev

Applications 6TXP72CY3X

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

Mentions

wikipedia: Wikipedia Matroid parity problem#XNAI, Applications (example)

History

2026-11-02: add by m2/dev

Back-face culling 6TXT0YT9K2

URI	`m2://inv/6TXT0YT9K2`
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#RMVV, Back-face culling (unknown)

History

2026-11-02: add by m2/dev

Properties of the difference kernel 6TXWJ4BAFW

URI	`m2://inv/6TXWJ4BAFW`
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#T4ZC, Properties of the difference kernel (statement). In MBFRRC83TH/e1, fact 2

History

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

Walt Hazzard 6TY07HXK1E

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#Y1JH, Walt Hazzard (unknown)

History

2026-11-02: add by m2/dev

722 (number) 6TY31ZFE0D

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

Mentions

wikipedia: Wikipedia 700 (number)#DZMK, 722 (number) (unknown)

History

2026-11-02: add by m2/dev

Methods 6TY59Q4DMH

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

Mentions

wikipedia: Wikipedia Kriging#49ZS, Methods (definition)

History

2026-11-02: add by m2/dev

asymptote 6TY5VZR32A

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

Mentions

wikidata: Wikidata Q179436, asymptote (unknown). Also EoM Asymptote, MathWorld Asymptote
wikipedia: Wikipedia Asymptote, Asymptote (definition). Also Wikidata Q179436

History

2026-10-26: add by m2/dev

6TY86MC2FX 6TY86MC2FX

URI	`m2://inv/6TY86MC2FX`
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.01467#G1BS (statement). In 10GZB25WAC/e1, proposition 5.2

History

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

No translation to the complement 6TYA96GKH4

URI	`m2://inv/6TYA96GKH4`
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.00099#K3AW, No translation to the complement (statement). In NNBY2AEHP4/e1, lemma 4.2

History

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

RSA SecurID 6TYKA3WMJ1

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

Mentions

wikipedia: Wikipedia RSA SecurID, RSA SecurID (definition). Also Wikidata Q981514

History

2026-11-02: add by m2/dev

Retrospective cohort study 6TYMYEP7EE

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

Mentions

wikipedia: Wikipedia List of psychological research methods#79KJ, Retrospective cohort study (unknown)

History

2026-11-02: add by m2/dev

Definition 6TYPWZHZBQ

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

Mentions

wikipedia: Wikipedia Roulette (curve)#0250, Definition (definition)

History

2026-11-02: add by m2/dev

Young's inequality 6TYQBDB2BN

URI	`m2://inv/6TYQBDB2BN`
Kind	statement
Layer	textbook
MSC	49-XX, 90-XX, 93-XX
Sources	3
Outcome	node (a node has the same Wikidata item as the row)
Node	Young's inequality for products 07VHQ31EYJ

Mentions

arxiv: arXiv 2609.32997#XKNH, Young's inequality (statement). In N380GY9A9N/e1, lemma 2.7
arxiv: arXiv 2610.16886#KZG4, Young's Inequality (statement). In Y8QQAH7VCF/e1, lemma C.1
wikidata: Wikidata Q910563, Young's inequality (statement). Also MathWorld YoungsInequality
wikipedia: Wikipedia Young's inequality for products, Young's inequality for products (statement). Also Wikidata Q910563

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent
2026-10-31: merge by m2/v0.5.6

6TYRFESHR4 6TYRFESHR4

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

Mentions

open_logic: open_logic content/set-theory/choice/vitali.tex#pseudobanachtarski (statement). In PKGMM3P5QY, lem, section 71.6

History

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

Cross-spectrum 6TYTA06SK3

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

Mentions

wikipedia: Wikipedia List of statistics articles#4J6R, Cross-spectrum (definition)

History

2026-11-02: add by m2/dev

6TYTETC0Q6 6TYTETC0Q6

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

Mentions

arxiv: arXiv 2609.23522#XKMT (statement)

History

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

Properties 6TYVK786QF

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

Mentions

wikipedia: Wikipedia Quantile-parameterized distribution#KVAF, Properties (statement)

History

2026-11-02: add by m2/dev

Kolmogorov axioms 6TZ0Y5MYM9

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

Mentions

wikipedia: Wikipedia Probability axioms#JUWF, Kolmogorov axioms (statement)

History

2026-11-02: add by m2/dev

6TZ2NZ6K64 6TZ2NZ6K64

URI	`m2://inv/6TZ2NZ6K64`
Kind	statement
Layer	research
MSC	26-XX, 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 0906.2853#T1TD (statement). In 32ZZ1DETCX/e1, lemma 4.12

History

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

15 and 290 theorems 6TZ2ZB2Q3E

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

Mentions

wikipedia: Wikipedia 29 (number)#D6OY, 15 and 290 theorems (statement)

History

2026-11-02: add by m2/dev

Buekenhout geometry 6TZ53VXFSR

URI	`m2://inv/6TZ53VXFSR`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Buekenhout geometry 4W27TKGQWR

Mentions

wikidata: Wikidata Q4985363, Buekenhout geometry (unknown). Also EoM Diagram_geometry
wikipedia: Wikipedia Buekenhout geometry, Buekenhout geometry (definition). Also Wikidata Q4985363

History

2026-10-26: add by m2/dev

Sierpinski 6TZ59APA11

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

Mentions

wikipedia: Wikipedia Glossary of set theory#DTPC, Sierpinski (definition)

History

2026-11-02: add by m2/dev

6TZ5ZGR4GH 6TZ5ZGR4GH

URI	`m2://inv/6TZ5ZGR4GH`
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#XXMH (statement). In JSRVKPT87E/e1, corollary

History

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

6TZCDFD6TH 6TZCDFD6TH

URI	`m2://inv/6TZCDFD6TH`
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 2404.06445#CRA7 (statement). In 12JKZ8EN52/e1, corollary 8.22

History

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

\text{see 6TZF06M9WV

URI	`m2://inv/6TZF06M9WV`
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.07370#WHDW, \text{see (statement). In Q94QXG67CK/e1, theorem II.1

History

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

Overgroups of Young subgroups 6TZMF2KQ25

URI	`m2://inv/6TZMF2KQ25`
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.18154#GEUQ, Overgroups of Young subgroups (statement). In 4W7ARR1DAR/e1, lemma G.5

History

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

6TZMR5MJS3 6TZMR5MJS3

URI	`m2://inv/6TZMR5MJS3`
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 1707.07744#FVCK (statement). In WAFGHHHJY9/e1, lemma 6

History

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

6TZRQAG6KW 6TZRQAG6KW

URI	`m2://inv/6TZRQAG6KW`
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.19360#SJYE (statement). In MFCW5CY96C/e1, theorem 1

History

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

Hardy's theorem 6TZWM26QWR

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

Mentions

wikipedia: Wikipedia List of theorems#DUNI, Hardy's theorem (statement)

History

2026-11-02: add by m2/dev