Inventory rows 88

Forecast skill 8803VTKFY1

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

Mentions

wikipedia: Wikipedia Forecast skill, Forecast skill (definition). Also Wikidata Q5468164

History

2026-11-02: add by m2/dev

Weakening Preserves Typing 880923E1YY

URI	`m2://inv/880923E1YY`
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#4YK3, Weakening Preserves Typing (statement). In CPYWHRTPKC/e1, lemma 4.1

History

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

880DB15XE1 880DB15XE1

URI	`m2://inv/880DB15XE1`
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#I6FU (statement)

History

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

Uniform boundedness conjecture for rational points 880EDYC2DE

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#XQ83, Uniform boundedness conjecture for rational points (statement)

History

2026-11-02: add by m2/dev

880JTJFHPK 880JTJFHPK

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

Mentions

open_logic: open_logic content/methods/induction/induction-on-N.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 43.1

History

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

Laplacian Flow Characterization of ERP 880KEM4YB9

URI	`m2://inv/880KEM4YB9`
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.34154#Z097, Laplacian Flow Characterization of ERP (statement). In VPET0W9RFS/e1, proposition 3.6

History

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

880M0905BG 880M0905BG

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

Mentions

arxiv: arXiv 2609.11301#GL86 (statement). In YH1W5A0JTS/e1, lemma 4.1

History

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

exact category 880M0RGJSP

URI	`m2://inv/880M0RGJSP`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Exact category TFADSC9YPZ

Mentions

wikidata: Wikidata Q5419218, exact category (unknown). Also nLab exact category
wikipedia: Wikipedia Exact category, Exact category (definition). Also Wikidata Q5419218

History

2026-10-26: add by m2/dev

880MK2BE8Q 880MK2BE8Q

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

Mentions

wikipedia: Wikipedia Difference set#PEPI (problem)

History

2026-11-02: add by m2/dev

Fast Fourier transform 880RN961FH

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

Mentions

wikipedia: Wikipedia List of statistics articles#CU6P, Fast Fourier transform (definition)
wikipedia: Wikipedia List of algorithm general topics#3ZOK, Fast Fourier transform (definition)
wikipedia: Wikipedia List of Fourier analysis topics#AQJ4, Fast Fourier transform (definition)

History

2026-11-02: add by m2/dev

Tom Graber 880ZWQH6P3

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8KSZ, Tom Graber (unknown)

History

2026-11-02: add by m2/dev

8815SS2G1Z 8815SS2G1Z

URI	`m2://inv/8815SS2G1Z`
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.08357#9VSK (statement). In R9GRCAWHG0/e1, lemma 3.2

History

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

permutation group of a type 8816QZGZ90

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

Mentions

mathlib_overview: mathlib_overview General algebra > Group theory > permutation group of a type, permutation group of a type (unknown). Also Mathlib Equiv.Perm
mathlib_undergrad: mathlib_undergrad Group Theory > Permutation group > permutation group of a type, permutation group of a type (unknown). Also Mathlib Equiv.Perm

History

2026-10-26: add by m2/dev

Properties 8819H6B5ZT

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

Mentions

wikipedia: Wikipedia Carmichael number#ATWI, Properties (statement)

History

2026-11-02: add by m2/dev

881HJCNZ4J 881HJCNZ4J

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

Mentions

arxiv: arXiv 2609.23872#EIKK (definition)

History

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

881J7MCKH4 881J7MCKH4

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

Mentions

arxiv: arXiv 2609.31445#0SZF (statement). In 7V2PVZS04C/e1, theorem 5.13

History

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

Agreement limit 881KAJFA3Z

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

Mentions

wikipedia: Wikipedia Inter-rater reliability#KXC4, Agreement limit (unknown)

History

2026-11-02: add by m2/dev

Definition 881XGVAE0B

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

Mentions

wikipedia: Wikipedia Overlapping interval topology#QPA6, Definition (definition)

History

2026-11-02: add by m2/dev

Maximal fluctuation estimate on regular sets 881YKEJHY0

URI	`m2://inv/881YKEJHY0`
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#QK84, Maximal fluctuation estimate on regular sets (statement). In VFV3FFB7Q7/e1, theorem 1

History

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

88233QJ0NM 88233QJ0NM

URI	`m2://inv/88233QJ0NM`
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.14236#38MS (statement). In XEQD21EBTT/e1, theorem 6.2

History

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

882829Z6ZB 882829Z6ZB

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#mv:prop:lineintrepararam (statement). In E59CDZA4DP, prop, section 6.2.3

History

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

882AW17S89 882AW17S89

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

Mentions

arxiv: arXiv 2610.10930#KSEJ (example). In HX63A1PH1W/e1, example 7.23

History

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

Risk compensation 882CAS9AWP

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

Mentions

wikipedia: Wikipedia List of cognitive biases#TVZU, Risk compensation (unknown)

History

2026-11-02: add by m2/dev

Simon's problem 882CV9S88D

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

Mentions

wikipedia: Wikipedia List of algorithms#LSLQ, Simon's problem (unknown)

History

2026-11-02: add by m2/dev

Binet's Fibonacci number formula 882DFRVY44

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

Mentions

wikipedia: Wikipedia Jacques Philippe Marie Binet#KUB1, Binet's Fibonacci number formula (statement)

History

2026-11-02: add by m2/dev

882RA7M45T 882RA7M45T

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

Mentions

arxiv: arXiv 2209.00811#YAGS (statement). In 9T4X83HHQS/e1, theorem 4.4

History

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

882RJEWEM9 882RJEWEM9

URI	`m2://inv/882RJEWEM9`
Kind	statement
Layer	research
MSC	16-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.03746#CPXM (statement). In 4E1D0NS89S/e1, theorem 4.1

History

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

882TT3DMTF 882TT3DMTF

URI	`m2://inv/882TT3DMTF`
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.23128#8SY4 (statement)

History

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

882Z9BQS8G 882Z9BQS8G

