Inventory rows BY

Whole-sequence convergence of the primal iterates BY0072AKXT

URI	`m2://inv/BY0072AKXT`
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.28306#90P2, Whole-sequence convergence of the primal iterates (statement)

History

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

BY02S70BF7 BY02S70BF7

URI	`m2://inv/BY02S70BF7`
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.23558#IY92 (statement)

History

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

Chemical equilibrium BY044S3AGP

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

Mentions

wikipedia: Wikipedia Chemical equilibrium, Chemical equilibrium (object). Also Wikidata Q189520

History

2026-11-02: add by m2/dev

BY08PPRXP6 BY08PPRXP6

URI	`m2://inv/BY08PPRXP6`
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.35950#85UU (statement). In BZN1G5W5FX/e1, theorem 6.1

History

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

Contraction BY0G4BYMXX

URI	`m2://inv/BY0G4BYMXX`
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.06653#JJDZ, Contraction (statement). In 9D2N76AJAT/e1, theorem 3.2

History

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

Definition BY0HQESGT6

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

Mentions

wikipedia: Wikipedia Ewens's sampling formula#ZM04, Definition (definition)

History

2026-11-02: add by m2/dev

j-invariant BY0KNMQCGY

URI	`m2://inv/BY0KNMQCGY`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	j-invariant FEC2XH822R

Mentions

wikidata: Wikidata Q287419, j-invariant (concept). Also MathWorld j-Function, nLab j-invariant
wikipedia: Wikipedia J-invariant, J-invariant (definition). Also Wikidata Q287419

History

2026-10-26: add by m2/dev

Properties BY0N28A7WQ

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

Mentions

wikipedia: Wikipedia Total variation distance of probability measures#TU2D, Properties (statement)

History

2026-11-02: add by m2/dev

BY0NMZSS5S BY0NMZSS5S

URI	`m2://inv/BY0NMZSS5S`
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.21305#YAIP (statement)

History

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

BY0V8K5H67 BY0V8K5H67

URI	`m2://inv/BY0V8K5H67`
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 2602.03058#EZNU (statement). In XQ0ZXH8KAC/e1, lemma 14

History

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

BY16KMZC7G BY16KMZC7G

URI	`m2://inv/BY16KMZC7G`
Kind	definition
Layer	research
MSC	03-XX, 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.04870#MGT2 (definition). In X765ZXXVC3/e1, definition 2.13

History

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

Congruence coefficient BY17Z5AKT3

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

Mentions

wikipedia: Wikipedia Congruence coefficient, Congruence coefficient (definition). Also Wikidata Q5160994

History

2026-11-02: add by m2/dev

Examples BY1B6XTSH5

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

Mentions

wikipedia: Wikipedia Clopen set#RX5F, Examples (example)

History

2026-11-02: add by m2/dev

Higher descent BY1NBV0GVX

URI	`m2://inv/BY1NBV0GVX`
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 2609.27799#MA59, Higher descent (statement)

History

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

Introduction to Algorithms BY1QH35R19

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

Mentions

wikipedia: Wikipedia List of mathematics books#MQJ1, Introduction to Algorithms (unknown)

History

2026-11-02: add by m2/dev

Virtual work BY238XS4QJ

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

Mentions

wikipedia: Wikipedia Virtual work, Virtual work (definition). Also Wikidata Q1144923

History

2026-11-02: add by m2/dev

Noam Nisan BY290BYTZY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#7ES9, Noam Nisan (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y1OF, Noam Nisan (unknown)

History

2026-11-02: add by m2/dev

convenient vector space BY2958FHNK

URI	`m2://inv/BY2958FHNK`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Convenient vector space 46MSX1FXZT

Mentions

wikidata: Wikidata Q25303670, convenient vector space (unknown). Also nLab convenient vector space
wikipedia: Wikipedia Convenient vector space, Convenient vector space (definition). Also Wikidata Q25303670

History

2026-10-26: add by m2/dev

BY29TNGGTF BY29TNGGTF

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

Mentions

arxiv: arXiv 2610.12295#U4YA (statement). In 6DZPR52HRP/e1, theorem 6.7

History

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

BY2BCJJ2WK BY2BCJJ2WK

URI	`m2://inv/BY2BCJJ2WK`
Kind	definition
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.37562#IJ0X (definition). In PYY8DFK2JS/e1, definition A.3

History

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

Riemann–Hilbert problem BY2BM3S5W0

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

Mentions

wikipedia: Wikipedia Riemann–Hilbert problem, Riemann–Hilbert problem (problem). Also Wikidata Q5986515

History

2026-11-02: add by m2/dev

Applications BY2E643Y06

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

Mentions

wikipedia: Wikipedia LOBPCG#WC5C, Applications (example)

History

2026-11-02: add by m2/dev

BY2KDWCNJD BY2KDWCNJD

URI	`m2://inv/BY2KDWCNJD`
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.23327#EK1V (statement)

History

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

BY2R22YEGY BY2R22YEGY

URI	`m2://inv/BY2R22YEGY`
Kind	definition
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 2610.21080#XG7B (definition). In DGE917KQSQ/e1, definition 4.1

History

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

Connection with the abc conjecture and non-Wieferich primes BY2W43N2GK

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

Mentions

wikipedia: Wikipedia Wieferich prime#UHDH, Connection with the abc conjecture and non-Wieferich primes (statement)

History

2026-11-02: add by m2/dev

BY30JJ4NSZ BY30JJ4NSZ

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

Mentions

arxiv: arXiv 2609.31523#TL1Y (statement). In 2BET1RE1F6/e1, theorem 4.3

History

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

Kathrin Bringmann BY311V7EAR

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

Mentions

wikipedia: Wikipedia Kathrin Bringmann, Kathrin Bringmann (topic). Also Wikidata Q106616

History

2026-11-02: add by m2/dev

John Pullinger BY32FX13RK

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

Mentions

wikipedia: Wikipedia List of presidents of the Royal Statistical Society#RW8Q, John Pullinger (unknown)

History

2026-11-02: add by m2/dev

The paradox BY34VPGNAB

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

Mentions

wikipedia: Wikipedia Hilbert's paradox of the Grand Hotel#J2NN, The paradox (statement)

