Inventory rows CF

CF049P3DQB CF049P3DQB

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

Mentions

arxiv: arXiv 2610.19088#5ZN8 (statement). In 90QTB4CC31/e1, corollary 3.15

History

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

CF06G6VJAF CF06G6VJAF

URI	`m2://inv/CF06G6VJAF`
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.20231#W419 (statement)

History

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

Clarice Weinberg CF08NDXHBQ

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#S5A3, Clarice Weinberg (unknown)

History

2026-11-02: add by m2/dev

Burniat surface CF0996FAJB

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

Mentions

wikipedia: Wikipedia Burniat surface, Burniat surface (definition). Also Wikidata Q4999770

History

2026-11-02: add by m2/dev

Barrow's inequality CF0Q1XFHZN

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

Mentions

wikipedia: Wikipedia Barrow's inequality, Barrow's inequality (statement). Also Wikidata Q3497142

History

2026-11-02: add by m2/dev

Bergman space CF0Q9TXZT7

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

Mentions

wikipedia: Wikipedia Bergman space, Bergman space (definition). Also Wikidata Q3058183

History

2026-11-02: add by m2/dev

CF126HEXY2 CF126HEXY2

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

Mentions

arxiv: arXiv 2506.07061#NKDV (definition). In G2PA4KAGRP/e1, definition 2.21

History

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

Monotonicity CF17F68F7Z

URI	`m2://inv/CF17F68F7Z`
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.29671#X1JL, Monotonicity (statement)

History

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

CF1BC5MF3H CF1BC5MF3H

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

Mentions

arxiv: arXiv 1810.06028#M6ZG (statement). In ZPFHH6YJG3/e1, lemma 4.4

History

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

Philip Jourdain CF1SG1918S

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

Mentions

wikipedia: Wikipedia Philip Jourdain, Philip Jourdain (topic). Also Wikidata Q1389946

History

2026-11-02: add by m2/dev

Céa's lemma CF1SW57GW9

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#94OD, Céa's lemma (statement)

History

2026-11-02: add by m2/dev

CF1VB3DVSV CF1VB3DVSV

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

Mentions

arxiv: arXiv 2610.04069#5OEB (statement). In ZA7WXGZYWC/e1, proposition 2.15

History

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

Louise Hay CF1YWED2MD

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#451Y, Louise Hay (topic)

History

2026-11-02: add by m2/dev

Five Corners, Indiana CF243S1WP7

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

Mentions

wikipedia: Wikipedia List of places with numeric names#UG4X, Five Corners, Indiana (unknown)

History

2026-11-02: add by m2/dev