URI	`m2://inv/882Z9BQS8G`
Kind	example
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 2508.07340#HTNA (example). In 2HSB99DW4M/e1, example 7.6

History

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

Cauchy's mean value theorem 8838NY5TZE

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

Mentions

lebl_ra: lebl_ra ch-der.tex#thm:cauchymvt, Cauchy's mean value theorem (statement). In E59CDZA4DP, thm, section 3.2.3

History

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

The counterexample 883ADPS0P8

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

Mentions

wikipedia: Wikipedia Tait's conjecture#AWCX, The counterexample (counterexample)

History

2026-11-02: add by m2/dev

Gravity model of trade 883DNJWDDR

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

Mentions

wikipedia: Wikipedia List of statistics articles#4J3M, Gravity model of trade (definition)

History

2026-11-02: add by m2/dev

Population of Nanjing in December of 1937 883JZ14R56

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

Mentions

wikipedia: Wikipedia Population of Nanjing in December of 1937, Population of Nanjing in December of 1937 (definition). Also Wikidata Q22082183

History

2026-11-02: add by m2/dev

883T5QC146 883T5QC146

URI	`m2://inv/883T5QC146`
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 2106.11898#V0SZ (statement). In KXXV5X8AG4/e1, proposition 3.8

History

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

883YF2A8Z9 883YF2A8Z9

URI	`m2://inv/883YF2A8Z9`
Kind	example
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.27518#O4MQ (example)

History

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

8847ZX6H00 8847ZX6H00

URI	`m2://inv/8847ZX6H00`
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.06381#LMTN (statement). In X9JKBDHACW/e1, lemma 8.2

History

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

Frobenius's theorem (group theory) 88488F3BZ9

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

Mentions

wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#ZXFL, Frobenius's theorem (group theory) (statement)

History

2026-11-02: add by m2/dev

Local exactness at $\mathbf x^\ast$ 8848CCMT9Z

URI	`m2://inv/8848CCMT9Z`
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.30173#GHWM, Local exactness at $\mathbf x^\ast$ (statement)

History

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

8849RVTJCC 8849RVTJCC

URI	`m2://inv/8849RVTJCC`
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.21399#BTS4 (statement)

History

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

Subordination theorem 884ACV0NXK

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

Mentions

wikipedia: Wikipedia Littlewood subordination theorem#X3IT, Subordination theorem (statement)

History

2026-11-02: add by m2/dev

Statement 884F7YKPVH

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

Mentions

wikipedia: Wikipedia Tannery's theorem#AZIO, Statement (statement)

History

2026-11-02: add by m2/dev

Pre-math skills 884FRCW297

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

Mentions

wikipedia: Wikipedia Mathematics education#9MYO, Pre-math skills (unknown)

History

2026-11-02: add by m2/dev

Fisher's noncentral hypergeometric distribution 884QFX3DYY

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

Mentions

wikipedia: Wikipedia Fisher's noncentral hypergeometric distribution, Fisher's noncentral hypergeometric distribution (definition). Also Wikidata Q5454741

History

2026-11-02: add by m2/dev

Applications 884QYTXP7K

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

Mentions

wikipedia: Wikipedia Canadian traveller problem#3P7H, Applications (example)

History

2026-11-02: add by m2/dev

884SFQSF56 884SFQSF56

URI	`m2://inv/884SFQSF56`
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.10902#743R (statement). In 96T1K6C3NZ/e1, proposition 9

History

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

884Y9JG7ZQ 884Y9JG7ZQ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-19 (exercise). In Y91XFCEVHQ, exercise, section 2.7

History

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

Weak and strong normality along a step-line 8859TPTS1T

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

Mentions

arxiv: arXiv 2609.26066#P946, Weak and strong normality along a step-line (definition)

History

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

Laws 885C8FME1T

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

Mentions

wikipedia: Wikipedia Boolean algebra#D0O1, Laws (statement)

History

2026-11-02: add by m2/dev

Frank Morgan 885MBA7KWG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#W124, Frank Morgan (topic)

History

2026-11-02: add by m2/dev

Normal section 885WHWRGNQ

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

Mentions

wikipedia: Wikipedia Normal plane (geometry)#TQ0D, Normal section (unknown)

History

2026-11-02: add by m2/dev

Inclusion–exclusion principle 885Y0XN1B1

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

Mentions

wikipedia: Wikipedia List of probability topics#EBS9, Inclusion–exclusion principle (statement)

History

2026-11-02: add by m2/dev

88632Q0A4C 88632Q0A4C

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

Mentions

arxiv: arXiv 1912.02769#RXCJ (definition). In JH7VQ2EC16/e1, definition 2.5

History

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

8866DGEC7P 8866DGEC7P

URI	`m2://inv/8866DGEC7P`
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.28251#L4PG (statement)

History

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

8867AQES93 8867AQES93

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_multinom.ptx#example-1 (example). In QKM9DD2H56, example, section 2.7

History

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

Todorov surface 886FA6AC4B

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

Mentions

wikipedia: Wikipedia Todorov surface, Todorov surface (definition). Also Wikidata Q30704534

History

2026-11-02: add by m2/dev

886QAFRS0R 886QAFRS0R

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

Mentions

hott_book: hott_book hits.tex#ex:suspS1 (exercise). In N54F33XE07, ex, section 5.13

History

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

886YF9DAP6 886YF9DAP6

URI	`m2://inv/886YF9DAP6`
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 2212.05398#FFB8 (statement). In WQKQ8438M7/e1, theorem 5.2

History

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

Formalization of algorithms 88767FDBSZ

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

Mentions

wikipedia: Wikipedia Algorithm#YO0Z, Formalization of algorithms (unknown)

History

2026-11-02: add by m2/dev

887B3B6YXS 887B3B6YXS

URI	`m2://inv/887B3B6YXS`
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.00789#JW0Z (statement). In 4WPYBTARS2/e1, proposition 2.35

History

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

Calderón-Zygmund kernel 887F5CM99H

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

Mentions