History

2026-11-02: add by m2/dev

BY3DD8ZJ14 BY3DD8ZJ14

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

Mentions

open_logic: open_logic content/intuitionistic-logic/soundness-completeness/decidability.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 33.4

History

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

BY3FVA9FR4 BY3FVA9FR4

URI	`m2://inv/BY3FVA9FR4`
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.33557#EI00 (statement). In 95YZVAPGJA/e1, theorem 7.1

History

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

Constructions BY3FXH093W

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

Mentions

wikipedia: Wikipedia Preorder#NZK1, Constructions (definition)

History

2026-11-02: add by m2/dev

$q$ Preserves Substitution Equivalence BY3G5XS3KJ

URI	`m2://inv/BY3G5XS3KJ`
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#YOP2, $q$ Preserves Substitution Equivalence (statement). In CPYWHRTPKC/e1, lemma 4.12

History

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

BY3N2CD7TB BY3N2CD7TB

URI	`m2://inv/BY3N2CD7TB`
Kind	definition
Layer	research
MSC	11-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.13347#INMU (definition). In Z6QS82DPHE/e1, definition Definition

History

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

Agresti–Coull interval BY3TC5QE74

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

Mentions

wikipedia: Wikipedia Binomial proportion confidence interval#2OEL, Agresti–Coull interval (unknown)

History

2026-11-02: add by m2/dev

Residual bound from sampled slopes BY3VE58G9R

URI	`m2://inv/BY3VE58G9R`
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.20539#KU1Z, Residual bound from sampled slopes (statement). In 94KNW375B9/e1, lemma 1

History

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

Mitchell, Wesley Clair BY3WDE0XY8

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

Mentions

wikipedia: Wikipedia List of statisticians#QS2F, Mitchell, Wesley Clair (unknown)

History

2026-11-02: add by m2/dev

BY408A74DY BY408A74DY

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

Mentions

austin_ula: austin_ula src/section2-5.xml#activity-1 (exercise). In 649HGZKE96, activity, section 2.5.2

History

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

Bayes-risk preservation under symmetrization BY44NSG17C

URI	`m2://inv/BY44NSG17C`
Kind	statement
Layer	research
MSC	62-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.29348#117B, Bayes-risk preservation under symmetrization (statement)

History

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

null-class BY51NH42RA

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#GCS2, null-class (definition)

History

2026-11-02: add by m2/dev

Effective field theory BY53QAK1F0

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#N2KS, Effective field theory (unknown)

History

2026-11-02: add by m2/dev

BY5ANNZATT BY5ANNZATT

URI	`m2://inv/BY5ANNZATT`
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.21692#PWCO (statement). In CT4N0JGDP4/e1, lemma 4.3

History

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

Monotonicity of $w$ and $\xi$ BY5HKGB1BD

URI	`m2://inv/BY5HKGB1BD`
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.20609#S1BV, Monotonicity of $w$ and $\xi$ (statement)

History

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

Rich BY5NDYD3R7

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

Mentions

arxiv: arXiv 2609.22560#G559, Rich (statement)

History

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

BY5WXG18SY BY5WXG18SY

URI	`m2://inv/BY5WXG18SY`
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 2609.33651#1OKK (statement). In 69DBD2HKGK/e1, corollary 7.1

History

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

BY5X70E2JM BY5X70E2JM

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CompleteInduction.tex#proof-1 (proof). In P1C114YBXG, proof, section 1

History

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

BY5XT2GH9A BY5XT2GH9A

URI	`m2://inv/BY5XT2GH9A`
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 2104.00162#UEB5 (statement). In HVGT9D84WV/e1, proposition 3.4

History

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

BY615SGHPX BY615SGHPX

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

Mentions

arxiv: arXiv 2610.09300#BOZA (problem). In JP589KS01S/e1, problem 3.9

History

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

BY65MP2ATS BY65MP2ATS

URI	`m2://inv/BY65MP2ATS`
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.37901#ONGM (statement). In 363WNMSDMA/e1, lemma 8

History

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

Spirangle BY6789C74S

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

Mentions

wikipedia: Wikipedia Spirangle, Spirangle (definition). Also Wikidata Q7577786

History

2026-11-02: add by m2/dev

Mixed mirror theorem BY6EZHQ2GG

URI	`m2://inv/BY6EZHQ2GG`
Kind	statement
Layer	research
MSC	14-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.10828#OT8A, Mixed mirror theorem (statement). In 8PTDFHV8SQ/e1, theorem 6.6

History

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

Friedlander-Iwaniec, 1985 BY6G0QFX7G

URI	`m2://inv/BY6G0QFX7G`
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.35950#2QFA, Friedlander-Iwaniec, 1985 (statement). In BZN1G5W5FX/e1, theorem 6.3

History

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

BY6GNYGAHS BY6GNYGAHS

URI	`m2://inv/BY6GNYGAHS`
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 2610.14692#OVMV (definition). In NE5EH5FXRV/e1, definition 4.5

History

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

BY6JMXNXNN BY6JMXNXNN

URI	`m2://inv/BY6JMXNXNN`
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.18017#3AYI (statement). In EBSQEQYECS/e1, theorem 0.9

History

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

BY6PMPYMC2 BY6PMPYMC2

URI	`m2://inv/BY6PMPYMC2`
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.21895#6ROG (statement)

History

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

Cyclic quadrilateral BY74FWKJ5X

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#BOJV, Cyclic quadrilateral (definition)

History

2026-11-02: add by m2/dev

Colored nerve BY7C8KPPM3

URI	`m2://inv/BY7C8KPPM3`
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.11143#TIM3, Colored nerve (statement). In 9CS15SV662/e1, lemma 4.2

History

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

Cauchy's theorem BY7GAKG0AJ

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

Mentions

wikipedia: Wikipedia List of theorems#WLE5, Cauchy's theorem (statement)

History

2026-11-02: add by m2/dev

BY82DV7P3V BY82DV7P3V

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

Mentions

napkin: napkin tex/linalg/dets.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 56.3

History

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

BY82V86M3N BY82V86M3N

URI	`m2://inv/BY82V86M3N`
Kind	statement
Layer	research
MSC	05-XX, 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 2610.16114#MX8G (statement). In JZZ3FJ382R/e1, lemma 5.5