\lean{PSet CF24Z2ZG5Q

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

Mentions

arxiv: arXiv 2609.23143#3G14, \lean{PSet (definition)

History

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

Weighted geometric mean CF2AA0JEF6

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

Mentions

wikipedia: Wikipedia Weighted geometric mean, Weighted geometric mean (definition). Also Wikidata Q2625569

History

2026-11-02: add by m2/dev

Padé table for exponential function CF2B6TQST7

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

Mentions

wikipedia: Wikipedia Padé table#IV1M, Padé table for exponential function (unknown)

History

2026-11-02: add by m2/dev

CF2BX5Z9MS CF2BX5Z9MS

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

Mentions

arxiv: arXiv 2610.21675#V67D (statement). In TB1294GY5X/e1, proposition 2.10

History

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

CF2J0BBQ6Z CF2J0BBQ6Z

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

Mentions

arxiv: arXiv 2609.27834#X568 (statement)

History

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

Maurice Herlihy CF2K3J6TG3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#D36J, Maurice Herlihy (unknown)

History

2026-11-02: add by m2/dev

Theorem CF2SX4K8WN

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

Mentions

wikipedia: Wikipedia Vysochanskij–Petunin inequality#EGUJ, Theorem (statement)

History

2026-11-02: add by m2/dev

ray tracing CF2ZMJ0KAM

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

Mentions

wikipedia: Wikipedia List of undecidable problems#ZT1I, ray tracing (unknown)

History

2026-11-02: add by m2/dev

Approximation of weighted energy conditions CF34QQCCBF

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

Mentions

arxiv: arXiv 2610.11911#PWTF, Approximation of weighted energy conditions (statement). In 5BYE5NYB89/e1, proposition 3.10

History

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

divergent, improper integral CF36EC88FF

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

Mentions

lebl_ra: lebl_ra index/8.5/divergent-improper-integral, divergent, improper integral (concept). In E59CDZA4DP, index, section 8.5

History

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

Lazzaro Mongiardini CF36JCSDPF

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

Mentions

wikipedia: Wikipedia Lazzaro Mongiardini, Lazzaro Mongiardini (topic). Also Wikidata Q18945589

History

2026-11-02: add by m2/dev

Hautus lemma CF39ARQKRB

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

Mentions

wikipedia: Wikipedia Hautus lemma, Hautus lemma (statement). Also Wikidata Q17021408

History

2026-11-02: add by m2/dev

George A. Barnard CF3TZYXDVX

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#F4Y6, George A. Barnard (topic)

History

2026-11-02: add by m2/dev

spherical lune CF3V3R7W56

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

Mentions

wikidata: Wikidata Q24070598, spherical lune (unknown). Also MathWorld SphericalLune
wikipedia: Wikipedia Spherical lune, Spherical lune (definition). Also Wikidata Q24070598

History

2026-10-26: add by m2/dev

Abstraction (philosophy) CF42Y5P1JT

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

Mentions

wikipedia: Wikipedia Abstraction#JQEF, Abstraction (philosophy) (unknown)

History

2026-11-02: add by m2/dev

Non-endoscopic automorphic representations of $U_{E/F}$ CF4CBNK5EJ

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

Mentions

arxiv: arXiv 2609.26500#KE0T, Non-endoscopic automorphic representations of $U_{E/F}$ (definition)

History

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

Use CF4HTKQV9W

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

Mentions

wikipedia: Wikipedia Wheat and chessboard problem#CV43, Use (example)

History

2026-11-02: add by m2/dev

Construction CF4J24SKSY

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

Mentions

wikipedia: Wikipedia Arithmetic progression topologies#TEXT, Construction (definition)

History

2026-11-02: add by m2/dev

Proprietary programming language CF4JKEKJYM

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

Mentions

wikipedia: Wikipedia Programming language#BOBA, Proprietary programming language (unknown)

History

2026-11-02: add by m2/dev

Intersecting chords theorem CF4S9KADDR

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

Mentions

wikipedia: Wikipedia List of theorems#77R2, Intersecting chords theorem (statement)

History

2026-11-02: add by m2/dev

CF55H3N576 CF55H3N576

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

Mentions

arxiv: arXiv 2610.01802#T542 (statement). In XGPZ0G9E1Q/e1, proposition 10.2

History

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

CF57VKP6XG CF57VKP6XG

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

Mentions

arxiv: arXiv 2609.24593#TSVM (statement)

History

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

branching CF5A2V55Q8

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#FQ76, branching (definition)

History

2026-11-02: add by m2/dev

limit cycle CF5C9VTK8Y

URI	`m2://inv/CF5C9VTK8Y`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Limit cycle 0AAQ73WRFB

Mentions

wikidata: Wikidata Q1545916, limit cycle (unknown). Also EoM Limit_cycle
wikipedia: Wikipedia Limit cycle, Limit cycle (definition). Also Wikidata Q1545916

History

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

Jain mathematics CF5J5J1MGA

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

Mentions

wikipedia: Wikipedia Indian mathematics#KK7M, Jain mathematics (unknown)

History

2026-11-02: add by m2/dev

Linux kernel crypto API CF5N3S8ESA

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

Mentions

wikipedia: Wikipedia Linux kernel crypto API, Linux kernel crypto API (definition). Also Wikidata Q5190797

History

2026-11-02: add by m2/dev

Elizabeth Williams CF5X4752YT

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

Mentions

wikipedia: Wikipedia Elizabeth Williams (educationist), Elizabeth Williams (topic). Also Wikidata Q5363729

History

2026-11-02: add by m2/dev

Red Pike CF61J2D423

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

Mentions

wikipedia: Wikipedia Red Pike (cipher), Red Pike (definition). Also Wikidata Q615772

History

2026-11-02: add by m2/dev

CF6743JQAB CF6743JQAB

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

Mentions

arxiv: arXiv 2610.14060#FFA0 (statement). In X47RYAZF8P/e1, corollary 5.3

History

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

Künneth formula CF6GQMFZE1

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

Mentions

wikipedia: Wikipedia Group cohomology#MOKC, Künneth formula (statement)

History

2026-11-02: add by m2/dev

Bandwidth formulas for some graphs CF6H3GE9NP

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

Mentions

wikipedia: Wikipedia Graph bandwidth#8JT4, Bandwidth formulas for some graphs (statement)

History

2026-11-02: add by m2/dev

Eduard Ritter von Weber CF6HVN8JDM

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

Mentions

wikipedia: Wikipedia List of German mathematicians#FG0G, Eduard Ritter von Weber (unknown)

History

2026-11-02: add by m2/dev

CF6JVZW08W CF6JVZW08W

URI	`m2://inv/CF6JVZW08W`
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.01924#JSCN (statement). In CB89152EQW/e1, theorem 0.2

History

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

The Road to Reality CF6K42HMPC

URI	`m2://inv/CF6K42HMPC`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q2263729, The Road to Reality (unknown). Also ProofWiki Book:Roger_Penrose/The_Road_to_Reality:_A_Complete_Guide_to_the_Laws_of_the_Universe

History

2026-10-26: add by m2/dev

CF6KFRM3PB CF6KFRM3PB

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

Mentions

arxiv: arXiv 1009.2047#AMAN (statement). In F3MWRNBNED/e1, corollary 6.7

History

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

CF6QEG02AM CF6QEG02AM

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

Mentions

arxiv: arXiv 2610.22002#IHCH (statement). In JTND2BM263/e1, theorem 2.1

History

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

CF6R53PH26 CF6R53PH26

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

Mentions

arxiv: arXiv 2610.18483#JY15 (statement). In FF4HDVF1DC/e1, theorem 5.2

History

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

Mack E. Jenkins CF6SM0PW02

URI	`m2://inv/CF6SM0PW02`
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#ISTV, Mack E. Jenkins (unknown)

History

2026-11-02: add by m2/dev

CF6T7PJ117 CF6T7PJ117

URI	`m2://inv/CF6T7PJ117`
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 2401.07983#E5T5 (statement). In 4WJ9HYVSZY/e1, proposition 2.5

History

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

Examples CF6TQA2K7N

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

Mentions

wikipedia: Wikipedia Hilbert–Schmidt operator#Q6DC, Examples (example)

History

2026-11-02: add by m2/dev

$H_\infty$ minimal-$\gamma$ design: a subgradient CF6YHHWAFT

URI	`m2://inv/CF6YHHWAFT`
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.36090#CM66, $H_\infty$ minimal-$\gamma$ design: a subgradient (statement). In N025M6VQRY/e1, corollary 6.6

History

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

CF71XBHRCH CF71XBHRCH

URI	`m2://inv/CF71XBHRCH`
Kind	statement
Layer	research
MSC	46-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.12116#YOHF (statement). In WB3F0S794F/e1, theorem 4.1

History

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

M. S. Raghunathan CF76KY9X0H

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#5FL6, M. S. Raghunathan (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#86FG, M. S. Raghunathan (topic)

History

2026-11-02: add by m2/dev

CF76Y67RS9 CF76Y67RS9

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#proof-3 (proof). In E59CDZA4DP, proof, section 8.1.1

History

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

Cinque Terre CF7JXPYMYT

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

Mentions

wikipedia: Wikipedia List of places with numeric names#BFNJ, Cinque Terre (unknown)

History

2026-11-02: add by m2/dev

CF7MHEBM2R CF7MHEBM2R

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

Mentions

arxiv: arXiv 2610.09171#FM5U (definition). In 5ZPSZFE08Q/e1, definition 3.11

History

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

CF7QFBQ18B CF7QFBQ18B

URI	`m2://inv/CF7QFBQ18B`
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 2211.15302#E3SR (statement). In FAZF2RBE6Y/e1, theorem

History

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

Morse lemma CF7ZHJ10S2

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

Mentions

wikipedia: Wikipedia Morse theory#SU3K, Morse lemma (statement)

History

2026-11-02: add by m2/dev

Agnes Sime Baxter CF82SFTQNE

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

Mentions

wikipedia: Wikipedia Agnes Sime Baxter, Agnes Sime Baxter (topic). Also Wikidata Q4693117

History

2026-11-02: add by m2/dev

Cameron Leigh Stewart CF8CCCTB5F

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

Mentions

wikipedia: Wikipedia Cameron Leigh Stewart, Cameron Leigh Stewart (topic). Also Wikidata Q5026288

History

2026-11-02: add by m2/dev

Conjecture 2 CF8EE2NHG0

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

Mentions

wikipedia: Wikipedia Low-discrepancy sequence#MJW4, Conjecture 2 (statement)

History

2026-11-02: add by m2/dev

Definitions CF8GTW29FX

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

Mentions

wikipedia: Wikipedia NL-complete#2GU2, Definitions (definition)

History

2026-11-02: add by m2/dev

Otto Dersch CF8HC5DVDC

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

Mentions

wikipedia: Wikipedia Otto Dersch, Otto Dersch (topic). Also Wikidata Q27126

History

2026-11-02: add by m2/dev

Synchrotron radiation CF8HE1MS89

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

Mentions

wikipedia: Wikipedia Synchrotron radiation, Synchrotron radiation (definition). Also Wikidata Q212871

History

2026-11-02: add by m2/dev

good shifts CF8PCAQ72Q

URI	`m2://inv/CF8PCAQ72Q`
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#BIJ8, good shifts (statement). In VFV3FFB7Q7/e1, lemma 13

History

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

CF8RBYC6Z0 CF8RBYC6Z0

URI	`m2://inv/CF8RBYC6Z0`
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.24185#V955 (statement)

History

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

Definition CF8RDK2CQ5

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

Mentions

wikipedia: Wikipedia Blocking set#341Y, Definition (definition)

History

2026-11-02: add by m2/dev

Raphael Levi Hannover CF8Z1QWHMY

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

Mentions

wikipedia: Wikipedia List of German mathematicians#05ZQ, Raphael Levi Hannover (topic)

History

2026-11-02: add by m2/dev

CF91ZHXEZE CF91ZHXEZE

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

Mentions

arxiv: arXiv 2609.21534#NM2G (statement)

History

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

Minimum overlap problem CF92VVZH7N

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#K301, Minimum overlap problem (conjecture)

History

2026-11-02: add by m2/dev

perfect graph CF99T40ZMX

URI	`m2://inv/CF99T40ZMX`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Perfect graph 1YZ7NV161A

Mentions

wikidata: Wikidata Q1187620, perfect graph (definition). Also MathWorld PerfectGraph, ProofWiki Definition:Perfect_Graph
wikipedia: Wikipedia Perfect graph, Perfect graph (definition). Also Wikidata Q1187620

History

2026-10-26: add by m2/dev

Chevalley group CF9D5NQJJN

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

Mentions

wikipedia: Wikipedia Group of Lie type#WOX9, Chevalley group (unknown)

History

2026-11-02: add by m2/dev

The Pursuit of Perfect Packing CF9K31TBWM

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

Mentions

wikipedia: Wikipedia The Pursuit of Perfect Packing, The Pursuit of Perfect Packing (definition). Also Wikidata Q85808221

History

2026-11-02: add by m2/dev

CF9NHZ68KN CF9NHZ68KN

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

Mentions

lebl_ra: lebl_ra ch-der.tex#proof-10 (proof). In E59CDZA4DP, proof, section 3.2.5

History

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

CF9NYMJNH4 CF9NYMJNH4

URI	`m2://inv/CF9NYMJNH4`
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#IUYW (statement). In 3Z0D2NCJ0B/e1, theorem 7

History

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

Wieferich number CF9NZGF8B7

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

Mentions

wikipedia: Wikipedia Wieferich prime#AEG2, Wieferich number (unknown)

History

2026-11-02: add by m2/dev

Generalized Maxwell model CF9SY7H6AD

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

Mentions

wikipedia: Wikipedia Generalized Maxwell model, Generalized Maxwell model (definition). Also Wikidata Q5532446

History

2026-11-02: add by m2/dev

Hadamard matrix CFA2KX7Q98

URI	`m2://inv/CFA2KX7Q98`
Kind	conjecture
Layer	textbook
Sources	2
Outcome	open
Node	Hadamard matrix J0N4J606X0

Mentions

wikidata: Wikidata Q1422682, Hadamard matrix (unknown). Also EoM Hadamard_matrix, MathWorld HadamardMatrix
wikipedia: Wikipedia Hadamard matrix, Hadamard matrix (conjecture). Also Wikidata Q1422682

History

2026-10-26: add by m2/dev

CFA2T8ZYXE CFA2T8ZYXE

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

Mentions

wikipedia: Wikipedia Catalan's constant#UQEO (problem)

History

2026-11-02: add by m2/dev

Jennifer Quinn CFA7VMT27E

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

Mentions

wikipedia: Wikipedia Jennifer Quinn, Jennifer Quinn (topic). Also Wikidata Q48471212

History

2026-11-02: add by m2/dev

Upper bound for the distance between points on the same vertical line CFAAE5ZMVG

URI	`m2://inv/CFAAE5ZMVG`
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.40138#1GO1, Upper bound for the distance between points on the same vertical line (statement). In R60HR493TS/e1, lemma 2.7

History

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

Milton Gilbert CFACJ6E2CR

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#T12N, Milton Gilbert (unknown)

History

2026-11-02: add by m2/dev

CFAE9JZ3HE CFAE9JZ3HE

URI	`m2://inv/CFAE9JZ3HE`
Kind	statement
Layer	research
MSC	16-XX, 19-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.23527#T9ZM (statement)

History

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

Properties CFAJ2GH2T5

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

Mentions

wikipedia: Wikipedia Definite matrix#NT6D, Properties (statement)

History

2026-11-02: add by m2/dev

Shortest path problem CFAMWSJVY2

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

Mentions

wikipedia: Wikipedia List of algorithms#0PK9, Shortest path problem (problem)

History

2026-11-02: add by m2/dev

CFAQ0WP04X CFAQ0WP04X

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

Mentions

arxiv: arXiv 2610.01855#67FY (statement). In MM8P5CJR18/e1, corollary 5.29

History

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

CFAY267FRF CFAY267FRF

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

Mentions

arxiv: arXiv 2609.10840#M4F9 (statement). In P0HKF5DY7M/e1, lemma D.2

History

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

No symmetric candidate CFAYZDV3F3

URI	`m2://inv/CFAYZDV3F3`
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.25120#7FH7, No symmetric candidate (statement)

History

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

Tensor representation CFB0XDM86Y

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

Mentions

wikipedia: Wikipedia Tensor representation, Tensor representation (definition). Also Wikidata Q56291638

History

2026-11-02: add by m2/dev

Systematic review CFB2NCKCCZ

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

Mentions

wikipedia: Wikipedia Systematic review, Systematic review (definition). Also Wikidata Q1504425

History

2026-11-02: add by m2/dev

An unconditional family in every strength CFB5XPXS89

URI	`m2://inv/CFB5XPXS89`
Kind	statement
Layer	research
MSC	05-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.31689#5RUF, An unconditional family in every strength (statement). In Z7M2JSF6HA/e1, theorem 6.5

History

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

Moving and fixed inner boundaries CFB8QXPJXN

URI	`m2://inv/CFB8QXPJXN`
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.21328#NJ0R, Moving and fixed inner boundaries (statement). In BJXVV4ZF7B/e1, lemma A.1

History

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

CFBE4F79RP CFBE4F79RP

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

Mentions

arxiv: arXiv 2610.02174#EFFQ (statement). In 7JPHSV4NXW/e1, theorem 3.6

History

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

CFBFVMSP2W CFBFVMSP2W

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

Mentions

arxiv: arXiv 2306.00590#HAZH (proof). In D3WTQN2F7B/e1, proof

History

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

Logistic loss CFBN6TFR58

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

Mentions

wikipedia: Wikipedia Loss functions for classification#QMR7, Logistic loss (unknown)

History

2026-11-02: add by m2/dev

Representation theory of diffeomorphism groups CFBWT75DBY

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

Mentions

wikipedia: Wikipedia Representation theory of diffeomorphism groups, Representation theory of diffeomorphism groups (definition). Also Wikidata Q7314225

History

2026-11-02: add by m2/dev

Center-of-gravity method CFC235Q42X

URI	`m2://inv/CFC235Q42X`
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.21461#3G4H, Center-of-gravity method (statement). In DWQANBV7B7/e1, proposition C.1

History

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

CFC7S08KSH CFC7S08KSH

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

Mentions

arxiv: arXiv 2610.15736#0OBB (statement). In 17WP1JCDAV/e1, theorem A

History

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

Correctness of the finite query CFC8040HTF

URI	`m2://inv/CFC8040HTF`
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.20414#G13I, Correctness of the finite query (statement). In X2NNNW8CX5/e1, lemma 3.2

History

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

Ribbon graph CFCD69777W

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

Mentions

wikipedia: Wikipedia Ribbon graph, Ribbon graph (definition). Also Wikidata Q48999713

History

2026-11-02: add by m2/dev

Examples CFCE3XW0S4

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

Mentions

wikipedia: Wikipedia Kleetope#XMCB, Examples (example)

History

2026-11-02: add by m2/dev

Applications CFCSPHDV3F

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

Mentions

wikipedia: Wikipedia Fast Fourier transform#SLMZ, Applications (example)

History

2026-11-02: add by m2/dev

Conventions CFCVYXPHAT

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

Mentions

wikipedia: Wikipedia Table of Gaussian integer factorizations#HFWL, Conventions (definition)

History

2026-11-02: add by m2/dev

CFCZ3481NW CFCZ3481NW

URI	`m2://inv/CFCZ3481NW`
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 2607.00323#PW76 (statement). In BPRFEQY7W4/e1, theorem 3.10

History

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

CFD9H3AZD3 CFD9H3AZD3

URI	`m2://inv/CFD9H3AZD3`
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 2302.07710#RJXN (statement). In WD3CVPPH6H/e1, proposition 3.4

History

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

Factorial number system CFDD2W6PGF

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

Mentions

wikipedia: Wikipedia List of numeral systems#TR8Z, Factorial number system (definition)

History

2026-11-02: add by m2/dev

The Brunn–Minkowski inequality CFDM3ADWQP

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

Mentions

wikipedia: Wikipedia Minkowski's first inequality for convex bodies#BOU5, The Brunn–Minkowski inequality (statement)

History

2026-11-02: add by m2/dev

Sharp two-derivative route CFDP14XVN2

URI	`m2://inv/CFDP14XVN2`
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#31UY, Sharp two-derivative route (statement)

History

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

CFDR6K6587 CFDR6K6587

URI	`m2://inv/CFDR6K6587`
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.18324#1ZDW (statement). In C0EG2EY0M4/e1, proposition 3.4

History

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

CFE8T08RHN CFE8T08RHN

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

Mentions

arxiv: arXiv 2610.01958#OG7W (statement). In NQFYT2M6YZ/e1, theorem 2.8

History

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

CFEDSVX3PQ CFEDSVX3PQ

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

Mentions

arxiv: arXiv math/0406514#4M6Q (statement). In CY1FE8W1ZW/e1, lemma 0.148

History

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

Anatoly Karatsuba CFEEC750AJ

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

Mentions

wikipedia: Wikipedia Anatoly Karatsuba, Anatoly Karatsuba (topic). Also Wikidata Q487620

History

2026-11-02: add by m2/dev

CFEFFF9M0V CFEFFF9M0V

URI	`m2://inv/CFEFFF9M0V`
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.17518#WYNZ (statement). In YA4JEWTVS4/e1, proposition 2.2

History

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

CFEJP4QW1D CFEJP4QW1D

URI	`m2://inv/CFEJP4QW1D`
Kind	statement
Layer	research
MSC	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 2009.11127#FVIK (statement). In QEFS0Y021A/e1, lemma 2.2

History

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

CFEP7WSVK8 CFEP7WSVK8

URI	`m2://inv/CFEP7WSVK8`
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#Q7GT (statement). In 793KXAR957/e1, corollary 3.4

History

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

Multicomplex number CFEW5E7677

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

Mentions

wikipedia: Wikipedia Multicomplex number, Multicomplex number (definition). Also Wikidata Q1084631

History

2026-11-02: add by m2/dev

Las Vegas algorithm CFF5R7FVE9

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#YWDG, Las Vegas algorithm (definition)
wikipedia: Wikipedia List of probability topics#J06X, Las Vegas algorithm (definition)
wikipedia: Wikipedia List of algorithm general topics#FM1P, Las Vegas algorithm (definition)

History

2026-11-02: add by m2/dev

CFF9MYVF9K CFF9MYVF9K

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

Mentions

arxiv: arXiv 2610.01346#KRR1 (definition). In 44DQ7W1NW9/e1, definition 2.7

History

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

CFFEV8EB8Q CFFEV8EB8Q

URI	`m2://inv/CFFEV8EB8Q`
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.04252#6JT3 (statement). In ZF0Z61VQ96/e1, proposition 3.5

History

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

Vladimir Alekseev CFFMYME1B3

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

Mentions

wikipedia: Wikipedia Vladimir Alekseev (mathematician), Vladimir Alekseev (topic). Also Wikidata Q4061637

History

2026-11-02: add by m2/dev

Final Value Theorem for improperly integrable functions (Abel's theorem for integrals) CFFRPXSG5C

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

Mentions

wikipedia: Wikipedia Final value theorem#1SHA, Final Value Theorem for improperly integrable functions (Abel's theorem for integrals) (statement)

History

2026-11-02: add by m2/dev

Computational statistics CFFXJWSNZP

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

Mentions

wikipedia: Wikipedia List of statistics articles#YGCK, Computational statistics (definition)
wikipedia: Wikipedia List of statistics journals#ORUD, Computational Statistics (definition)
wikipedia: Wikipedia List of numerical analysis topics#3GE9, Computational statistics (definition)

History

2026-11-02: add by m2/dev

Definition CFFYCVJYH4

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

Mentions

wikipedia: Wikipedia Cubicity#MEQ7, Definition (definition)

History

2026-11-02: add by m2/dev

Andrew Browder CFG0MS5E8E

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#VFBC, Andrew Browder (topic)

History

2026-11-02: add by m2/dev

CFG4YG2BPB CFG4YG2BPB

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

Mentions

arxiv: arXiv 2609.36827#2NRZ (example). In VSHAQTB2CA/e1, example 4.3

History

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

CFGGMF19F7 CFGGMF19F7

URI	`m2://inv/CFGGMF19F7`
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#FZR3 (statement). In 4KT9TK3MG4/e1, proposition 2.7

History

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

CFGH6ZTNHF CFGH6ZTNHF

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

Mentions

arxiv: arXiv 2609.35691#FDL3 (statement). In G7R61RPWE2/e1, theorem 3.3

History

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

CFGJEPNR81 CFGJEPNR81

URI	`m2://inv/CFGJEPNR81`
Kind	statement
Layer	research
MSC	46-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.12116#E22X (statement). In WB3F0S794F/e1, theorem 6.1

History

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

Oval CFGM47YF6X

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#NTKS, Oval (definition)

History

2026-11-02: add by m2/dev

CFGMD9R87T CFGMD9R87T

URI	`m2://inv/CFGMD9R87T`
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.17408#ZZQ0 (statement). In QR8H4M1X4N/e1, proposition 2.2

History

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

CFGPDPTVTD CFGPDPTVTD

URI	`m2://inv/CFGPDPTVTD`
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 2108.10246#DRW3 (definition). In XD0YT3XCW2/e1, definition 2.7

History

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

cone CFGXT51QFA

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

Mentions

wikidata: Wikidata Q1635267, cone (unknown). Also MathWorld SpaceCone
wikipedia: Wikipedia Cone (topology), Cone (definition). Also Wikidata Q1635267

History

2026-10-26: add by m2/dev

CFH13046QJ CFH13046QJ

URI	`m2://inv/CFH13046QJ`
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.19535#RSCL (statement). In MJXSE9QR4X/e1, lemma 4.1

History

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

Isomorphism (category theory) CFH37390SX

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

Mentions

wikipedia: Wikipedia Isomorphism#J5KV, Isomorphism (category theory) (unknown)

History

2026-11-02: add by m2/dev

CFH3BKQ2QA CFH3BKQ2QA

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

Mentions

napkin: napkin tex/quantum/shor.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 76.3

History

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

CFH6HPCVX9 CFH6HPCVX9

URI	`m2://inv/CFH6HPCVX9`
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.10469#PLC7 (statement). In Q39BEKW6D9/e1, proposition A.5

History

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

Algorithms CFHA2VYT86

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

Mentions

wikipedia: Wikipedia Simplicial depth#WHOI, Algorithms (definition)

History

2026-11-02: add by m2/dev

CFHECDK6GN CFHECDK6GN

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

Mentions

open_logic: open_logic content/set-theory/cardinals/cardsasords.tex#defcardinalasordinal (definition). In PKGMM3P5QY, defn, section 70.1

History

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

CFHG7FAESM CFHG7FAESM

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

Mentions

arxiv: arXiv 2403.16814#3V3D (statement). In MN03Z3PRFT/e1, lemma 2.1

History

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

CFHHTQPZ1B CFHHTQPZ1B

URI	`m2://inv/CFHHTQPZ1B`
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 2105.08875#CD0V (statement). In QT8HPDAYPX/e1, lemma A.5

History

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

Phased bi-Weibull distribution CFHMX3PJVE

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

Mentions

wikipedia: Wikipedia List of probability distributions#62KG, Phased bi-Weibull distribution (unknown)

History

2026-11-02: add by m2/dev

Damm algorithm CFHNEQEBTJ

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#1E8F, Damm algorithm (definition)

History

2026-11-02: add by m2/dev

Historia Mathematica CFJ6RCHQT2

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

Mentions

wikipedia: Wikipedia Historia Mathematica, Historia Mathematica (definition). Also Wikidata Q3330664

History

2026-11-02: add by m2/dev

Communality CFJB1NRNH9

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

Mentions

wikipedia: Wikipedia Factor analysis#KRL8, Communality (definition)

History

2026-11-02: add by m2/dev

Dirichlet function CFJD3HDBVM

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

Mentions

wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#ENGX, Dirichlet function (definition)

History

2026-11-02: add by m2/dev

British Society for the History of Mathematics CFJD4VJWVC

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

Mentions

wikipedia: Wikipedia British Society for the History of Mathematics, British Society for the History of Mathematics (definition). Also Wikidata Q4971049

History

2026-11-02: add by m2/dev

Generalized Dedekind Criterion (GDC CFJDZTDJD8

URI	`m2://inv/CFJDZTDJD8`
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.29111#KEUI, Generalized Dedekind Criterion (GDC (statement)

History

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

Stacked discretisation error CFJFQVFZ6J

URI	`m2://inv/CFJFQVFZ6J`
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.34831#O66C, Stacked discretisation error (statement). In YF36GM7X5Y/e1, theorem B.1

History

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

The Dinitz–Garg–Goemans theorem CFJKP8KY8Q

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

Mentions

wikipedia: Wikipedia Dinitz–Garg–Goemans conjecture#TWIZ, The Dinitz–Garg–Goemans theorem (statement)

History

2026-11-02: add by m2/dev

Residual expansion CFJVYBFCZ8

URI	`m2://inv/CFJVYBFCZ8`
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 2102.11076#U6G1, Residual expansion (statement). In T9HZXHTQBJ/e1, lemma 12

History

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

CFK5K4Z1TD CFK5K4Z1TD

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

Mentions

arxiv: arXiv 2609.22304#QZ1N (statement)

History

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

CFKARGF0PW CFKARGF0PW

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

Mentions

arxiv: arXiv 2609.37112#S5M5 (statement). In 5B10HAY4C3/e1, theorem 1.6

History

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

Properties CFKGY1SFD8

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

Mentions

wikipedia: Wikipedia Gaussian measure#3YUU, Properties (statement)

History

2026-11-02: add by m2/dev

Aberrancy (geometry) CFKREX5ZGQ

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

Mentions

wikipedia: Wikipedia Differentiable curve#2HZE, Aberrancy (geometry) (unknown)

History

2026-11-02: add by m2/dev

3DNow! CFM214TEF7

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

Mentions

wikipedia: Wikipedia 3DNow!, 3DNow! (definition). Also Wikidata Q229427

History

2026-11-02: add by m2/dev

Exact algorithm CFM2AYEVVE

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

Mentions

wikipedia: Wikipedia Exact algorithm, Exact algorithm (definition). Also Wikidata Q24963771

History

2026-11-02: add by m2/dev

CFM6NXW5CC CFM6NXW5CC

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

Mentions

arxiv: arXiv 2609.21438#1YUF (example)

History

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

Otto Eckstein CFMAZEWT7R

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#XO9T, Otto Eckstein (unknown)

History

2026-11-02: add by m2/dev

CFMCB4BA34 CFMCB4BA34

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

Mentions

arxiv: arXiv 2609.26496#6OIH (statement)

History

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

Multiplicity-one theorem CFMFSHMWZS

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

Mentions

wikipedia: Wikipedia List of theorems#3YFT, Multiplicity-one theorem (statement)

History

2026-11-02: add by m2/dev

Eisenstein integral CFMJPYF0NA

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

Mentions

wikipedia: Wikipedia Eisenstein integral, Eisenstein integral (definition). Also Wikidata Q5349959

History

2026-11-02: add by m2/dev

Ali S. Hadi CFMMGDRQMX

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#YFTI, Ali S. Hadi (unknown)

History

2026-11-02: add by m2/dev

Extension across the chamber boundary CFMPZ7GHF4

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

Mentions

arxiv: arXiv 2609.38228#3VSW, Extension across the chamber boundary (statement). In 9YAE8FNQST/e1, lemma 31.3

History

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

Kripke weakenings are weakenings CFMVZFNNG6

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

Mentions

arxiv: arXiv 2610.21131#JUIC, Kripke weakenings are weakenings (statement). In CPYWHRTPKC/e1, lemma 7.2

History

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

Bertrand Russell Society CFN02RCRF4

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

Mentions

wikipedia: Wikipedia Bertrand Russell#XP5H, Bertrand Russell Society (unknown)

History

2026-11-02: add by m2/dev

Complex algebraic geometry CFN5FKCNSR

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#DX9M, Complex algebraic geometry (definition)

History

2026-11-02: add by m2/dev

CFN5ZXDCNW CFN5ZXDCNW

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

Mentions

arxiv: arXiv 2610.03864#2CBX (definition). In 41GB65CTBJ/e1, definition 2

History

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

List of laws CFN69DM2ZZ

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

Mentions

wikipedia: Wikipedia List of theorems#HHQ7, List of laws (unknown)

History

2026-11-02: add by m2/dev

CFNM4WYNG3 CFNM4WYNG3

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

Mentions

napkin: napkin tex/alg-geom/zariski.tex#proof-1 (proof). In RZP28ERRZV, proof, section 29.4

History

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

CFNM8X4WM0 CFNM8X4WM0

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

Mentions

arxiv: arXiv 2404.06445#4X9Y (statement). In 12JKZ8EN52/e1, statement 4.4.3

History

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

CFNQZ2QKMB CFNQZ2QKMB

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

Mentions

arxiv: arXiv 2103.08272#YYM2 (statement). In H72E12TYHA/e1, proposition 2.3

History

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

Nonexistent objects CFNWD3DK40

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

Mentions

wikipedia: Wikipedia Nonexistent objects, Nonexistent objects (definition). Also Wikidata Q7371207

History

2026-11-02: add by m2/dev

CFP40PSEHE CFP40PSEHE

URI	`m2://inv/CFP40PSEHE`
Kind	definition
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.16727#QBL2 (definition). In Z5QS3MD8HN/e1, definition 2.3

History

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

group CFP956ABBY

URI	`m2://inv/CFP956ABBY`
Kind	concept
Layer	textbook
Sources	4
Outcome	deferred (the item has the flag informal (WP9.2))
Node	None yet. Write the node.

Mentions

mathlib_overview: mathlib_overview General algebra > Group theory > group, group (unknown). Also Mathlib Group
mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > group, group (unknown). Also Mathlib Group
wikidata: Wikidata Q83478, group (concept). Also EoM Group, LMFDB knowl group, Mathlib Group, MathWorld Group, nLab group
wikipedia: Wikipedia Group (mathematics), Group (definition). Also Wikidata Q83478

History

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

CFPDCRQK7Z CFPDCRQK7Z

URI	`m2://inv/CFPDCRQK7Z`
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.14099#CROS (statement). In D77GXFTKFH/e1, lemma 5

History

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

Homogeneity of the exponential class CFPWCCMFA0

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

Mentions

arxiv: arXiv 2610.19416#KMVV, Homogeneity of the exponential class (statement). In TJVWQ0ZSGY/e1, theorem 2.9

History

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

George Casella CFQ6XQTJ35

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

Mentions

wikipedia: Wikipedia George Casella, George Casella (topic). Also Wikidata Q4410322

History

2026-11-02: add by m2/dev

Michael Francis Atiyah CFQ9N63JXX

URI	`m2://inv/CFQ9N63JXX`
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#400C, Michael Francis Atiyah (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F1BP, Michael Francis Atiyah (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QKSC, Michael Francis Atiyah (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z6EW, Michael Francis Atiyah (topic)
wikipedia: Wikipedia List of string theory topics#RO8D, Michael Francis Atiyah (topic)

History

2026-11-02: add by m2/dev

CFQBNYR78E CFQBNYR78E

URI	`m2://inv/CFQBNYR78E`
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.06340#HTVL (statement). In PKNZPECH82/e1, theorem 10.7

History

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

Rational normal scroll CFQDFCV1A7

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

Mentions

wikipedia: Wikipedia List of surfaces#E4I3, Rational normal scroll (definition)

History

2026-11-02: add by m2/dev

CFQFZBSVJY CFQFZBSVJY

URI	`m2://inv/CFQFZBSVJY`
Kind	example
Layer	research
MSC	18-XX, 49-XX, 51-XX, 52-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 1904.08413#AP3Q (example). In X88HPQ0W8C/e1, example 2.48

History

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

CFQGWYEQEM CFQGWYEQEM

URI	`m2://inv/CFQGWYEQEM`
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 2609.35191#R8LS (statement). In W9Z6S1PDTP/e1, theorem 7.3

History

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

Tarjan's off-line lowest common ancestors algorithm CFQKZV145D

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

Mentions

wikipedia: Wikipedia List of algorithms#J6YC, Tarjan's off-line lowest common ancestors algorithm (definition)

History

2026-11-02: add by m2/dev

Pseudotriangle CFQM934ZB4

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#M3RP, Pseudotriangle (definition)

History

2026-11-02: add by m2/dev

Continuous limit of evolutionary entropy CFQZN28TKD

URI	`m2://inv/CFQZN28TKD`
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.15466#R01W, Continuous limit of evolutionary entropy (statement). In KJ7V6XG4M7/e1, corollary 4

History

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

uniform polyhedra with degenerate CFR08FDNV3

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

Mentions

wikipedia: Wikipedia List of uniform polyhedra#WJW4, uniform polyhedra with degenerate (topic)

History

2026-11-02: add by m2/dev

statfarad CFR1WNEQEA

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

Mentions

wikidata: Wikidata Q25559953, statfarad (definition). Also ProofWiki Definition:Statfarad

History

2026-10-26: add by m2/dev

Elsasser number CFR79HSK7A

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

Mentions

wikipedia: Wikipedia Elsasser number, Elsasser number (definition). Also Wikidata Q3343001

History

2026-11-02: add by m2/dev

Tilted Empirical Risk Minimization CFR7ZE3AF6

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

Mentions

wikipedia: Wikipedia Empirical risk minimization#RT4Q, Tilted Empirical Risk Minimization (unknown)

History

2026-11-02: add by m2/dev

Definitions CFRCPQWNPX

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

Mentions

wikipedia: Wikipedia Spectral clustering#5GIK, Definitions (definition)

History

2026-11-02: add by m2/dev

CFREPBEC7C CFREPBEC7C

URI	`m2://inv/CFREPBEC7C`
Kind	statement
Layer	research
MSC	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.26262#PU9E (statement)

History

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

Hyperbolic metric space CFRERM5B1Y

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

Mentions

wikipedia: Wikipedia Hyperbolic metric space, Hyperbolic metric space (definition). Also Wikidata Q3828581

History

2026-11-02: add by m2/dev

Theorem CFRHVPX1ZF

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

Mentions

wikipedia: Wikipedia Abstract differential equation#5OK5, Theorem (statement)

History

2026-11-02: add by m2/dev

CFRJTXT336 CFRJTXT336

URI	`m2://inv/CFRJTXT336`
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.31555#UQL2 (statement). In 2GC6K487FE/e1, lemma

History

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

CFRM00BC3C CFRM00BC3C

URI	`m2://inv/CFRM00BC3C`
Kind	definition
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 2609.35396#9NX0 (definition). In 51N4SF53EV/e1, definition 2.12

History

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

CFRTBJGT6Z CFRTBJGT6Z

URI	`m2://inv/CFRTBJGT6Z`
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.14435#0M1M (statement). In Y9FSN5BVNQ/e1, corollary 6

History

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

CFRXZYGCG0 CFRXZYGCG0

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

Mentions

arxiv: arXiv 2609.20725#G353 (statement)

History

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

Dirichlet character CFSQEN9YXK

URI	`m2://inv/CFSQEN9YXK`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Dirichlet character 7XB5VJKDPG

Mentions

wikidata: Wikidata Q1063579, Dirichlet character (unknown). Also Mathlib DirichletCharacter, MathWorld DirichletCharacter, nLab Dirichlet character
wikipedia: Wikipedia Dirichlet character, Dirichlet character (definition). Also Wikidata Q1063579

History

2026-10-26: add by m2/dev

CFSYH7HWF1 CFSYH7HWF1

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

Mentions

arxiv: arXiv 2207.07461#UFD0 (statement). In GAG532VMPF/e1, theorem 3.3.3

History

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

Liliana Borcea CFT0104BYJ

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

Mentions

wikipedia: Wikipedia Liliana Borcea, Liliana Borcea (topic). Also Wikidata Q30152991

History

2026-11-02: add by m2/dev

What the full-support mixture preserves CFT4AFE01Z

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

Mentions

arxiv: arXiv 2609.38228#UDL1, What the full-support mixture preserves (statement). In 9YAE8FNQST/e1, proposition 25.1

History

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

CFTBGDT6N5 CFTBGDT6N5

URI	`m2://inv/CFTBGDT6N5`
Kind	statement
Layer	research
MSC	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.27752#JS7A (statement)

History

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

Marcia P. Sward CFTD9MAVKV

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

Mentions

wikipedia: Wikipedia Marcia P. Sward, Marcia P. Sward (topic). Also Wikidata Q6757133

History

2026-11-02: add by m2/dev

CFTMXWX32Q CFTMXWX32Q

URI	`m2://inv/CFTMXWX32Q`
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 2301.04933#PMCW (statement). In Q70CTMCJTP/e1, theorem 4.15

History

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

Najib Idrissi CFTMZ0WV5K

URI	`m2://inv/CFTMZ0WV5K`
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 Q60322733, Najib Idrissi (unknown). Also nLab Najib Idrissi

History

2026-10-26: add by m2/dev

Negative base CFTQYB4J9S

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

Mentions

wikipedia: Wikipedia List of numeral system topics#5CSF, Negative base (definition)

History

2026-11-02: add by m2/dev

Properties CFTWY6RMPK

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

Mentions

wikipedia: Wikipedia Graph power#2ECI, Properties (statement)

History

2026-11-02: add by m2/dev

orbit category CFTYR1GBFA

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#W6ZU, orbit category (definition)

History

2026-11-02: add by m2/dev

Single-factor authentication CFV3J97Q36

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

Mentions

wikipedia: Wikipedia Authentication#NKUE, Single-factor authentication (unknown)

History

2026-11-02: add by m2/dev

Morgan Ward CFVAY5XSKV

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

Mentions

wikipedia: Wikipedia Morgan Ward, Morgan Ward (topic). Also Wikidata Q10644153

History

2026-11-02: add by m2/dev

CFVEGDRRSA CFVEGDRRSA

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-21 (exercise). In E59CDZA4DP, exercise, section 2.2.4

History

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

V. G. Drinfeld CFVGDDECTE

URI	`m2://inv/CFVGDDECTE`
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#DBKW, V. G. Drinfeld (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TE5L, V. G. Drinfeld (topic)

History

2026-11-02: add by m2/dev

Theorem CFW7B37ZS0

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

Mentions

wikipedia: Wikipedia Hilbert's fourth problem#AOAS, Theorem (statement)

History

2026-11-02: add by m2/dev

Gelfand representation CFW7JYE2S5

URI	`m2://inv/CFW7JYE2S5`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Gelfand transform VWNSHKJT92

Mentions

wikidata: Wikidata Q1499675, Gelfand representation (statement). Also MathWorld GelfandTransform
wikipedia: Wikipedia Gelfand representation, Gelfand representation (definition). Also Wikidata Q1499675

History

2026-10-26: add by m2/dev

CFW8VTAZ2G CFW8VTAZ2G

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

Mentions

arxiv: arXiv 2609.20568#QD5R (statement)

History

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

CFWDCN5TW9 CFWDCN5TW9

URI	`m2://inv/CFWDCN5TW9`
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.03288#7CRB (statement). In ZHP1MFSACN/e1, theorem 1.5

History

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

CFWG7XY9QG CFWG7XY9QG

URI	`m2://inv/CFWG7XY9QG`
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.35421#WH40 (statement). In KE8B8KMDJJ/e1, theorem 0.2

History

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

CFWMB9C4M8 CFWMB9C4M8

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

Mentions

arxiv: arXiv 2609.25038#TKAF (statement)

History

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

CFWMPPKBPA CFWMPPKBPA

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

Mentions

arxiv: arXiv 2609.24614#QJVP (statement)

History

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

François Français CFWWY7WH5C

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

Mentions

wikipedia: Wikipedia François Français, François Français (topic). Also Wikidata Q1451036

History

2026-11-02: add by m2/dev

Venn diagram CFWXGE6ZG8

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

Mentions

wikipedia: Wikipedia List of graphical methods#BVQZ, Venn diagram (definition)
wikipedia: Wikipedia List of Boolean algebra topics#YQVY, Venn diagram (definition)

History

2026-11-02: add by m2/dev

Tile tracking CFX0NZRAQA

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

Mentions

wikipedia: Wikipedia Tile tracking, Tile tracking (definition). Also Wikidata Q7802118

History

2026-11-02: add by m2/dev

Conjecture of the sum of sociable number cycles CFX61RSGZW

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

Mentions

wikipedia: Wikipedia Sociable number#65K9, Conjecture of the sum of sociable number cycles (statement)

History

2026-11-02: add by m2/dev

Applications CFXCQFRMSW

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

Mentions

wikipedia: Wikipedia Item tree analysis#PUIK, Applications (example)

History

2026-11-02: add by m2/dev

CFXF68M2M7 CFXF68M2M7

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

Mentions

arxiv: arXiv 2610.14458#V847 (definition). In WJ76MVYAZQ/e1, definition 3.14

History

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

Consequence of amplitude estimation CFXFDQHC55

URI	`m2://inv/CFXFDQHC55`
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 2609.27103#FSSQ, Consequence of amplitude estimation (statement)

History

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

Virginia Newell CFXH8KH44V

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

Mentions

wikipedia: Wikipedia Virginia Newell, Virginia Newell (topic). Also Wikidata Q108737023

History

2026-11-02: add by m2/dev

CFXYBAGEZJ CFXYBAGEZJ

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

Mentions

arxiv: arXiv 2609.23341#EWGJ (statement)

History

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

Prescribed facet normals and support parameters CFY0A9Y6RB

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

Mentions

arxiv: arXiv 2609.21670#NU7D, Prescribed facet normals and support parameters (definition)

History

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

Ramanujan Museum CFY53MRPNB

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

Mentions

wikipedia: Wikipedia Ramanujan Institute for Advanced Study in Mathematics#PI0M, Ramanujan Museum (unknown)

History

2026-11-02: add by m2/dev

CFY9T6K544 CFY9T6K544

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

Mentions

arxiv: arXiv 2609.35030#0PCL (statement). In DPT4P2BTEW/e1, lemma 9.5

History

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

CFYC5XMMCM CFYC5XMMCM

URI	`m2://inv/CFYC5XMMCM`
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.11487#ZSAI (statement). In 8S0K3Y25HM/e1, lemma 4.2

History

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

Extensions CFYGQ2W55K

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

Mentions

wikipedia: Wikipedia Probabilistic latent semantic analysis#HKI4, Extensions (statement)

History

2026-11-02: add by m2/dev

Nested intervals theorem CFYHR9JWSX

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

Mentions

wikipedia: Wikipedia Completeness of the real numbers#KULO, Nested intervals theorem (statement)

History

2026-11-02: add by m2/dev

compound interest CFYNJE31EH

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

Mentions

wikidata: Wikidata Q959606, compound interest (unknown). Also MathWorld CompoundInterest
wikipedia: Wikipedia Compound interest, Compound interest (definition). Also Wikidata Q959606

History

2026-10-26: add by m2/dev

CFYXCWN8GQ CFYXCWN8GQ

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

Mentions

arxiv: arXiv 2609.23145#NS6Y (statement)

History

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

Profile decomposition CFYYBPE854

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

Mentions

arxiv: arXiv 2609.22927#3YE2, Profile decomposition (statement)

History

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

Compositional data CFYYMDTV3J

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

Mentions

wikipedia: Wikipedia Compositional data, Compositional data (definition). Also Wikidata Q5156808

History

2026-11-02: add by m2/dev

CFZ3C18HY0 CFZ3C18HY0

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

Mentions

arxiv: arXiv 2610.09678#DXO1 (statement). In 9VG7PNZHZT/e1, lemma 5.8

History

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

Geometric fixed point criterion CFZ65FBM2D

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

Mentions

arxiv: arXiv 2610.21675#MURF, Geometric fixed point criterion (statement). In TB1294GY5X/e1, theorem 1.18

History

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

Lexis ratio CFZ7M995FC

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

Mentions

wikipedia: Wikipedia List of statistics articles#CRSF, Lexis ratio (definition)

History

2026-11-02: add by m2/dev

CFZC6XK07G CFZC6XK07G

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

Mentions

austin_ula: austin_ula src/exercises/exercises5-2.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 5.2

History

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

CFZFKTMGBV CFZFKTMGBV

URI	`m2://inv/CFZFKTMGBV`
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.17267#BCYS (statement). In 5VWB4A47R5/e1, proposition 5.2

History

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

CFZGV02FD6 CFZGV02FD6

URI	`m2://inv/CFZGV02FD6`
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#LDJL (statement). In NC5ZRF6F8N/e1, proposition 3.3

History

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

CFZHNTQSMK CFZHNTQSMK

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

Mentions

arxiv: arXiv 2610.19990#CIIN (statement). In DAXT16CPTW/e1, lemma 3.1

History

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

Properties CFZNFRNWCG

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

Mentions

wikipedia: Wikipedia Signal Protocol#WO9K, Properties (statement)

History

2026-11-02: add by m2/dev

CFZVC940VZ CFZVC940VZ

URI	`m2://inv/CFZVC940VZ`
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 2609.26337#RFTA (example)

History

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

Definition CFZW1SY09M

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

Mentions

wikipedia: Wikipedia Communication complexity#6ZX7, Definition (definition)

History

2026-11-02: add by m2/dev