wikipedia: Wikipedia Singular integral#U3W8, Calderón-Zygmund kernel (unknown)

History

2026-11-02: add by m2/dev

887KRQ5RQE 887KRQ5RQE

URI	`m2://inv/887KRQ5RQE`
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 2404.18690#VLGV (statement). In MDCJJJRQ2X/e1, lemma 2.1

History

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

Example 887MDQ5B5P

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

Mentions

wikipedia: Wikipedia Complex torus#H5QM, Example (example)

History

2026-11-02: add by m2/dev

887NZ6X57J 887NZ6X57J

URI	`m2://inv/887NZ6X57J`
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 2211.16099#SGBM (statement). In 91RRFW0K5D/e1, proposition 30

History

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

Nuel Belnap 887S20VYEC

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

Mentions

wikipedia: Wikipedia List of logicians#C66P, Nuel Belnap (topic)

History

2026-11-02: add by m2/dev

Ackermann ordinal 887VDJFSKN

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

Mentions

wikipedia: Wikipedia Ackermann ordinal, Ackermann ordinal (definition). Also Wikidata Q4674253

History

2026-11-02: add by m2/dev

Principles of MPC 887ZJ02GQK

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

Mentions

wikipedia: Wikipedia Model predictive control#T62A, Principles of MPC (statement)

History

2026-11-02: add by m2/dev

888551SCZA 888551SCZA

URI	`m2://inv/888551SCZA`
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.22344#5S5J (statement)

History

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

Cochran's theorem 888BYZKJDY

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

Mentions

wikipedia: Wikipedia Chi-squared distribution#2P43, Cochran's theorem (statement)

History

2026-11-02: add by m2/dev

The original quadrature 888N84K6W9

URI	`m2://inv/888N84K6W9`
Kind	conjecture
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.21733#2J1S, The original quadrature (conjecture)

History

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

888RVH1RW5 888RVH1RW5

URI	`m2://inv/888RVH1RW5`
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.16875#3999 (statement). In KS30K5JXGB/e1, theorem

History

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

Theorem 888WDG1N8B

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

Mentions

wikipedia: Wikipedia Nonstandard analysis#7Q2F, Theorem (statement)

History

2026-11-02: add by m2/dev

Formal definition 8892V2M7H8

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

Mentions

wikipedia: Wikipedia Orbital stability#901N, Formal definition (definition)

History

2026-11-02: add by m2/dev

Stone–Weierstrass theorem 8896VH69P6

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#POBL, Stone–Weierstrass theorem (definition)

History

2026-11-02: add by m2/dev

889A9G0RSZ 889A9G0RSZ

URI	`m2://inv/889A9G0RSZ`
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 2204.01073#86MP (statement). In W4TYN4PGE8/e1, lemma 3.7

History

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

889FY6V8Y8 889FY6V8Y8

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

Mentions

arxiv: arXiv 2609.30200#8B49 (statement)

History

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

889HQBZFNJ 889HQBZFNJ

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

Mentions

arxiv: arXiv 2609.32233#B7CI (statement). In V42PPD7SWH/e1, lemma 7.4

History

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

Michael Golomb 889MP9WVZS

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

Mentions

wikipedia: Wikipedia Michael Golomb, Michael Golomb (topic). Also Wikidata Q6830669

History

2026-11-02: add by m2/dev

Mixed block moments 889PENPY6R

URI	`m2://inv/889PENPY6R`
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.02531#LCQ4, Mixed block moments (statement). In 44EQ0MZE8G/e1, lemma 3.2

History

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

product of vector spaces 889YSB2XEX

URI	`m2://inv/889YSB2XEX`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Product of vector spaces 0EX2HPXPJ6

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > product of vector spaces, product of vector spaces (unknown). Also Mathlib Prod.instModule

History

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

renormalization 88A3TB4CQE

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

Mentions

wikidata: Wikidata Q1047702, renormalization (unknown). Also nLab renormalization
wikipedia: Wikipedia Renormalization, Renormalization (definition). Also Wikidata Q1047702

History

2026-10-26: add by m2/dev

Prop. 2.2 and Lem. 4.5 88AD3ZX6HY

URI	`m2://inv/88AD3ZX6HY`
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.23768#CBTA, Prop. 2.2 and Lem. 4.5 (statement)

History

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

88AJ2WKVPK 88AJ2WKVPK

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

Mentions

arxiv: arXiv 2501.17850#W3TJ (statement). In WS5KWBEG5Q/e1, lemma 9

History

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

Algorithm 88APVTW5JA

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

Mentions

wikipedia: Wikipedia Argon2#TIMF, Algorithm (definition)

History

2026-11-02: add by m2/dev

Applications 88ASNTFHK0

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

Mentions

wikipedia: Wikipedia Finite field#SAS6, Applications (example)

History

2026-11-02: add by m2/dev

Green's identities 88AVEBGMD3

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

Mentions

wikipedia: Wikipedia List of multivariable calculus topics#1ELW, Green's identities (definition)

History

2026-11-02: add by m2/dev

General definition 88AVG3AZSF

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

Mentions

wikipedia: Wikipedia Young measure#6BC8, General definition (definition)

History

2026-11-02: add by m2/dev

88BA5DXNPM 88BA5DXNPM

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

Mentions

arxiv: arXiv 2609.37313#2KZQ (statement). In Z1F6SXQ6XW/e1, corollary 1.3

History

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

88BEFQERV4 88BEFQERV4

URI	`m2://inv/88BEFQERV4`
Kind	statement
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#BD1D (statement). In 5KR3MHYVV6/e1, proposition 6.4

History

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

88BJZJQ896 88BJZJQ896

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

Mentions

arxiv: arXiv 2609.25094#9Y7A (problem)

History

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

88CDVAZDGN 88CDVAZDGN

URI	`m2://inv/88CDVAZDGN`
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.05506#S8LV (statement). In FT53PMB1TE/e1, lemma 5.2.2

History

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

Craig B. Gentry 88CFZMRMH6

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2BPN, Craig B. Gentry (unknown)