History

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

BY8J871XMB BY8J871XMB

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

Mentions

arxiv: arXiv 2206.05392#CYT0 (example). In 58D1ZC82DW/e1, example 39

History

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

Geometry processing BY8QHQRE7Y

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

Mentions

wikipedia: Wikipedia Geometry processing, Geometry processing (definition). Also Wikidata Q5535529

History

2026-11-02: add by m2/dev

BY8V94PHYG BY8V94PHYG

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

History

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

Dirichlet L-function BY9424DVW0

URI	`m2://inv/BY9424DVW0`
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#69P0, Dirichlet L-function (definition)

History

2026-11-02: add by m2/dev

BY95NCV54T BY95NCV54T

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

Mentions

arxiv: arXiv 2610.15525#S0YN (statement). In EFDRME13PT/e1, theorem 10.1

History

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

R. M. Wilson BY9C209E9R

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

Mentions

wikipedia: Wikipedia R. M. Wilson, R. M. Wilson (topic). Also Wikidata Q767570

History

2026-11-02: add by m2/dev

Precise statement BY9CY58Y8E

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

Mentions

wikipedia: Wikipedia Discontinuities of monotone functions#N666, Precise statement (statement)

History

2026-11-02: add by m2/dev

Examples BY9K5EVX3N

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

Mentions

wikipedia: Wikipedia Ray class field#WUYK, Examples (example)

History

2026-11-02: add by m2/dev

Domination analysis BY9SKGMWTG

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

Mentions

wikipedia: Wikipedia Domination analysis, Domination analysis (definition). Also Wikidata Q5290322

History

2026-11-02: add by m2/dev

Halting problem BYA0DN7ZRB

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/halting-problem.tex#defn-2, Halting problem (definition). In PKGMM3P5QY, defn, section 86.7

History

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

BYA4Z9Q0NJ BYA4Z9Q0NJ

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/introduction.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 50.4

History

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

BYA5H7CCAH BYA5H7CCAH

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

Mentions

arxiv: arXiv 2406.01036#VUO9 (statement). In 6VX2G6RTH7/e1, proposition 4.2

History

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

Paramartha BYA5NN1K8E

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

Mentions

wikipedia: Wikipedia Paramartha (Chinese monk), Paramartha (topic). Also Wikidata Q979653

History

2026-11-02: add by m2/dev

Herbrand's Theorem BYA87GAP7T

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

Mentions

open_logic: open_logic content/proof-theory/cut-elimination/midsequent.tex#thm-1, Herbrand's Theorem (statement). In PKGMM3P5QY, thm, section 57.3

History

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

Inverse transform sampling method BYACTEP6Q7

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

Mentions

wikipedia: Wikipedia List of probability topics#SNNT, Inverse transform sampling method (definition)

History

2026-11-02: add by m2/dev

Meta-interpreters in Prolog BYAFQ5WVG0

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

Mentions

wikipedia: Wikipedia Prolog#XFPZ, Meta-interpreters in Prolog (unknown)

History

2026-11-02: add by m2/dev

Definition BYAGMHBR00

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

Mentions

wikipedia: Wikipedia Learning with errors#3FT4, Definition (definition)

History

2026-11-02: add by m2/dev

Chern-Gauss-Bonnet theorem BYAN5GJENB

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

Mentions

wikipedia: Wikipedia Atiyah–Singer index theorem#1XE4, Chern-Gauss-Bonnet theorem (statement)

History

2026-11-02: add by m2/dev

BYAPJDSPSM BYAPJDSPSM

URI	`m2://inv/BYAPJDSPSM`
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.09578#FK84 (statement). In WT0ZB7R39B/e1, proposition 2.6

History

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

BYASEYXQKC BYASEYXQKC

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

History

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

Von Neumann conjecture BYATPYA3FY

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

Mentions

wikipedia: Wikipedia List of functional analysis topics#M9QC, Von Neumann conjecture (statement)
wikipedia: Wikipedia List of conjectures#DVHR, Von Neumann conjecture (statement)

History

2026-11-02: add by m2/dev

BYAW19PTG9 BYAW19PTG9

URI	`m2://inv/BYAW19PTG9`
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#Y4Q7 (statement). In ZF0Z61VQ96/e1, proposition 2.2

History

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

Solving functional equations BYAWESNE62

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

Mentions

wikipedia: Wikipedia Functional equation#XAVV, Solving functional equations (unknown)

History

2026-11-02: add by m2/dev

BYBA6QWZBV BYBA6QWZBV

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

Mentions

arxiv: arXiv 2610.15344#V289 (statement). In B9EX6K51RD/e1, proposition 3.6

History

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

BYBCNVT6QT BYBCNVT6QT

URI	`m2://inv/BYBCNVT6QT`
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 2101.07846#2PFX (statement). In 9XTXH6H1N7/e1, lemma 4

History

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

local BYBCX1WYDX

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

Mentions

wikipedia: Wikipedia Glossary of set theory#H5PT, local (definition)

History

2026-11-02: add by m2/dev

BYBGFW3SYG BYBGFW3SYG

URI	`m2://inv/BYBGFW3SYG`
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.06466#D7AZ (statement). In 6W451V3N75/e1, theorem 4.1

History

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

Hobbesian trap BYBK1B0Y7A

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

Mentions

wikipedia: Wikipedia Hobbesian trap, Hobbesian trap (definition). Also Wikidata Q10263552

History

2026-11-02: add by m2/dev

Finite Stone--von Neumann theorem BYBK51YN4Y

URI	`m2://inv/BYBK51YN4Y`
Kind	statement
Layer	research
MSC	20-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.06699#4QMX, Finite Stone--von Neumann theorem (statement). In GXHKRV5BPY/e1, fact 3.9

History

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

BYBKGRMD5A BYBKGRMD5A

URI	`m2://inv/BYBKGRMD5A`
Kind	statement
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#LU98 (statement). In EZ6PAF0MXH/e1, corollary 3.5

History

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

BYC2Z69M9N BYC2Z69M9N

URI	`m2://inv/BYC2Z69M9N`
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#VNC8 (statement). In FT5TKY10T8/e1, proposition 4.2

History

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

Schmidt–Kalman filter BYCE7CTKX9

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

Mentions

wikipedia: Wikipedia Schmidt–Kalman filter, Schmidt–Kalman filter (definition). Also Wikidata Q7431819

History

2026-11-02: add by m2/dev

BYCESTMKRC BYCESTMKRC

URI	`m2://inv/BYCESTMKRC`
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 2207.12181#GX57 (statement). In FSD8NE3XSR/e1, proposition 5.2

History

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

BYCFBPZCQZ BYCFBPZCQZ

URI	`m2://inv/BYCFBPZCQZ`
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.30663#OD1S (statement). In 3JZDKWS8NK/e1, lemma 8.5

History

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

BYCPQSZHKZ BYCPQSZHKZ

URI	`m2://inv/BYCPQSZHKZ`
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 2609.40017#SCSK (statement). In MBHJA0HT06/e1, theorem 2.1

History

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

Ramanujam–Samuel theorem BYCXCH8EXN

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

Mentions

wikipedia: Wikipedia Ramanujam–Samuel theorem, Ramanujam–Samuel theorem (statement). Also Wikidata Q7288991

History

2026-11-02: add by m2/dev

Uniform invertibility of the Newton transfer function BYD5Q2P2VP

URI	`m2://inv/BYD5Q2P2VP`
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.03242#3HPI, Uniform invertibility of the Newton transfer function (statement). In MJE6HRC6PX/e1, theorem 5.3

History

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

BYD82Y323T BYD82Y323T

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

Mentions

arxiv: arXiv 2610.07092#ZAIH (statement). In JWNYJVH8XG/e1, corollary 4.19

History

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

Superstring theory BYD99N7YXV

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

Mentions

wikipedia: Wikipedia Superstring theory, Superstring theory (topic). Also Wikidata Q1437042

History

2026-11-02: add by m2/dev

BYDA095Z6A BYDA095Z6A

URI	`m2://inv/BYDA095Z6A`
Kind	statement
Layer	research
MSC	26-XX, 51-XX, 52-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.21768#ADZ3 (statement). In VD53W58DS1/e1, lemma 5.6

History

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

BYDAPT5ZA4 BYDAPT5ZA4

URI	`m2://inv/BYDAPT5ZA4`
Kind	conjecture
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.24878#A6EK (conjecture)

History

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

Elek BYDAVW5JR8

URI	`m2://inv/BYDAVW5JR8`
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 2610.00364#6SZT, Elek (definition). In ANR3DHYQPQ/e1, definition

History

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

recursively enumerable set BYDFWX4N9Y

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

Mentions

wikipedia: Wikipedia Glossary of set theory#M4ZB, recursively enumerable set (definition)

History

2026-11-02: add by m2/dev

electricity BYDJF5G2B4

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

Mentions

wikidata: Wikidata Q12725, electricity (definition). Also ProofWiki Definition:Electricity

History

2026-10-26: add by m2/dev

Argumentum ad populum BYDJVKGG3Z

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

Mentions

wikipedia: Wikipedia Argumentum ad populum, Argumentum ad populum (definition). Also Wikidata Q251695

History

2026-11-02: add by m2/dev

BYDMFJYHAC BYDMFJYHAC

URI	`m2://inv/BYDMFJYHAC`
Kind	statement
Layer	research
MSC	20-XX, 22-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 math/0512416#SL1O (statement). In WJD9YPGGYH/e1, lemma 8.4

History

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

Bruno de Finetti BYDW1T9WXH

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

Mentions

wikipedia: Wikipedia List of actuaries#OFRV, Bruno de Finetti (topic)

History

2026-11-02: add by m2/dev

Relatively compact BYDWT7S24X

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

Mentions

wikipedia: Wikipedia Glossary of general topology#9H9O, Relatively compact (definition)

History

2026-11-02: add by m2/dev

Properties BYDYJ9C6QS

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

Mentions

wikipedia: Wikipedia Power sum symmetric polynomial#AXM3, Properties (statement)

History

2026-11-02: add by m2/dev

Definitions BYDYSS4MSS

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

Mentions

wikipedia: Wikipedia Jacobson radical#MJAG, Definitions (definition)

History

2026-11-02: add by m2/dev

BYE3XHSF7H BYE3XHSF7H

URI	`m2://inv/BYE3XHSF7H`
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 2312.14445#I01I (statement). In V56MKF0KW2/e1, theorem C.2

History

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

BYE4B6W5WS BYE4B6W5WS

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

Mentions

arxiv: arXiv 2609.25000#UJNS (statement)

History

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

BYEBS4CY4G BYEBS4CY4G

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

Mentions

arxiv: arXiv 2610.01251#L99F (statement). In CZ2247RGQ4/e1, theorem 3.2.1

History

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

Catalan numbers BYEJDYYJYT

URI	`m2://inv/BYEJDYYJYT`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Catalan numbers 092DRBFKMG

Mentions

mathlib_overview: mathlib_overview Combinatorics > Enumerative combinatorics > Catalan numbers, Catalan numbers (unknown). Also Mathlib catalan

History

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

BYERJJ6E23 BYERJJ6E23

URI	`m2://inv/BYERJJ6E23`
Kind	statement
Layer	research
MSC	05-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.15535#6M6Y (statement). In 73A9KWZJRD/e1, theorem 4.1

History

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

BYEWH0VCRX BYEWH0VCRX

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

Mentions

open_logic: open_logic content/normal-modal-logic/filtrations/finite.tex#prop:filt-are-finite (statement). In PKGMM3P5QY, prop, section 52.1

History

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

Substitution model BYF2MDS09H

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

Mentions

wikipedia: Wikipedia List of statistics articles#O0OD, Substitution model (definition)

History

2026-11-02: add by m2/dev

Simple form of Holmgren's theorem BYF3V4M3QN

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

Mentions

wikipedia: Wikipedia Holmgren's uniqueness theorem#YTN5, Simple form of Holmgren's theorem (statement)

History

2026-11-02: add by m2/dev

Numerical error BYF44ZEGJJ

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#8KGF, Numerical error (definition)

History

2026-11-02: add by m2/dev

Elementary abelian group BYF62J5J94

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

Mentions