History

2026-11-02: add by m2/dev

88CV36FHA6 88CV36FHA6

URI	`m2://inv/88CV36FHA6`
Kind	definition
Layer	research
MSC	03-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.31352#8CPM (definition). In SQZGKRDVBX/e1, definition 2.9

History

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

88D3JAMDDC 88D3JAMDDC

URI	`m2://inv/88D3JAMDDC`
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 2607.20739#S9H1 (statement). In XFZJZS3GB1/e1, lemma 4

History

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

Robert Shapiro 88DDG46DZ4

URI	`m2://inv/88DDG46DZ4`
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#KUPV, Robert Shapiro (unknown)

History

2026-11-02: add by m2/dev

88DGT6JBHG 88DGT6JBHG

URI	`m2://inv/88DGT6JBHG`
Kind	statement
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 2610.00843#9S9C (statement). In 1K7M5TD0M2/e1, lemma 2.2

History

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

88DNR02MSX 88DNR02MSX

URI	`m2://inv/88DNR02MSX`
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 2610.14837#7UBN (statement). In J4P6HXMJCH/e1, proposition 4.5

History

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

88DSJDMA1E 88DSJDMA1E

URI	`m2://inv/88DSJDMA1E`
Kind	statement
Layer	research
MSC	53-XX, 57-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.17045#1LBK (statement). In PA6JQDSKQT/e1, proposition 7.2

History

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

computation rule, propositional, for univalence 88DSWRVEF1

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

Mentions

hott_book: hott_book index/1.10/computation-rule-propositional-for-univalence, computation rule, propositional, for univalence (concept). In N54F33XE07, index, section 1.10

History

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

Boyle's law 88DX51XC6K

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

Mentions

wikipedia: Wikipedia Boyle's law, Boyle's law (statement). Also Wikidata Q175974

History

2026-11-02: add by m2/dev

Equiangular quadrilaterals 88EBQCBR96

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

Mentions

wikipedia: Wikipedia Equiangular polygon#T5EO, Equiangular quadrilaterals (unknown)

History

2026-11-02: add by m2/dev

88EGEKTXYY 88EGEKTXYY

URI	`m2://inv/88EGEKTXYY`
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.16081#LFT8 (statement). In RS6WWZKMT6/e1, lemma 6.7

History

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

88EMQ9YC95 88EMQ9YC95

URI	`m2://inv/88EMQ9YC95`
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.01946#FYFN (statement). In NB1Z31FMXN/e1, lemma 3.3

History

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

88ERSRA3CT 88ERSRA3CT

URI	`m2://inv/88ERSRA3CT`
Kind	statement
Layer	research
MSC	17-XX, 53-XX, 55-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 hep-th/9409063#HWOM (statement). In 145ETYF9CG/e1, corollary 4

History

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

88EW5FGSA9 88EW5FGSA9

URI	`m2://inv/88EW5FGSA9`
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.20316#5GK9 (statement). In YRJS76169Z/e1, lemma 4.13

History

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

Arthur Erdélyi 88EZZTECVN

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#MVAX, Arthur Erdélyi (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZD2Q, Arthur Erdélyi (topic)

History

2026-11-02: add by m2/dev

ALGLIB 88F6EN2Q2M

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

Mentions

wikipedia: Wikipedia ALGLIB, ALGLIB (definition). Also Wikidata Q4652351

History

2026-11-02: add by m2/dev

Applied Statistics 88F8D7KV6K

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

Mentions

wikipedia: Wikipedia Statistics#ZNZ1, Applied Statistics (unknown)

History

2026-11-02: add by m2/dev

Neil Trudinger 88FQ4CMJF6

URI	`m2://inv/88FQ4CMJF6`
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#3ZDT, Neil Trudinger (topic)

History

2026-11-02: add by m2/dev

Phragmén–Lindelöf principle for a sector in the complex plane 88G1PBRH44

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

Mentions

wikipedia: Wikipedia Phragmén–Lindelöf principle#B6M0, Phragmén–Lindelöf principle for a sector in the complex plane (statement)

History

2026-11-02: add by m2/dev

Henrik Palmstrøm 88G3TAX88J

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

Mentions

wikipedia: Wikipedia List of actuaries#5BZE, Henrik Palmstrøm (unknown)

History

2026-11-02: add by m2/dev

88G4VCTJ0S 88G4VCTJ0S

URI	`m2://inv/88G4VCTJ0S`
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 2601.18223#8Q30 (statement). In ZRXE7EJA93/e1, lemma 4.2

History

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

Constant coefficients 88G6E5SAQM

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

Mentions

wikipedia: Wikipedia Linear differential equation#EWF7, Constant coefficients (unknown)

History

2026-11-02: add by m2/dev

88G9SQJN7C 88G9SQJN7C

URI	`m2://inv/88G9SQJN7C`
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 2011.14561#P64Y (statement). In V2XJJJX1Z8/e1, lemma 2.5

History

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

ELIZA effect 88GK7PA4GQ

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

Mentions

wikipedia: Wikipedia ELIZA effect, ELIZA effect (definition). Also Wikidata Q3048939

History

2026-11-02: add by m2/dev

Examples 88GNJFWKR1

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

Mentions

wikipedia: Wikipedia Continued fraction#TQZS, Examples (example)

History

2026-11-02: add by m2/dev

Example 88GWJ24STE

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

Mentions

wikipedia: Wikipedia Trachtenberg system#QOGX, Example (example)

History

2026-11-02: add by m2/dev

88GY47Y13P 88GY47Y13P

URI	`m2://inv/88GY47Y13P`
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 0808.1331#MIRY (statement). In RB2B1N73P0/e1, lemma 2.5

History

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

88GZD4S33E 88GZD4S33E

URI	`m2://inv/88GZD4S33E`
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.16225#283U (statement). In H3DJV9YQW1/e1, proposition 3.10

History

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

Example 88H4MT6ND3

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

Mentions