wikipedia: Wikipedia Elementary abelian group, Elementary abelian group (definition). Also Wikidata Q1017231

History

2026-11-02: add by m2/dev

Definition BYF6HCR4E8

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

Mentions

wikipedia: Wikipedia Fibonacci cube#ZWWX, Definition (definition)

History

2026-11-02: add by m2/dev

BYF906RY2C BYF906RY2C

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

Mentions

arxiv: arXiv 2610.06419#AAZB (statement). In JSZRXT3W3E/e1, corollary 3.4

History

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

Freiling's axiom of symmetry BYFCT6N868

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

Mentions

wikipedia: Wikipedia Freiling's axiom of symmetry, Freiling's axiom of symmetry (statement). Also Wikidata Q2276975

History

2026-11-02: add by m2/dev

Leonida Tonelli BYFPKGQBWE

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#HF3M, Leonida Tonelli (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3OJ2, Leonida Tonelli (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VORG, Leonida Tonelli (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XU6Q, Leonida Tonelli (topic)

History

2026-11-02: add by m2/dev

Wilhelm Vauck BYFW7BKXJG

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

Mentions

wikipedia: Wikipedia List of German mathematicians#KSGQ, Wilhelm Vauck (topic)

History

2026-11-02: add by m2/dev

Lexicographic breadth-first search BYG8PS8QKF

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

Mentions

wikipedia: Wikipedia List of algorithms#T9PT, Lexicographic breadth-first search (unknown)

History

2026-11-02: add by m2/dev

Ruth Etzioni BYGD7PDK61

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

Mentions

wikipedia: Wikipedia Ruth Etzioni, Ruth Etzioni (topic). Also Wikidata Q95601788

History

2026-11-02: add by m2/dev

Sequential weighted Doob inequality BYGFNCGJYN

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

Mentions

arxiv: arXiv 2609.20531#ILUP, Sequential weighted Doob inequality (statement)

History

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

BYGJRXD2TT BYGJRXD2TT

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

Mentions

open_logic: open_logic content/computability/recursive-functions/examples.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 3.20

History

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

MLC conjecture BYGM0PYW08

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

Mentions

wikipedia: Wikipedia Mandelbrot set#7RUK, MLC conjecture (unknown)

History

2026-11-02: add by m2/dev

Second moment of $H_3^{(\alpha)}$ BYGM2Q41FN

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

Mentions

arxiv: arXiv 2610.00453#G9J1, Second moment of $H_3^{(\alpha)}$ (statement). In ESPJMBH2R2/e1, theorem 5.4

History

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

BYHMGG85CQ BYHMGG85CQ

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

Mentions

arxiv: arXiv 2610.16339#1YWD (statement). In ER5EH4W919/e1, lemma 9.5

History

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

BYHS41DB4T BYHS41DB4T

URI	`m2://inv/BYHS41DB4T`
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 2610.17863#XIX3 (statement). In Y8XQT02BBF/e1, theorem 1.2

History

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

BYHTNMBVB9 BYHTNMBVB9

URI	`m2://inv/BYHTNMBVB9`
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.03341#2O11 (statement). In 3G1H5ASBVE/e1, theorem 4

History

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

Victor Miller BYJ3507PET

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

Mentions

wikipedia: Wikipedia List of cryptographers#CYE6, Victor Miller (unknown)

History

2026-11-02: add by m2/dev

Cramér–Wold theorem BYJ39PPFMQ

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

Mentions

wikipedia: Wikipedia List of theorems#GXTG, Cramér–Wold theorem (statement)

History

2026-11-02: add by m2/dev

great icosidodecahedron BYJ6S68TRD

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

Mentions

wikidata: Wikidata Q3101027, great icosidodecahedron (unknown). Also MathWorld GreatIcosidodecahedron
wikipedia: Wikipedia Great icosidodecahedron, Great icosidodecahedron (object). Also Wikidata Q3101027

History

2026-10-26: add by m2/dev

Properties BYJ8R627B7

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

Mentions

wikipedia: Wikipedia Moreau envelope#61CU, Properties (statement)

History

2026-11-02: add by m2/dev

BYJA551TVV BYJA551TVV

URI	`m2://inv/BYJA551TVV`
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 2609.40214#KF7A (statement). In XD603HRHKC/e1, proposition C.1

History

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

Definition BYJBKAPV6Q

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

Mentions

wikipedia: Wikipedia Rotation number#FQAD, Definition (definition)

History

2026-11-02: add by m2/dev

Data Presentation Architecture BYJJ1AFF3P

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

Mentions

wikipedia: Wikipedia Data and information visualization#0Z3N, Data Presentation Architecture (unknown)

History

2026-11-02: add by m2/dev

BYJYJZ3B5A BYJYJZ3B5A

URI	`m2://inv/BYJYJZ3B5A`
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 2311.01874#FQPI (definition). In A4TR95VGX2/e1, definition 5.1.1

History

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

dodecagonal number BYJYVZ1FPN

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

Mentions

wikidata: Wikidata Q1081248, dodecagonal number (object). Also OEIS A051624
wikipedia: Wikipedia Dodecagonal number, Dodecagonal number (definition). Also Wikidata Q1081248

History

2026-10-26: add by m2/dev

BYK1AK4DFA BYK1AK4DFA

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

Mentions

arxiv: arXiv 2609.29537#IU4Q (statement)

History

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

BYK89JZTV9 BYK89JZTV9

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 5.1

History

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

BYKAS4Y4WA BYKAS4Y4WA

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

Mentions

arxiv: arXiv 2609.26479#9P48 (statement)

History

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

SegWit2x BYKFW0GQPR

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

Mentions

wikipedia: Wikipedia Bitcoin scalability#UGX8, SegWit2x (unknown)

History

2026-11-02: add by m2/dev

BYKRY0QZ02 BYKRY0QZ02

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

Mentions

arxiv: arXiv 2310.13621#6A82 (statement). In DG0EZ1BPV5/e1, theorem 3.3

History

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

Experimental design arguments on the likelihood principle BYKT0PXQH0

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

Mentions

wikipedia: Wikipedia Likelihood principle#ZZLU, Experimental design arguments on the likelihood principle (statement)

History

2026-11-02: add by m2/dev

Poisson geometry BYKWATYP40

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#35BE, Poisson geometry (definition)

History

2026-11-02: add by m2/dev

BYKX41TYRV BYKX41TYRV

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

Mentions

arxiv: arXiv 2610.19470#04UK (statement). In Y24F6WTV90/e1, theorem 3.1

History

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

BYM3WRPWY9 BYM3WRPWY9

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

Mentions

arxiv: arXiv 2508.17181#FUSJ (statement). In 2QR18WK8KH/e1, lemma 4

History

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

ρ BYMEHK9J8B

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

Mentions

wikipedia: Wikipedia Glossary of set theory#ASV4, ρ (definition)

History

2026-11-02: add by m2/dev

In relation to the identity matrix BYMH0KY0KV

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

Mentions

wikipedia: Wikipedia Invertible matrix#B4R8, In relation to the identity matrix (statement)

History

2026-11-02: add by m2/dev

Frances A. Rosamond BYMMW2ZVZV

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

Mentions

wikipedia: Wikipedia Frances A. Rosamond, Frances A. Rosamond (topic). Also Wikidata Q11594

History

2026-11-02: add by m2/dev

Barbara Trader Faires BYMQJGSQN2

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

Mentions

wikipedia: Wikipedia Barbara Trader Faires, Barbara Trader Faires (topic). Also Wikidata Q59522650

History

2026-11-02: add by m2/dev

BYMT575MMH BYMT575MMH

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

Mentions

arxiv: arXiv 2609.20153#MSWZ (statement)

History

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

XML BYMVFBHEVQ

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

Mentions

wikipedia: Wikipedia List of interactive geometry software#20EI, XML (unknown)

History

2026-11-02: add by m2/dev

BYMW8QCEB4 BYMW8QCEB4

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

Mentions

arxiv: arXiv 2609.36377#DC1E (statement). In M98F6VRPZ2/e1, theorem 2.3

History

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

BYN769DAKT BYN769DAKT

URI	`m2://inv/BYN769DAKT`
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#TC3T (statement). In TB1294GY5X/e1, theorem 4.6

History

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

Curvature of a measure BYNAVR7BFH

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

Mentions

wikipedia: Wikipedia Curvature of a measure, Curvature of a measure (definition). Also Wikidata Q5196055

History

2026-11-02: add by m2/dev

BYNE5VKXFC BYNE5VKXFC

URI	`m2://inv/BYNE5VKXFC`
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 2501.17276#488L (statement). In EWKHA675JY/e1, lemma 4.1

History

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

BYNPZED6D4 BYNPZED6D4

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

Mentions

arxiv: arXiv 2609.29304#8RT5 (example)

History

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

BYNQQX5BXE BYNQQX5BXE

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

Mentions

arxiv: arXiv 2610.01932#797C (statement). In XDKWW6NR0K/e1, theorem 7.12

History

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

BYNR831DYA BYNR831DYA

URI	`m2://inv/BYNR831DYA`
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.07790#DRLB (statement). In A5YJDDM0NX/e1, lemma 2.5

History

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

Weight-transfer certificates BYNRM2N8K4

URI	`m2://inv/BYNRM2N8K4`
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.33360#B59U, Weight-transfer certificates (statement). In GH6FSDK4YB/e1, lemma A.1

History

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

BYNSSXRGXW BYNSSXRGXW

URI	`m2://inv/BYNSSXRGXW`
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.02570#6AXR (statement). In 6JK30RQ1SX/e1, lemma 3.3

History

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

BYP5CNAWD3 BYP5CNAWD3

URI	`m2://inv/BYP5CNAWD3`
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.19273#4U4Q (statement). In T3BY4TXYT4/e1, corollary 5.2

History

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

Mehtaab Sawhney BYPB7TYZSX

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

Mentions

wikipedia: Wikipedia Mehtaab Sawhney, Mehtaab Sawhney (topic). Also Wikidata Q139899299

History

2026-11-02: add by m2/dev

Example BYPCG8NWF5

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

Mentions

wikipedia: Wikipedia Linear subspace#WSV4, Example (example)

History

2026-11-02: add by m2/dev

Julena Steinheider Duncombe BYPKXABEQM

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

Mentions

wikipedia: Wikipedia Julena Steinheider Duncombe, Julena Steinheider Duncombe (topic). Also Wikidata Q25408247

History

2026-11-02: add by m2/dev

Odd-orthogonal hard-edge tail BYPSK6B23V

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

Mentions

arxiv: arXiv 2609.27962#G7HS, Odd-orthogonal hard-edge tail (statement)

History

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

Pointwise order BYPZ5VKG12

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

Mentions

wikipedia: Wikipedia List of order theory topics#SF7V, Pointwise order (definition)

History

2026-11-02: add by m2/dev

Bidirectional search BYPZW3RGJY

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

Mentions

wikipedia: Wikipedia Bidirectional search, Bidirectional search (definition). Also Wikidata Q59750

History

2026-11-02: add by m2/dev

BYQ7QD21R4 BYQ7QD21R4

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-26 (exercise). In E9HS8K3A52, exercise, section 10.2.6

History

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

Clustering illusion BYQ9YXMWR4

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

Mentions

wikipedia: Wikipedia Clustering illusion, Clustering illusion (definition). Also Wikidata Q178647

History

2026-11-02: add by m2/dev

Compatible Riesz pair BYQCDGYS2D

URI	`m2://inv/BYQCDGYS2D`
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.14906#I7Q7, Compatible Riesz pair (definition). In 1F8ENX770M/e1, definition 2.4

History

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

Sierpinski triangle BYQEH949N7

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

Mentions

wikipedia: Wikipedia List of triangle topics#JZDN, Sierpinski triangle (definition)
wikipedia: Wikipedia List of mathematical shapes#OJG7, Sierpinski triangle (definition)

History

2026-11-02: add by m2/dev

W. Dale Brownawell BYQGH358P8

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

Mentions

wikipedia: Wikipedia W. Dale Brownawell, W. Dale Brownawell (topic). Also Wikidata Q18921484

History

2026-11-02: add by m2/dev

Ian Goulden BYQKB42S3D

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#9TWU, Ian Goulden (topic)

History