wikipedia: Wikipedia Symmetric matrix#L7JT, Example (example)

History

2026-11-02: add by m2/dev

88H6V29N8F 88H6V29N8F

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

Mentions

arxiv: arXiv 2610.12908#AN8R (statement). In TNC658NVMQ/e1, lemma 7.2

History

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

Aldo Andreotti 88H7Z1BMBY

URI	`m2://inv/88H7Z1BMBY`
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#1BNF, Aldo Andreotti (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I662, Aldo Andreotti (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UIWK, Aldo Andreotti (topic)

History

2026-11-02: add by m2/dev

88HEY44J3P 88HEY44J3P

URI	`m2://inv/88HEY44J3P`
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#C7Q1 (statement)

History

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

88HGVSG38H 88HGVSG38H

URI	`m2://inv/88HGVSG38H`
Kind	statement
Layer	research
MSC	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.26201#5MNW (statement)

History

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

Example 88HM8KBY7C

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

Mentions

wikipedia: Wikipedia Knuth–Bendix completion algorithm#3WRK, Example (example)

History

2026-11-02: add by m2/dev

88HZ8AQ5ZS 88HZ8AQ5ZS

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

Mentions

open_logic: open_logic content/incompleteness/theories-computability/oconsis-ext-of-q-undec.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 30.13

History

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

Equational axioms 88JEAMPZMR

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

Mentions

wikipedia: Wikipedia Algebraic structure#OULX, Equational axioms (statement)

History

2026-11-02: add by m2/dev

Gram representation of the corner-supported Toeplitz BW form 88JHAW3DRY

URI	`m2://inv/88JHAW3DRY`
Kind	statement
Layer	research
MSC	49-XX, 65-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.08980#DWFQ, Gram representation of the corner-supported Toeplitz BW form (statement). In X407M6WFNR/e1, lemma 2.3

History

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

Successor state axioms solution 88JP6PKN47

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

Mentions

wikipedia: Wikipedia Frame problem#A0W2, Successor state axioms solution (statement)

History

2026-11-02: add by m2/dev

Cutwidth 88JPSVA1WH

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

Mentions

wikipedia: Wikipedia Cutwidth, Cutwidth (definition). Also Wikidata Q110772608

History

2026-11-02: add by m2/dev

$k$-restoration formula 88JVZ3R647

URI	`m2://inv/88JVZ3R647`
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.21454#GK5W, $k$-restoration formula (statement). In ZP2RJFZ3V2/e1, lemma 4.3

History

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

Total relation 88KAGNE84N

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

Mentions

wikipedia: Wikipedia Total relation, Total relation (definition). Also Wikidata Q106584784

History

2026-11-02: add by m2/dev

88KCFNF9KM 88KCFNF9KM

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

Mentions

arxiv: arXiv 2508.16102#9LZH (statement). In 55QFMZQ5HM/e1, theorem 1.5

History

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

Marc Noy 88KG5T3BFY

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A7PI, Marc Noy (unknown)

History

2026-11-02: add by m2/dev

Definition 2 88KJ4S21XE

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

Mentions

wikipedia: Wikipedia Unitary operator#8SD9, Definition 2 (definition)

History

2026-11-02: add by m2/dev

88KMQKKYMX 88KMQKKYMX

URI	`m2://inv/88KMQKKYMX`
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 1002.0879#YDKJ (statement). In M0SQY5EZN5/e1, corollary 2.7.13

History

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

Result 88KN0V0H5P

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

Mentions

wikipedia: Wikipedia Alpha beta filter#IYEZ, Result (statement)

History

2026-11-02: add by m2/dev

88KPKF89B6 88KPKF89B6

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/ImagesInverseImages.tex#thm:unions and intersections of preimages (statement). In P1C114YBXG, theorem, section C

History

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

88KTPX2PD9 88KTPX2PD9

URI	`m2://inv/88KTPX2PD9`
Kind	statement
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#KPKB (statement). In 5KR3MHYVV6/e1, proposition 5.10

History

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

Signs of Partial Derivatives of the Objective Function 88KWHACNSR

URI	`m2://inv/88KWHACNSR`
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.37489#HKCW, Signs of Partial Derivatives of the Objective Function (statement). In 5ZC91T5PHQ/e1, lemma

History

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

Two Forms of a Sharp Power Law 88KYB8J995

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

Mentions

arxiv: arXiv 2610.13222#V726, Two Forms of a Sharp Power Law (statement). In Z6WA2R0J50/e1, lemma 6.5

History

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

88KZ0S8ZA6 88KZ0S8ZA6

URI	`m2://inv/88KZ0S8ZA6`
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.06108#QD9X (statement). In D3WKY1PW64/e1, lemma 3.4

History

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

Multiplier order 88M6W9SE5C

URI	`m2://inv/88M6W9SE5C`
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.16530#EGUP, Multiplier order (statement). In G2BFEBAX2W/e1, lemma 2.1

History

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

David Gross 88MGC7Y7CM

URI	`m2://inv/88MGC7Y7CM`
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 Q40262, David Gross (unknown). Also nLab David Gross

History

2026-10-26: add by m2/dev

Preconditioned Crank–Nicolson algorithm 88MHRGP7KJ

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

Mentions

wikipedia: Wikipedia Preconditioned Crank–Nicolson algorithm, Preconditioned Crank–Nicolson algorithm (definition). Also Wikidata Q60794122

History

2026-11-02: add by m2/dev

88MK8HWJ00 88MK8HWJ00

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

Mentions

arxiv: arXiv 2511.17751#MMU8 (statement). In J39X0NB31S/e1, proposition 3.4

History

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

88MK8JK73P 88MK8JK73P

URI	`m2://inv/88MK8JK73P`
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 2610.03517#MP67 (statement). In 3CGS9GSKTQ/e1, lemma 3.3

History

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

Jean-Pierre Kahane 88MNECFMGF

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#MNJ9, Jean-Pierre Kahane (topic)

History

2026-11-02: add by m2/dev