2026-11-02: add by m2/dev

BYQKW4F3QX BYQKW4F3QX

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-45 (exercise). In E9HS8K3A52, exercise, section 2.4.3

History

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

Examples BYQQZ3NMQP

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

Mentions

wikipedia: Wikipedia Closure with a twist#KXI7, Examples (example)

History

2026-11-02: add by m2/dev

Alexander Molev BYQWFGYD9Q

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

Mentions

wikipedia: Wikipedia Alexander Molev, Alexander Molev (topic). Also Wikidata Q4719673

History

2026-11-02: add by m2/dev

BYQZXM376P BYQZXM376P

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

Mentions

napkin: napkin tex/alg-NT/finite-field.tex#proof-4 (proof). In RZP28ERRZV, proof, section 12.3

History

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

An application BYR0FCWA54

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

Mentions

wikipedia: Wikipedia Mingarelli identity#UZUO, An application (example)

History

2026-11-02: add by m2/dev

Leyland number BYR2D9ZAVP

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

Mentions

wikidata: Wikidata Q2661866, Leyland number (object). Also OEIS A076980
wikipedia: Wikipedia Leyland number, Leyland number (definition). Also Wikidata Q2661866

History

2026-10-26: add by m2/dev

Examples BYR69YWY46

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

Mentions

wikipedia: Wikipedia Power-bounded element#JZEV, Examples (example)

History

2026-11-02: add by m2/dev

family of sets BYR967D0KY

URI	`m2://inv/BYR967D0KY`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Family of sets 05Q6G4EH2G

Mentions

wikidata: Wikidata Q739925, family of sets (definition). Also nLab family of sets, ProofWiki Definition:Set_of_Sets
wikipedia: Wikipedia Family of sets, Family of sets (definition). Also Wikidata Q739925

History

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

BYRCQFF3SX BYRCQFF3SX

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

Mentions

arxiv: arXiv 2609.20522#F36X (definition)

History

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

Max August Zorn BYRDJXFK7D

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#O4GN, Max August Zorn (topic)

History

2026-11-02: add by m2/dev

Intuitive statistics BYRE35WZBM

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

Mentions

wikipedia: Wikipedia Intuitive statistics, Intuitive statistics (definition). Also Wikidata Q55614586

History

2026-11-02: add by m2/dev

BYRGW0TE39 BYRGW0TE39

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

Mentions

arxiv: arXiv 2610.06529#THY9 (statement). In JFQY4CYHKP/e1, corollary 2.6

History

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

BYRHZ4Z3Z6 BYRHZ4Z3Z6

URI	`m2://inv/BYRHZ4Z3Z6`
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.08581#460W (statement). In VCSPPW15BE/e1, proposition 4.1

History

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

Laurence Baxter BYRKM4NHQG

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

Mentions

wikipedia: Wikipedia Laurence Baxter, Laurence Baxter (topic). Also Wikidata Q6500472

History

2026-11-02: add by m2/dev

Corollary BYRQ8PFCS1

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

Mentions

wikipedia: Wikipedia Łojasiewicz inequality#6KLY, Corollary (statement)

History

2026-11-02: add by m2/dev

BYRTXSSPAG BYRTXSSPAG

URI	`m2://inv/BYRTXSSPAG`
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.03071#DYKZ (statement). In Z2M4D55R57/e1, theorem

History

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

Integral representation of the smoothed relative error BYS32KKK13

URI	`m2://inv/BYS32KKK13`
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.08231#GIPV, Integral representation of the smoothed relative error (statement). In 6X46RJWA5S/e1, proposition 1

History

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

Resolution BYS3N2CCCD

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

Mentions

wikipedia: Wikipedia Resolution (algebra), Resolution (definition). Also Wikidata Q2112483

History

2026-11-02: add by m2/dev

BYSG0MD0D1 BYSG0MD0D1

URI	`m2://inv/BYSG0MD0D1`
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.13137#LFPX (statement). In NH77XVB03X/e1, lemma 3.2

History

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

BYSHN93YM7 BYSHN93YM7

URI	`m2://inv/BYSHN93YM7`
Kind	statement
Layer	research
MSC	35-XX, 37-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.17139#PDS5 (statement). In AQWX60Z563/e1, proposition 4.18

History

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

Continuity BYSQ1QTFH2

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

Mentions

wikipedia: Wikipedia Bitopological space#0S89, Continuity (statement)

History

2026-11-02: add by m2/dev

Columnar transposition BYSV1NE4BH

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

Mentions

wikipedia: Wikipedia Transposition cipher#F4Y4, Columnar transposition (unknown)

History

2026-11-02: add by m2/dev

Example BYSZCYYP73

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

Mentions

wikipedia: Wikipedia Adaptive step size#QUD5, Example (example)

History

2026-11-02: add by m2/dev

Procedures BYT3PKFD17

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

Mentions

wikipedia: Wikipedia Proportional cake-cutting#UPIW, Procedures (definition)

History

2026-11-02: add by m2/dev

BYTN0KG1ST BYTN0KG1ST

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

Mentions

napkin: napkin tex/topology/metric-prop.tex#example-2 (example). In RZP28ERRZV, example, section 99.1

History

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

BYV0AK9XY2 BYV0AK9XY2

URI	`m2://inv/BYV0AK9XY2`
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.37589#ETR4 (statement). In 18HVB2SKW1/e1, corollary 5.6

History

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

BYV5PXJWH2 BYV5PXJWH2

URI	`m2://inv/BYV5PXJWH2`
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.27687#IDC8 (statement)

History

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

Danielle Carr Ramdath BYV6DP2PG4

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

Mentions

wikipedia: Wikipedia Danielle Carr Ramdath, Danielle Carr Ramdath (topic). Also Wikidata Q23540788

History

2026-11-02: add by m2/dev

Effective Polish space BYV8J1STJN

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

Mentions

wikipedia: Wikipedia Effective Polish space, Effective Polish space (definition). Also Wikidata Q5347243

History

2026-11-02: add by m2/dev

BYVA9XNKX3 BYVA9XNKX3

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

Mentions

napkin: napkin tex/alg-geom/localization.tex#proof-3 (proof). In RZP28ERRZV, proof, section 21.6

History

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

monoid object BYVF9CVQHQ

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

Mentions

wikipedia: Wikipedia Glossary of category theory#OO8X, monoid object (definition)

History

2026-11-02: add by m2/dev

5149 Leibniz BYVGSHW6VB

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

Mentions

wikipedia: Wikipedia List of things named after Gottfried Leibniz#1YT3, 5149 Leibniz (unknown)

History

2026-11-02: add by m2/dev

BYVKF3VT3A BYVKF3VT3A

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

Mentions

arxiv: arXiv 2610.11545#PZPW (statement). In VN084GGZGK/e1, lemma 4.13

History

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

BYVNB6G92P BYVNB6G92P

URI	`m2://inv/BYVNB6G92P`
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.19283#UYS3 (statement). In 28BAGZRCKG/e1, theorem 6.3

History

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

Definitions BYVZY3YAN4

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

Mentions

wikipedia: Wikipedia Geodetic coordinates#GT98, Definitions (definition)

History

2026-11-02: add by m2/dev

BYW5AZSVP0 BYW5AZSVP0

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

Mentions

arxiv: arXiv 2610.10600#0JO9 (definition). In V7WT21EDPM/e1, definition 2.1

History

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

Growth of $U$ BYW8FZ6NZE

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

History

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

BYW9K33MCE BYW9K33MCE

URI	`m2://inv/BYW9K33MCE`
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 1902.04230#EARJ (statement). In 22JZ68FGCW/e1, proposition 6.30

History

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

Antonio Maria Lorgna BYW9YM06Q4

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#F8CS, Antonio Maria Lorgna (topic)

History

2026-11-02: add by m2/dev

Almost-sure consistency of the SPIDER estimator BYWHQ80EV6

URI	`m2://inv/BYWHQ80EV6`
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.18428#W64E, Almost-sure consistency of the SPIDER estimator (statement). In 6BGSQT7SV8/e1, theorem 4.1

History

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

BYX3J1HAMJ BYX3J1HAMJ

URI	`m2://inv/BYX3J1HAMJ`
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.17589#UJLA (definition). In GSTK4569X1/e1, definition 3.4

History

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

Corrected discrete critical threshold BYXFQ0FV1R

URI	`m2://inv/BYXFQ0FV1R`
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#4S7C, Corrected discrete critical threshold (statement). In KJ7V6XG4M7/e1, theorem 9

History

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

The Crest of the Peacock BYXGT98E21

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

Mentions

wikipedia: Wikipedia The Crest of the Peacock, The Crest of the Peacock (definition). Also Wikidata Q24964553

History

2026-11-02: add by m2/dev

BYXZBZKYR7 BYXZBZKYR7

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 4.4

History

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

BYYAC6HCXX BYYAC6HCXX

URI	`m2://inv/BYYAC6HCXX`
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 2312.01517#1A07 (statement). In 1H6HQSMYJW/e1, proposition 2

History

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

Daniela Calvetti BYYD1BERE5

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

Mentions

wikipedia: Wikipedia Daniela Calvetti, Daniela Calvetti (topic). Also Wikidata Q63865093

History

2026-11-02: add by m2/dev

BYYJS2RAFF BYYJS2RAFF

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

Mentions

arxiv: arXiv 2609.37520#3PB3 (definition). In BDN507RN7J/e1, definition 3.1.8

History

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

BYYNSNF1CV BYYNSNF1CV

URI	`m2://inv/BYYNSNF1CV`
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.33766#XLC0 (statement). In VGKK4M68EK/e1, theorem 1.2

History

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

BYYPCMTWFY BYYPCMTWFY

URI	`m2://inv/BYYPCMTWFY`
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.15352#KLYI (statement). In R39P7AFXM8/e1, lemma 4.3

History

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

BYYRCYSHX2 BYYRCYSHX2

URI	`m2://inv/BYYRCYSHX2`
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.16883#1TV5 (statement). In TYS9N30M63/e1, lemma A.4

History

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

BYZ93FDVV3 BYZ93FDVV3

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

Mentions

arxiv: arXiv 2610.16475#LA6H (problem). In FM9SKN560Q/e1, problem 5.6

History

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

Arc-length method BYZ9BK4YS2

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

Mentions

wikipedia: Wikipedia Arc-length method, Arc-length method (definition). Also Wikidata Q141445984

History

2026-11-02: add by m2/dev

calendar system BYZ9NBT790

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

Mentions

wikidata: Wikidata Q12132, calendar system (definition). Also ProofWiki Definition:Calendar

History

2026-10-26: add by m2/dev

BYZ9W2BC5X BYZ9W2BC5X

URI	`m2://inv/BYZ9W2BC5X`
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.15405#N98K (statement). In 9QCYCXVF5W/e1, lemma 2.5

History

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

pigeon hole principle, generalized BYZHHJ218J

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

Mentions

applied_combinatorics: applied_combinatorics index/5.4.2/pigeon-hole-principle-generalized, pigeon hole principle, generalized (concept). In QKM9DD2H56, index, section 5.4.2

History

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

BYZMK4K8GY BYZMK4K8GY

URI	`m2://inv/BYZMK4K8GY`
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.12329#W4F7 (statement). In ZJQB9W60T6/e1, theorem 5.19

History

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

BYZMNDWZED BYZMNDWZED

URI	`m2://inv/BYZMNDWZED`
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 2610.20207#43L5 (statement). In 1MPH7GCFJ2/e1, lemma 6.2

History

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

Martin Kruskal BYZN6CV124

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#R955, Martin Kruskal (unknown)

History

2026-11-02: add by m2/dev

snake lemma BYZNM1784G

URI	`m2://inv/BYZNM1784G`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Snake lemma Q8AYGD93CW

Mentions

wikidata: Wikidata Q1064342, snake lemma (statement). Also MathWorld SnakeLemma, nLab snake lemma, ProofWiki Snake_Lemma
wikipedia: Wikipedia Snake lemma, Snake lemma (statement). Also Wikidata Q1064342

History

2026-10-26: add by m2/dev

BYZXVV522E BYZXVV522E

URI	`m2://inv/BYZXVV522E`
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.03555#2CTD (statement). In 9JZJTRRVR1/e1, lemma 6.1

History

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