88MNKGRAFT 88MNKGRAFT

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

Mentions

arxiv: arXiv 2610.18992#R6QE (example). In S7PNTM0GZC/e1, example 3.6

History

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

Giusto Bellavitis 88MP5JEGMR

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

Mentions

wikipedia: Wikipedia Giusto Bellavitis, Giusto Bellavitis (topic). Also Wikidata Q2755824

History

2026-11-02: add by m2/dev

Imbalance conjecture 88MQ7CZJA9

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

Mentions

wikipedia: Wikipedia Imbalance conjecture, Imbalance conjecture (conjecture). Also Wikidata Q136485238

History

2026-11-02: add by m2/dev

88MT0Y59ZN 88MT0Y59ZN

URI	`m2://inv/88MT0Y59ZN`
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 2210.02261#FSB5 (statement). In TT74R659T0/e1, corollary 0.15

History

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

88MWVTQ2QJ 88MWVTQ2QJ

URI	`m2://inv/88MWVTQ2QJ`
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.07963#OMZL (statement). In HAGJKEZ1CK/e1, proposition 4.5

History

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

88MYRG0SK0 88MYRG0SK0

URI	`m2://inv/88MYRG0SK0`
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.14803#JY4E (statement). In VAEVDTBD3B/e1, theorem 2.16

History

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

the largest strategy 88N3J0Z6EM

URI	`m2://inv/88N3J0Z6EM`
Kind	definition
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#IRWN, the largest strategy (definition). In 1H6HQSMYJW/e1, definition 4

History

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

Modulus of continuity 88N5HX5Q79

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

Mentions

wikipedia: Wikipedia List of Fourier analysis topics#MH0P, Modulus of continuity (definition)

History

2026-11-02: add by m2/dev

88N5SFV4JP 88N5SFV4JP

URI	`m2://inv/88N5SFV4JP`
Kind	statement
Layer	research
MSC	51-XX, 52-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.25468#W8WQ (statement)

History

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

Image 88NDS0759R

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

Mentions

wikipedia: Wikipedia Image (category theory), Image (definition). Also Wikidata Q860530

History

2026-11-02: add by m2/dev

Elliptic-curve cryptography 88NK0BETJ4

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

Mentions

wikipedia: Wikipedia Elliptic-curve cryptography, Elliptic-curve cryptography (definition). Also Wikidata Q1048911

History

2026-11-02: add by m2/dev

88NP0FBZQM 88NP0FBZQM

URI	`m2://inv/88NP0FBZQM`
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 2610.10546#9HHR (statement). In K5R5RRPMQ5/e1, theorem 3.1

History

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

88NX4XJDED 88NX4XJDED

URI	`m2://inv/88NX4XJDED`
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.09949#NNI8 (statement). In VGJVFCDV8A/e1, theorem 1.1

History

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

Noether's second theorem 88NY5BXWEQ

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

Mentions

wikipedia: Wikipedia List of theorems#QEVJ, Noether's second theorem (statement)

History

2026-11-02: add by m2/dev

88PK49ZM12 88PK49ZM12

URI	`m2://inv/88PK49ZM12`
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#VFFF (definition)

History

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

88PNDG89JY 88PNDG89JY

URI	`m2://inv/88PNDG89JY`
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#DUDQ (statement). In ZF0Z61VQ96/e1, proposition 2.1

History

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

88PQJFM4F5 88PQJFM4F5

URI	`m2://inv/88PQJFM4F5`
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.13076#ENJM (statement). In K7GJA4WGV7/e1, lemma 3.2

History

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

Foster--Lyapunov Stability Transfer 88PSC79QEY

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

Mentions

arxiv: arXiv 2610.18739#0YL1, Foster--Lyapunov Stability Transfer (statement). In VGJXQRC44C/e1, proposition 3

History

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

Example 88PTV829MC

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

Mentions

wikipedia: Wikipedia Definite clause grammar#GT0L, Example (example)

History

2026-11-02: add by m2/dev

multiplicative number theory 88PV4ZJC9P

URI	`m2://inv/88PV4ZJC9P`
Kind	definition
Layer	textbook
MSC	11Nxx
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q6935001, multiplicative number theory (topic)
wikipedia: Wikipedia Multiplicative number theory, Multiplicative number theory (definition). Also Wikidata Q6935001

History

2026-10-26: add by m2/dev

88PXRTSXF5 88PXRTSXF5

URI	`m2://inv/88PXRTSXF5`
Kind	statement
Layer	research
MSC	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.05868#MDZE (statement). In WXD0FASTA7/e1, lemma 2.2

History

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

88QC0BGNBP 88QC0BGNBP

URI	`m2://inv/88QC0BGNBP`
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.07451#WBDH (statement). In P7KT88N75Q/e1, theorem 1.11

History

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

Definition 88QCN1KAWQ

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

Mentions

wikipedia: Wikipedia Circular mean#F6C7, Definition (definition)

History

2026-11-02: add by m2/dev

88QJ88HSVW 88QJ88HSVW

URI	`m2://inv/88QJ88HSVW`
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.20510#O5B8 (statement). In 24KCRT4VT2/e1, lemma 1

History

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

Applications 88QP2KMQVN

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

Mentions

wikipedia: Wikipedia Rank (linear algebra)#01SO, Applications (example)

History

2026-11-02: add by m2/dev

88QWPN28SW 88QWPN28SW

URI	`m2://inv/88QWPN28SW`
Kind	example
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.22074#IHJK (example). In F3BKXXPR3K/e1, example 2.9

History

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

88QXKEDQFR 88QXKEDQFR

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 27.5

History

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

9000 88QYZCDB27

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

Mentions

wikipedia: Wikipedia 9000 (number), 9000 (definition). Also Wikidata Q1142519

History

2026-11-02: add by m2/dev

Toshiyuki Kobayashi 88R3Q7035H

URI	`m2://inv/88R3Q7035H`
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#QL21, Toshiyuki Kobayashi (topic)

History

2026-11-02: add by m2/dev

88R4KTQ88B 88R4KTQ88B

URI	`m2://inv/88R4KTQ88B`
Kind	definition
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 2411.17227#VQ6Q (definition). In DDNP38CHQJ/e1, definition 5.1

History

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

88RCDXDF8V 88RCDXDF8V

URI	`m2://inv/88RCDXDF8V`
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.06909#LT86 (statement). In F1EF8XE30A/e1, theorem 4.3

History

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

88RCPDB5S3 88RCPDB5S3

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-7 (exercise). In E59CDZA4DP, exercise, section 11.9.6

History

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

Hausdorff 88RQ4XDWTG

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

Mentions

wikipedia: Wikipedia Glossary of set theory#T8RE, Hausdorff (definition)

History

2026-11-02: add by m2/dev

88RVJ102DT 88RVJ102DT

URI	`m2://inv/88RVJ102DT`
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.35682#EGYG (statement). In 7XM8WXVBWK/e1, theorem 4.6

History

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

Local Basin of Attraction 88RXTJGCMX

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

Mentions

arxiv: arXiv 2609.27484#DPFZ, Local Basin of Attraction (definition)

History

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

88SBQA754P 88SBQA754P

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

Mentions

napkin: napkin tex/alg-geom/sheaves.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 25.2.2

History

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

Universal Cover and Schur Multiplier 88SD4GX0P8

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

Mentions

arxiv: arXiv 2609.27042#EHKE, Universal Cover and Schur Multiplier (definition)

History

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

88SGKRABCF 88SGKRABCF

URI	`m2://inv/88SGKRABCF`
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 2609.39330#RSV0 (statement). In 7ZTJ23YG7A/e1, lemma 2.5

History

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

88SHSV5GFY 88SHSV5GFY

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

Mentions

arxiv: arXiv 2609.40028#PSEK (statement). In N8TDKGGC7S/e1, lemma 5.2

History

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

88SMDGF659 88SMDGF659

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

Mentions

arxiv: arXiv 2609.37706#MFID (statement). In 6YY27KRJFN/e1, proposition 3.20

History

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

6-orthoplex 88SNJPTB05

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

Mentions

wikipedia: Wikipedia 6-orthoplex, 6-orthoplex (object). Also Wikidata Q4641573

History

2026-11-02: add by m2/dev

Law of cosines for dihedral angle 88SNPRT7HW

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

Mentions

wikipedia: Wikipedia Dihedral angle#7V4M, Law of cosines for dihedral angle (statement)

History

2026-11-02: add by m2/dev

88SWV5YAT1 88SWV5YAT1

URI	`m2://inv/88SWV5YAT1`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-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 1804.05688#1E5E (statement). In M8F4PDHH3S/e1, lemma B.2

History

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

Quantum-to-classical sufficiency for displaced thermal states 88SYNTBKVJ

URI	`m2://inv/88SYNTBKVJ`
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#1HYC, Quantum-to-classical sufficiency for displaced thermal states (statement)

History

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

Outer-reflection geometry 88T2QRE36Z

URI	`m2://inv/88T2QRE36Z`
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.16248#QO6T, Outer-reflection geometry (statement). In TP61DYMBMK/e1, lemma 11

History

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

Theorem 88T7NCDG7X

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

Mentions

wikipedia: Wikipedia Rådström's embedding theorem#20NO, Theorem (statement)

History

2026-11-02: add by m2/dev

88TH6SF978 88TH6SF978

URI	`m2://inv/88TH6SF978`
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.09390#8BJK (statement). In 7SSKW778T8/e1, theorem C

History

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

Michael Ben David 88TQFQSD9N

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#AGXT, Michael Ben David (unknown)

History

2026-11-02: add by m2/dev

88TQZ326WQ 88TQZ326WQ

URI	`m2://inv/88TQZ326WQ`
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.22291#6HB0 (statement). In TMBJ7NVPC7/e1, lemma 4

History

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

88TTGPQ98T 88TTGPQ98T

URI	`m2://inv/88TTGPQ98T`
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.26357#FZ99 (statement)

History

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

Applications 88TWA887Z5

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

Mentions

wikipedia: Wikipedia Gelfond–Schneider theorem#FITT, Applications (example)

History

2026-11-02: add by m2/dev

88TWF9KZEE 88TWF9KZEE

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

Mentions

arxiv: arXiv 2609.29188#7PW1 (statement)

History

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

Travelling Salesman 88TYAQ4Q27

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

Mentions

wikipedia: Wikipedia List of films about mathematicians#TEK3, Travelling Salesman (unknown)

History

2026-11-02: add by m2/dev

Standard learning theory quantities 88VCQVNG00

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

Mentions

arxiv: arXiv 2102.11076#O8A3, Standard learning theory quantities (definition). In T9HZXHTQBJ/e1, definition 5

History

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

Hopcroft's problem 88VEQQ70EK

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

Mentions

wikipedia: Wikipedia Hopcroft's problem, Hopcroft's problem (problem). Also Wikidata Q131394672

History

2026-11-02: add by m2/dev

88VP8WG1ZE 88VP8WG1ZE

URI	`m2://inv/88VP8WG1ZE`
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 2011.06637#VDNJ (statement). In KFCJ5CFP3G/e1, lemma 3.3

History

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

Formal definition 88VXWEDBDE

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

Mentions

wikipedia: Wikipedia Almost surely#UG0N, Formal definition (definition)

History

2026-11-02: add by m2/dev

Lefschetz theorem on (1,1)-classes 88W0MQEXGN

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

Mentions

wikipedia: Wikipedia List of theorems#JFX6, Lefschetz theorem on (1,1)-classes (statement)

History

2026-11-02: add by m2/dev

88W7WD8DH2 88W7WD8DH2

URI	`m2://inv/88W7WD8DH2`
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 2602.07485#OPRD (statement). In 8KAC1E81JQ/e1, theorem 16

History

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

Twiddle factor 88W8ZNN7RG

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

Mentions

wikipedia: Wikipedia Twiddle factor, Twiddle factor (definition). Also Wikidata Q7857913

History

2026-11-02: add by m2/dev

88WGP0TPK0 88WGP0TPK0

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

Mentions

hott_book: hott_book equivalences.tex#proof-6 (proof). In N54F33XE07, proof, section 3.2

History

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

Hahn–Banach theorem 88WHNVG41H

URI	`m2://inv/88WHNVG41H`
Kind	statement
Layer	textbook
MSC	46-XX
Sources	5
Outcome	open
Node	Hahn–Banach theorem QB5AE3VYZZ

Mentions

mathlib_1000: mathlib_1000 Q866116, Hahn–Banach theorem (statement). Also Mathlib exists_extension_norm_eq, Wikidata Q866116
mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > Hahn-Banach theorem, Hahn-Banach theorem (unknown). Also Mathlib exists_extension_norm_eq
thousand_plus: thousand_plus Q866116, Hahn–Banach theorem (statement). Also Mathlib exists_extension_norm_eq, Wikidata Q866116, Wikipedia Hahn–Banach theorem
wikidata: Wikidata Q866116, Hahn–Banach theorem (statement). Also EoM Hahn-Banach_theorem, Mathlib exists_extension_norm_eq, MathWorld Hahn-BanachTheorem
wikipedia: Wikipedia Hahn–Banach theorem, Hahn–Banach theorem (statement). Also Wikidata Q866116

History

2026-10-26: add by m2/dev

88WQERRR2Q 88WQERRR2Q

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

Mentions

arxiv: arXiv 1705.04310#W14K (definition). In MG51GG0QZN/e1, definition 3.2

History

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

infinite product 88WR4WPAZX

URI	`m2://inv/88WR4WPAZX`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Infinite product JYV1Y8XX16

Mentions

wikidata: Wikidata Q2266843, infinite product (unknown). Also LMFDB knowl mf.gl2.history.infinite, MathWorld InfiniteProduct, nLab infinite product
wikipedia: Wikipedia Infinite product, Infinite product (definition). Also Wikidata Q2266843

History

2026-10-26: add by m2/dev

Small-gain theorem 88WS9ZF5SF

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

Mentions

wikipedia: Wikipedia Small-gain theorem, Small-gain theorem (statement). Also Wikidata Q4165677

History

2026-11-02: add by m2/dev

88XAVN833Y 88XAVN833Y

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

Mentions

arxiv: arXiv 2609.39700#LAG2 (statement). In E7W2HDNEKJ/e1, theorem 7.27

History

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

Local convergence 88XFMTTDXY

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#UV2X, Local convergence (definition)

History

2026-11-02: add by m2/dev

Confinement by construction 88XQ4NWKM4

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

Mentions

arxiv: arXiv 2609.37944#UVGD, Confinement by construction (statement). In KP94WJVJXY/e1, proposition

History

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

linear equation 88XZ16FSHC

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

Mentions

austin_ula: austin_ula index/1.1.2/linear-equation, linear equation (concept). In 649HGZKE96, index, section 1.1.2

History

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

Scott Vanstone 88Y2BRSK0N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#MMVN, Scott Vanstone (unknown)

History

2026-11-02: add by m2/dev

88Y3D4HSBR 88Y3D4HSBR

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

Mentions

arxiv: arXiv 2609.20716#QVRT (statement)

History

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

Hilbert cube 88YFEVQK2Z

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

Mentions

wikipedia: Wikipedia List of general topology topics#H4TM, Hilbert cube (definition)
wikipedia: Wikipedia List of examples in general topology#35HS, Hilbert cube (definition)

History

2026-11-02: add by m2/dev

Giuseppe Pucciano 88YH9KC91J

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LFKX, Giuseppe Pucciano (unknown)

History

2026-11-02: add by m2/dev

88YQZNKFEE 88YQZNKFEE

URI	`m2://inv/88YQZNKFEE`
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.07828#F72V (statement). In TWGMVT1N1G/e1, proposition 4.1

History

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

Partition estimates 88YVKF1MJZ

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

Mentions

arxiv: arXiv 2610.17276#4PSF, Partition estimates (statement). In GG14QF0JKJ/e1, lemma 2.5

History

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

88YZ0SC0HR 88YZ0SC0HR

URI	`m2://inv/88YZ0SC0HR`
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.29623#FK2S (statement)

History

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

Diagnostic substitution 88Z1AW4CE8

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

Mentions

wikipedia: Wikipedia Diagnostic substitution, Diagnostic substitution (definition). Also Wikidata Q17143476

History

2026-11-02: add by m2/dev

Cauchy–Davenport theorem 88Z6V9P5EN

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

Mentions

wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#YK39, Cauchy–Davenport theorem (definition)

History

2026-11-02: add by m2/dev

topos 88Z8DX6F0F

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

Mentions

hott_book: hott_book index/C.5/topos, topos (concept). In N54F33XE07, index, section C.5

History

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

Martin Bland 88ZE1XJP4S

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

Mentions

wikipedia: Wikipedia Martin Bland, Martin Bland (topic). Also Wikidata Q6775011

History

2026-11-02: add by m2/dev

Hardy space 88ZH31ZGBC

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

Mentions

wikipedia: Wikipedia List of Banach spaces#VL2N, Hardy space (definition)

History

2026-11-02: add by m2/dev

Directed Gaussian pyramid 88ZKZFJ75J

URI	`m2://inv/88ZKZFJ75J`
Kind	definition
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#EHEB, Directed Gaussian pyramid (definition)

History

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

Primecoin 88ZRY583X1

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

Mentions

wikipedia: Wikipedia Primecoin, Primecoin (definition). Also Wikidata Q15179199

History

2026-11-02: add by m2/dev

Plouffe's formulas 88ZXDYFD8S

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

Mentions

wikipedia: Wikipedia Formula for primes#0OVZ, Plouffe's formulas (statement)

History

2026-11-02: add by m2/dev