Inventory rows WA

Schedule characterization WA01J2ME9C

URI	`m2://inv/WA01J2ME9C`
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.03353#TJJK, Schedule characterization (statement). In 8W61T5CSRB/e1, corollary 4.2

History

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

Cross-term sign WA024T87G1

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

Mentions

arxiv: arXiv 2609.38243#0HUG, Cross-term sign (statement). In R03K2N7FRF/e1, lemma B.3

History

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

Geometric sharpness at fixed data WA025QQA1Z

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

Mentions

arxiv: arXiv 2610.14069#DPI2, Geometric sharpness at fixed data (statement). In ABYRBVNC3Y/e1, theorem 1.3

History

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

Application WA0AMBNGDA

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

Mentions

wikipedia: Wikipedia Euler–Maruyama method#U5NL, Application (example)

History

2026-11-02: add by m2/dev

Speed prior WA0F71DF3G

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

Mentions

wikipedia: Wikipedia Speed prior, Speed prior (definition). Also Wikidata Q7575586

History

2026-11-02: add by m2/dev

Cauchy's theorem WA0HC8ERDY

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

Mentions

mathlib_1000: mathlib_1000 Q3527034, Cauchy's theorem (geometry) (statement). Also Wikidata Q3527034
thousand_plus: thousand_plus Q3527034, Cauchy's theorem (statement). Also Wikidata Q3527034, Wikipedia Cauchy's theorem (geometry)
wikipedia: Wikipedia Cauchy's theorem (geometry), Cauchy's theorem (statement). Also Wikidata Q3527034

History

2026-10-26: add by m2/dev

William Henry Young WA0Q6815RT

URI	`m2://inv/WA0Q6815RT`
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#16PR, William Henry Young (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5D3U, William Henry Young (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KZXL, William Henry Young (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NHO8, William Henry Young (unknown)

History

2026-11-02: add by m2/dev

Michael Garey WA0R0JY31H

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#PQU6, Michael Garey (unknown)

History

2026-11-02: add by m2/dev

WA0TT2BJ3Y WA0TT2BJ3Y

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

Mentions

applied_combinatorics: applied_combinatorics source/s_probability_exercises.ptx#exercise-2 (exercise). In QKM9DD2H56, exercise, section 10

History

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

category theory WA0W7496WY

URI	`m2://inv/WA0W7496WY`
Kind	definition
Layer	textbook
MSC	18-XX
Sources	2
Outcome	open
Node	Category theory Q1RZT7DV0F

Mentions

wikidata: Wikidata Q217413, category theory (topic). Also MathWorld CategoryTheory, nLab category theory, ProofWiki Definition:Category_Theory
wikipedia: Wikipedia Category theory, Category theory (definition). Also Wikidata Q217413

History

2026-10-26: add by m2/dev

WA0YPJT0J6 WA0YPJT0J6

URI	`m2://inv/WA0YPJT0J6`
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.17875#B88B (statement). In AQX7DGD360/e1, proposition 1.3

History

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

WA0Z5YP2DD WA0Z5YP2DD

URI	`m2://inv/WA0Z5YP2DD`
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.36423#GJN5 (statement). In Q5Z178SAHP/e1, corollary 7.2

History

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

WA0ZFM2VZE WA0ZFM2VZE

URI	`m2://inv/WA0ZFM2VZE`
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.35920#N5F2 (statement). In 5D5HW98PTH/e1, theorem 1.1

History

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

Fourier WA10MH55JD

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#7DWC, Fourier (definition)

History

2026-11-02: add by m2/dev

uniformization WA143QPGHT

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

Mentions

wikipedia: Wikipedia Glossary of set theory#AY3E, uniformization (definition)

History

2026-11-02: add by m2/dev

WA1AJ710CB WA1AJ710CB

URI	`m2://inv/WA1AJ710CB`
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.18580#7QYX (statement). In 443TZD4P0A/e1, lemma 17

History

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

WA1EP93YKC WA1EP93YKC

URI	`m2://inv/WA1EP93YKC`
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.24553#J4T6 (statement)

History

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

Formal definition WA1GT2KFHV

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

Mentions

wikipedia: Wikipedia Galves–Löcherbach model#3IWT, Formal definition (definition)

History

2026-11-02: add by m2/dev

Quadrature Weights WA1GZAMKY9

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

History

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

Optimal Number of Flexible Slots WA1H9GCH5N

URI	`m2://inv/WA1H9GCH5N`
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.12732#4DV6, Optimal Number of Flexible Slots (statement). In 5E91Y3VY9E/e1, proposition 4

History

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

WA1N7QMSX4 WA1N7QMSX4

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-310 (exercise). In VNMV985MXX, exercise, section 6.8

History

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

Bertfried Fauser WA1TEPG6G7

URI	`m2://inv/WA1TEPG6G7`
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 Q62057588, Bertfried Fauser (unknown). Also nLab Bertfried Fauser

History

2026-10-26: add by m2/dev

Lamé parameters WA1TTH5V6A

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

Mentions

wikidata: Wikidata Q1066623, Lamé parameters (unknown). Also EoM Lamé_constants
wikipedia: Wikipedia Lamé parameters, Lamé parameters (definition). Also Wikidata Q1066623

History

2026-10-26: add by m2/dev

WA1X6N3RNM WA1X6N3RNM

URI	`m2://inv/WA1X6N3RNM`
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.26745#1SNM (statement)

History

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

Hjelmslev's theorem WA1XC3P2TZ

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

Mentions

wikipedia: Wikipedia List of theorems#HOA8, Hjelmslev's theorem (statement)

History

2026-11-02: add by m2/dev

WA1YV2TBY7 WA1YV2TBY7

URI	`m2://inv/WA1YV2TBY7`
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.32374#G1H4 (statement). In 96D6N9AXQM/e1, corollary 2.3

History

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

WA22SFGG5T WA22SFGG5T

URI	`m2://inv/WA22SFGG5T`
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 2610.05032#QURB (statement). In DDNK8D4359/e1, theorem 1.3

History

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

Generalized Schwarz-Ahlfors Lemma WA27YY5A9H

URI	`m2://inv/WA27YY5A9H`
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 2208.04502#VG3Q, Generalized Schwarz-Ahlfors Lemma (statement). In BT6E9BXXF3/e1, lemma 4.10

History

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

WA2F8W82DJ WA2F8W82DJ

URI	`m2://inv/WA2F8W82DJ`
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.22081#UT5W (statement). In 7JATJ4VG9G/e1, lemma 2.1

History

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

WA2TADK40K WA2TADK40K

URI	`m2://inv/WA2TADK40K`
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.20203#EQ04 (statement)

History

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

Definition WA2WQB1YD9

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

Mentions

wikipedia: Wikipedia Supersolvable lattice#WUHQ, Definition (definition)

History

2026-11-02: add by m2/dev

WA2XB94KTD WA2XB94KTD

URI	`m2://inv/WA2XB94KTD`
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.20775#RLO8 (statement). In XG27B81T0G/e1, theorem 5.5

History

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

Invariance of $S(k)$ under perturbed $A$ WA31VSWZN3

URI	`m2://inv/WA31VSWZN3`
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.07341#0B7Q, Invariance of $S(k)$ under perturbed $A$ (statement). In 6KFS1X0MZR/e1, proposition 4

History

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

Limit lemma WA32NNBMEF

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

Mentions

wikipedia: Wikipedia Computation in the limit#07LT, Limit lemma (statement)

History

2026-11-02: add by m2/dev

WA3631VV0R WA3631VV0R

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

Mentions

arxiv: arXiv math/0406514#5OVQ (statement). In CY1FE8W1ZW/e1, proposition 0.241

History

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

Gaussian and horocone families are pyramids WA3CKDRXM0

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

Mentions

arxiv: arXiv 2609.27752#C648, Gaussian and horocone families are pyramids (statement)

History

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

Heaps's law WA3CKRJP2D

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

Mentions

wikipedia: Wikipedia Heaps's law, Heaps's law (statement). Also Wikidata Q5691531

History

2026-11-02: add by m2/dev

Ricci asymmetry on geodesic hyperspheres WA3DE220SN

URI	`m2://inv/WA3DE220SN`
Kind	example
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.00078#JO5J, Ricci asymmetry on geodesic hyperspheres (example). In KXYGWSGP9M/e1, example 4.8

History

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

763 (number) WA3H1A8THD

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

Mentions

wikipedia: Wikipedia 700 (number)#KZO8, 763 (number) (unknown)

History

2026-11-02: add by m2/dev

Discrete GKP/torus code WA3JR8P1JS

URI	`m2://inv/WA3JR8P1JS`
Kind	example
Layer	research
MSC	05-XX, 51-XX, 52-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.04834#6YUV, Discrete GKP/torus code (example). In YZNK67K060/e1, example 4.6

History

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

WA3P5R7F2Y WA3P5R7F2Y

URI	`m2://inv/WA3P5R7F2Y`
Kind	statement
Layer	research
MSC	05-XX, 16-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 2408.01345#T9F9 (statement). In PT5PBPCS3P/e1, proposition 3.1

History

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

Random oracle WA3TH6G6N2

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

Mentions

wikipedia: Wikipedia Random oracle, Random oracle (definition). Also Wikidata Q228184

History

2026-11-02: add by m2/dev

Hebesphenomegacorona WA3TPN5Z74

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#60DP, Hebesphenomegacorona (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#SX4W, Hebesphenomegacorona (definition)

History

2026-11-02: add by m2/dev

Stage 1: statement of a theory or hypothesis WA3WF3NJ7F

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

Mentions

wikipedia: Wikipedia Demand forecasting#2PAT, Stage 1: statement of a theory or hypothesis (statement)

History

2026-11-02: add by m2/dev

Definitions WA4DE33YWC

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

Mentions

wikipedia: Wikipedia Unimodular lattice#BP01, Definitions (definition)

History

2026-11-02: add by m2/dev

WA4E54XWG1 WA4E54XWG1

URI	`m2://inv/WA4E54XWG1`
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.29498#V1JW (statement)

History

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

WA4HZFQ2G4 WA4HZFQ2G4

URI	`m2://inv/WA4HZFQ2G4`
Kind	example
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.15831#ECV9 (example). In CVESAPNMCQ/e1, example 5.12

History

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

Definitions WA4MKN1MYJ

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

Mentions

wikipedia: Wikipedia Hall subgroup#35R9, Definitions (definition)

History

2026-11-02: add by m2/dev

WA4VC3Q6VK WA4VC3Q6VK

URI	`m2://inv/WA4VC3Q6VK`
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.35287#Z7DC (statement). In BPPBAWGPHJ/e1, lemma 2.1

History

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

WA54XBE9X9 WA54XBE9X9

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

Mentions

arxiv: arXiv 2610.06541#T3YO (definition). In R604B78EVK/e1, definition 2.6

History

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

Prescribed Output and Error WA54Y66AHK

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

Mentions

arxiv: arXiv 2610.02407#XMNE, Prescribed Output and Error (statement). In ZZER8ZBSCR/e1, corollary 3.20

History

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

proof theory WA5X7N21GD

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

Mentions

wikipedia: Wikipedia Glossary of logic#I9J1, proof theory (definition)

History

2026-11-02: add by m2/dev

WA65CXXHK4 WA65CXXHK4

URI	`m2://inv/WA65CXXHK4`
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.23538#P190 (statement)

History

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

Finite projective space WA6B5EG144

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

Mentions

wikipedia: Wikipedia Projective space#QLWJ, Finite projective space (unknown)

History

2026-11-02: add by m2/dev

WA6CRKEN48 WA6CRKEN48

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

Mentions

open_logic: open_logic content/lambda-calculus/lambda-definability/lambda-definable-recursive.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 38.1

History

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

No relaxation gap for directional transport WA6HJM9XR7

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

Mentions

arxiv: arXiv 2609.38228#T2GG, No relaxation gap for directional transport (statement). In 9YAE8FNQST/e1, corollary 11.22

History

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

Definition WA6MB05CN6

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

Mentions

wikipedia: Wikipedia Rule of inference#RPWV, Definition (definition)

History

2026-11-02: add by m2/dev

WA6N1TVMDV WA6N1TVMDV

URI	`m2://inv/WA6N1TVMDV`
Kind	definition
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.26382#7F81 (definition)

History

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

WA6QJ2ZSV4 WA6QJ2ZSV4

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

Mentions

arxiv: arXiv 2610.13100#KI2Q (statement). In CC6S1HVK0T/e1, lemma E.9

History

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

WA6SJGRG2Y WA6SJGRG2Y

URI	`m2://inv/WA6SJGRG2Y`
Kind	statement
Layer	research
MSC	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.00856#JLG8 (statement). In W6VHD4QBY4/e1, lemma 5.1

History

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

Generalizations WA6WSZQ58Z

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

Mentions

wikipedia: Wikipedia Fréchet space#U5GN, Generalizations (statement)

History

2026-11-02: add by m2/dev

WA6YRP6N7X WA6YRP6N7X

URI	`m2://inv/WA6YRP6N7X`
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#O3Q0 (statement). In 6DZPR52HRP/e1, lemma 2.1

History

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

Examples WA7AQMRXCW

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

Mentions

wikipedia: Wikipedia FinVect#S3RC, Examples (example)

History

2026-11-02: add by m2/dev

WA7E9JWAB4 WA7E9JWAB4

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/identity.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 11.4

History

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

Examples WA7GCMFMAD

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

Mentions

wikipedia: Wikipedia Independence (probability theory)#WB2A, Examples (example)

History

2026-11-02: add by m2/dev

WA7GTA3TPK WA7GTA3TPK

URI	`m2://inv/WA7GTA3TPK`
Kind	definition
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 2609.31278#R7NK (definition). In KEP21CZFV9/e1, definition #1

History

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

WA7J29BXC5 WA7J29BXC5

URI	`m2://inv/WA7J29BXC5`
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 2609.24484#LJDV (statement)

History

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

WA7MRMFK6S WA7MRMFK6S

URI	`m2://inv/WA7MRMFK6S`
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 2405.02275#J4U9 (statement). In 1QXCNGRWV1/e1, theorem 3.11

History

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

Quadrat WA7VMS1V2H

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

Mentions

wikipedia: Wikipedia Quadrat, Quadrat (definition). Also Wikidata Q1300585

History

2026-11-02: add by m2/dev

Shannon and Shannon-Happ formulas WA8AS549PD

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

Mentions

wikipedia: Wikipedia Signal-flow graph#CVMT, Shannon and Shannon-Happ formulas (statement)

History

2026-11-02: add by m2/dev

WA8E5VX2C5 WA8E5VX2C5

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

Mentions

arxiv: arXiv 2506.18195#6FFH (definition). In 6B8FNCHF1Z/e1, definition 1

History

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

Critical endpoint for the direct operator reduction WA922QX8FD

URI	`m2://inv/WA922QX8FD`
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.22345#0T23, Critical endpoint for the direct operator reduction (statement)

History

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

Business mathematics WA94CWFD32

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

Mentions

wikipedia: Wikipedia Business mathematics, Business mathematics (definition). Also Wikidata Q3299050

History

2026-11-02: add by m2/dev

\dot WA95T4WTPD

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#8BEL, \dot (definition)

History

2026-11-02: add by m2/dev

Filtration (abstract algebra) WA974F4G77

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

Mentions

wikipedia: Wikipedia List of homological algebra topics#Q7FS, Filtration (abstract algebra) (definition)

History

2026-11-02: add by m2/dev

Joint Technical Language Service WA97A285MG

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

Mentions

wikipedia: Wikipedia GCHQ#OF6C, Joint Technical Language Service (unknown)

History

2026-11-02: add by m2/dev

Spectral walls for unitarizability WA99DZAD08

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

Mentions

arxiv: arXiv 2609.25805#KE2I, Spectral walls for unitarizability (statement)

History

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

Methods WA99YYMJWK

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

Mentions

wikipedia: Wikipedia G factor in non-humans#NPU1, Methods (definition)

History

2026-11-02: add by m2/dev

Examples WA9K229B69

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

Mentions

wikipedia: Wikipedia Lefschetz zeta function#GJFA, Examples (example)

History

2026-11-02: add by m2/dev

WA9NZ3D71H WA9NZ3D71H

URI	`m2://inv/WA9NZ3D71H`
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 2308.08081#8SFN (statement). In FJ8XVQ6F0T/e1, theorem 1.1

History

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

WA9Q9836VQ WA9Q9836VQ

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

Mentions

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

History

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

Michel Deza WA9RGNZ64G

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HGQ5, Michel Deza (unknown)

History

2026-11-02: add by m2/dev

WA9VDMTZWN WA9VDMTZWN

URI	`m2://inv/WA9VDMTZWN`
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.20758#G06Q (statement). In PG0B4PH9YH/e1, corollary 5.23

History

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

WA9W8GVKKY WA9W8GVKKY

URI	`m2://inv/WA9W8GVKKY`
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.05312#32AT (statement). In 1CMMK399WQ/e1, lemma 8.2

History

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

work WA9YFWHJGX

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

Mentions

active_calculus: active_calculus index/6.4.1/work, work (concept). In 907G4C4EJ1, index, section 6.4.1

History

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

WAA34YENFH WAA34YENFH

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

Mentions

arxiv: arXiv 2609.27366#70OI (statement)

History

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

Boris Tsirelson WAABCABHJG

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

Mentions

wikipedia: Wikipedia Boris Tsirelson, Boris Tsirelson (topic). Also Wikidata Q2898146

History

2026-11-02: add by m2/dev

WAAJ8W815G WAAJ8W815G

URI	`m2://inv/WAAJ8W815G`
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#EE5Y (example). In F3BKXXPR3K/e1, example 3.20

History

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

WAAJTWDD4Q WAAJTWDD4Q

URI	`m2://inv/WAAJTWDD4Q`
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 2609.33313#PVGU (statement). In HRCEFY172P/e1, theorem A.4

History

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

Construction WAAPV5TB4F

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

Mentions

wikipedia: Wikipedia Rectified 6-cubes#BW0N, Construction (definition)

History

2026-11-02: add by m2/dev

Examples WAAVEMFK29

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

Mentions

wikipedia: Wikipedia Multiplicative function#7USX, Examples (example)

History

2026-11-02: add by m2/dev

multilinear form WAAX5D428V

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

Mentions

wikidata: Wikidata Q1930346, multilinear form (unknown). Also EoM Multilinear_form, MathWorld MultilinearForm
wikipedia: Wikipedia Multilinear form, Multilinear form (definition). Also Wikidata Q1930346

History

2026-10-26: add by m2/dev

Particle in a box WAAXPQGBS9

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#TZIR, Particle in a box (definition)

History

2026-11-02: add by m2/dev

WAB0X5HE94 WAB0X5HE94

URI	`m2://inv/WAB0X5HE94`
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.06461#XUH3 (statement). In QXY3W2JV2N/e1, proposition 4.9

History

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

Example WAB15XRHY0

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

Mentions

wikipedia: Wikipedia Least common multiple#3CG7, Example (example)

History

2026-11-02: add by m2/dev

Paul F. Velleman WAB5JKF713

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

Mentions

wikipedia: Wikipedia Paul F. Velleman, Paul F. Velleman (topic). Also Wikidata Q7150570

History

2026-11-02: add by m2/dev

Implementations WABD0DXGMS

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

Mentions

wikipedia: Wikipedia Content Authenticity Initiative#KC78, Implementations (definition)

History

2026-11-02: add by m2/dev

WABD1Y3FWC WABD1Y3FWC

URI	`m2://inv/WABD1Y3FWC`
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 2504.14383#BFDN (statement). In QD0X3XJS6T/e1, corollary 1.5

History

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

Hausdorff–Young inequality WABD5PT9B6

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

Mentions

wikipedia: Wikipedia Hausdorff–Young inequality, Hausdorff–Young inequality (statement). Also Wikidata Q5682823

History

2026-11-02: add by m2/dev

Dirac adjoint WABE71BMJV

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

Mentions

wikipedia: Wikipedia Dirac adjoint, Dirac adjoint (definition). Also Wikidata Q2824495

History

2026-11-02: add by m2/dev

Applications WABJN4D9TE

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

Mentions

wikipedia: Wikipedia Locally decodable code#ZJ7U, Applications (example)

History

2026-11-02: add by m2/dev

Kramers–Kronig relation WABM4PFC6Z

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#QHCL, Kramers–Kronig relation (definition)

History

2026-11-02: add by m2/dev

WABQHPVTTH WABQHPVTTH

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

Mentions

open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prop:soundness-4 (statement). In PKGMM3P5QY, prop, section 55.8

History

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

lemma WABZ9D2R0D

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

Mentions

wikipedia: Wikipedia Glossary of logic#MLOB, lemma (definition)

History

2026-11-02: add by m2/dev

WAC0GT4NEH WAC0GT4NEH

URI	`m2://inv/WAC0GT4NEH`
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#WODM (statement)

History

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

WAC31T34RB WAC31T34RB

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

Mentions

arxiv: arXiv 2610.02061#OMDI (statement). In F5STMSPR6X/e1, proposition A.14

History

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

Corollary WACDN7MRG4

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

Mentions

wikipedia: Wikipedia Riesz–Thorin theorem#XC5Y, Corollary (statement)

History

2026-11-02: add by m2/dev

Liquid vector space WACGKVTJWK

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

Mentions

wikipedia: Wikipedia Condensed mathematics#8Y6D, Liquid vector space (unknown)

History

2026-11-02: add by m2/dev

Properties WACMGRADB1

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

Mentions

wikipedia: Wikipedia Affine-regular polygon#45E7, Properties (statement)

History

2026-11-02: add by m2/dev

Softmax function WACW05TB5T

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

Mentions

wikipedia: Wikipedia Softmax function, Softmax function (definition). Also Wikidata Q7554146

History

2026-11-02: add by m2/dev

sphenic number WAD0X67KQJ

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

Mentions

wikidata: Wikidata Q638185, sphenic number (definition). Also MathWorld SphenicNumber, OEIS A007304, ProofWiki Definition:Sphenic_Number
wikipedia: Wikipedia Sphenic number, Sphenic number (definition). Also Wikidata Q638185

History

2026-10-26: add by m2/dev

depth-first search WADFYFC6YD

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

Mentions

wikidata: Wikidata Q816319, depth-first search (unknown). Also EoM Depth-first_search, MathWorld Depth-FirstTraversal
wikipedia: Wikipedia Depth-first search, Depth-first search (definition). Also Wikidata Q816319

History

2026-10-26: add by m2/dev

WADGCHGGA5 WADGCHGGA5

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#exercise:supofsum (exercise). In E59CDZA4DP, exercise, section 7.2.5

History

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

AsciiMath WADH1JPKC6

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

Mentions

wikipedia: Wikipedia AsciiMath, AsciiMath (definition). Also Wikidata Q4654110

History

2026-11-02: add by m2/dev

Gompertz, Benjamin WADHZY0J8K

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

Mentions

wikipedia: Wikipedia List of statisticians#99XJ, Gompertz, Benjamin (topic)

History

2026-11-02: add by m2/dev

D'Alembert's principle WADQS4AKJ9

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

Mentions

wikipedia: Wikipedia Generalized forces#KE9D, D'Alembert's principle (statement)

History

2026-11-02: add by m2/dev

Implementations WADYSMB0MZ

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

Mentions

wikipedia: Wikipedia Group centrality#NUIT, Implementations (definition)

History

2026-11-02: add by m2/dev

Construction WADZFT0ZEH

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

Mentions

wikipedia: Wikipedia Square orthobicupola#2S8R, Construction (definition)

History

2026-11-02: add by m2/dev

electromagnetic radiation WAE0ECNBG2

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

Mentions

wikidata: Wikidata Q12969754, electromagnetic radiation (unknown). Also nLab electromagnetic radiation
wikipedia: Wikipedia Electromagnetic radiation, Electromagnetic radiation (definition). Also Wikidata Q12969754

History

2026-10-26: add by m2/dev

LP-type problem WAE1JXP8XE

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

Mentions

wikipedia: Wikipedia LP-type problem, LP-type problem (problem). Also Wikidata Q6459640

History

2026-11-02: add by m2/dev

Stokes WAE33SFZQK

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-45, Stokes (statement). In VNMV985MXX, thm, section C

History

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

Tomasz Maszczyk WAEBV22MVE

URI	`m2://inv/WAEBV22MVE`
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 Q26201838, Tomasz Maszczyk (unknown). Also nLab Tomasz Maszczyk

History

2026-10-26: add by m2/dev

Constant chord theorem WAEEFAZXWP

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

Mentions

wikipedia: Wikipedia List of theorems#GK3S, Constant chord theorem (statement)

History

2026-11-02: add by m2/dev

Sysquake WAEET0QZ56

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#GEQR, Sysquake (unknown)

History

2026-11-02: add by m2/dev

Filtration WAEF825N7K

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

Mentions

arxiv: arXiv 2610.00295#0UFC, Filtration (definition). In 7HXP270BD0/e1, definition 2.2

History

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

Void-growth by power-law creep WAERS8CP6M

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

Mentions

wikipedia: Wikipedia Damage mechanics#G6M9, Void-growth by power-law creep (statement)

History

2026-11-02: add by m2/dev

Piece-wise polynomial approximation of log-concave distributions WAEY8NWDC0

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

Mentions

arxiv: arXiv 2610.21033#N82T, Piece-wise polynomial approximation of log-concave distributions (statement). In A8C1M9BSWH/e1, lemma 8.6

History

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

Big Bang nucleosynthesis WAEZXZ5SNT

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

Mentions

wikipedia: Wikipedia Big Bang nucleosynthesis, Big Bang nucleosynthesis (definition). Also Wikidata Q837317

History

2026-11-02: add by m2/dev

Hexagonal pyramid WAF37SSKQ0

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NKFB, Hexagonal pyramid (object)

History

2026-11-02: add by m2/dev

WAFBXN3M50 WAFBXN3M50

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

Mentions

arxiv: arXiv 1802.02910#TPSL (statement). In AY2MA29921/e1, lemma 013

History

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

WAFEX9TF5Z WAFEX9TF5Z

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

Mentions

napkin: napkin tex/topology/constructions.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 96.6.4

History

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

Kernel gradient descent WAFF798PWT

URI	`m2://inv/WAFF798PWT`
Kind	example
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 2604.23212#149T, Kernel gradient descent (example). In 4X12V9RS0D/e1, example 4

History

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

Definition WAFKV76BQ8

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

Mentions

wikipedia: Wikipedia Presentation of a group#ADGD, Definition (definition)

History

2026-11-02: add by m2/dev

sharpened upper bound WAFMBACH8J

URI	`m2://inv/WAFMBACH8J`
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.14050#01B5, sharpened upper bound (statement). In RENT22YXW3/e1, theorem 5.5

History

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

Two-point Hermitian Codes versus One-Point Hermitian Codes WAFP03RV1R

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

Mentions

arxiv: arXiv 2609.31484#BHV8, Two-point Hermitian Codes versus One-Point Hermitian Codes (statement). In 1RDQ10G87W/e1, proposition 4.6

History

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

WAFXJPJJ48 WAFXJPJJ48

URI	`m2://inv/WAFXJPJJ48`
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.33820#IES2 (statement). In S2ZMJENDHA/e1, theorem 2.1

History

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

Machin-like formula WAG3ND5467

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

Mentions

wikipedia: Wikipedia Approximations of pi#ETXI, Machin-like formula (statement)

History

2026-11-02: add by m2/dev

WAG4E4KPC3 WAG4E4KPC3

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

Mentions

arxiv: arXiv 2609.37520#5EO7 (statement). In BDN507RN7J/e1, proposition 3.2.14

History

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

Plus construction WAG7YZF5ET

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

Mentions

wikipedia: Wikipedia List of algebraic constructions#KYWY, Plus construction (definition)
wikipedia: Wikipedia List of algebraic topology topics#9C1C, Plus construction (definition)

History

2026-11-02: add by m2/dev

International Society for Mathematical Sciences WAGFXS9Q3A

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

Mentions

wikipedia: Wikipedia International Society for Mathematical Sciences, International Society for Mathematical Sciences (definition). Also Wikidata Q6053364

History

2026-11-02: add by m2/dev

Vogan diagram WAGKEFMCJ4

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

Mentions

wikipedia: Wikipedia Vogan diagram, Vogan diagram (definition). Also Wikidata Q7939367

History

2026-11-02: add by m2/dev

WAGVA5A9FD WAGVA5A9FD

URI	`m2://inv/WAGVA5A9FD`
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.01970#NIXS (statement). In 1B400PB2NJ/e1, proposition A.3

History

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

Bernard Moret WAH1GSGRXB

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#L020, Bernard Moret (unknown)

History

2026-11-02: add by m2/dev

Paul Butzer WAH29VGYYF

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

Mentions

wikipedia: Wikipedia Paul Butzer, Paul Butzer (topic). Also Wikidata Q15438820

History

2026-11-02: add by m2/dev

Demographics of Tees Valley WAH47F6YK8

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

Mentions

wikipedia: Wikipedia Demographics of Tees Valley, Demographics of Tees Valley (definition). Also Wikidata Q124119545

History

2026-11-02: add by m2/dev

Fáry's theorem WAH8YHWM3H

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

Mentions

wikipedia: Wikipedia List of theorems#FVNC, Fáry's theorem (statement)

History

2026-11-02: add by m2/dev

Berge's theorem WAH9PN6ZTF

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

Mentions

mathlib_1000: mathlib_1000 Q552367, Berge's theorem (statement). Also Wikidata Q552367
thousand_plus: thousand_plus Q552367, Berge's theorem (statement). Also Wikidata Q552367, Wikipedia Berge's theorem
wikipedia: Wikipedia Berge's theorem, Berge's theorem (statement). Also Wikidata Q552367

History

2026-10-26: add by m2/dev

WAHAMA5HBC WAHAMA5HBC

URI	`m2://inv/WAHAMA5HBC`
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.01015#IU52 (statement). In PSH07NKZ62/e1, lemma 12

History

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

WAHDYBS5FF WAHDYBS5FF

URI	`m2://inv/WAHDYBS5FF`
Kind	definition
Layer	research
MSC	03-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.01919#J4OM (definition). In 4H727T2YAS/e1, definition 9.1

History

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

Definition WAHGW1NA4K

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

Mentions

wikipedia: Wikipedia Second covariant derivative#XQCU, Definition (definition)

History

2026-11-02: add by m2/dev

WAHKRSKCH7 WAHKRSKCH7

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

Mentions

arxiv: arXiv 2610.11468#CX64 (example). In FR4FDRHZJT/e1, example 4.2

History

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

WAHSEW96GG WAHSEW96GG

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

Mentions

arxiv: arXiv 2512.08487#77SR (statement). In 77TVQVYN0Z/e1, proposition 13

History

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

Adámek's fixed point theorem WAHSJQY4AG

URI	`m2://inv/WAHSJQY4AG`
Kind	statement
Layer	research
MSC	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 2405.14678#2NSS, Adámek's fixed point theorem (statement). In 9ZSNSJRJ5N/e1, theorem 3.3

History

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

WAHX689HVF WAHX689HVF

URI	`m2://inv/WAHX689HVF`
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.26386#MCW1 (statement)

History

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

WAHZVKA8ES WAHZVKA8ES

URI	`m2://inv/WAHZVKA8ES`
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#D3IN (statement)

History

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

matrix form and sparsity WAHZX291N0

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

Mentions

arxiv: arXiv 2609.39511#TJ4D, matrix form and sparsity (statement). In 6W9H24A378/e1, corollary 6

History

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

Laszlo B. Kish WAJ1RG1MJV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#T76P, Laszlo B. Kish (unknown)

History

2026-11-02: add by m2/dev

WAJA3WCY94 WAJA3WCY94

URI	`m2://inv/WAJA3WCY94`
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 2503.01567#TATY (statement). In GB0V23Q6C5/e1, lemma 5.5

History

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

WAJC23Y7X6 WAJC23Y7X6

URI	`m2://inv/WAJC23Y7X6`
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.21258#7S8J (statement). In PN98BKSKZP/e1, theorem 3.1

History

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

WAJDR46SWR WAJDR46SWR

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

Mentions

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

History

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

Orbit data of the square-subgroup affine group WAJKPVEQRS

URI	`m2://inv/WAJKPVEQRS`
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.15340#P9LZ, Orbit data of the square-subgroup affine group (statement). In 9NVKKW8HDH/e1, theorem 2.110

History

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

Snapshot algorithm WAJPT0E49V

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

Mentions

wikipedia: Wikipedia List of algorithms#C55S, Snapshot algorithm (unknown)

History

2026-11-02: add by m2/dev

Properties WAJRY4BXWK

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

Mentions

wikipedia: Wikipedia Tautological one-form#MG51, Properties (statement)

History

2026-11-02: add by m2/dev

WAJTE6F0X3 WAJTE6F0X3

URI	`m2://inv/WAJTE6F0X3`
Kind	statement
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.12513#848Y (statement). In VM9V8SXEA2/e1, proposition 1

History

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

Extensions WAJVV6GREB

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

Mentions

wikipedia: Wikipedia Arrow–Debreu model#1P7K, Extensions (statement)

History

2026-11-02: add by m2/dev

Snub dodecadodecahedron WAJWP4KM56

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0VL0, Snub dodecadodecahedron (object)

History

2026-11-02: add by m2/dev

WAJZ6J7WN6 WAJZ6J7WN6

URI	`m2://inv/WAJZ6J7WN6`
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.00512#SUS1 (statement). In RB5QBG3MJY/e1, theorem 5.2

History

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

WAK41SC3QD WAK41SC3QD

URI	`m2://inv/WAK41SC3QD`
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 2610.19533#JHR0 (statement). In RG4Z9C6ANS/e1, theorem 5.1

History

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

WAK5T0DRG9 WAK5T0DRG9

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

Mentions

hott_book: hott_book hits.tex#proof-2 (proof). In N54F33XE07, proof, section 5.2

History

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

WAKC30RW1N WAKC30RW1N

URI	`m2://inv/WAKC30RW1N`
Kind	statement
Layer	research
MSC	19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.09812#LP7L (statement). In NWWKD8YX57/e1, corollary 2.9

History

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

WAKCJXH91T WAKCJXH91T

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

Mentions

arxiv: arXiv 2610.19333#OM62 (statement). In 5Y3HF693YB/e1, corollary 1.2

History

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

WAKCYWB3V1 WAKCYWB3V1

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

Mentions

arxiv: arXiv 2609.24795#AW9M (definition)

History

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

WAKFQQ4NZ5 WAKFQQ4NZ5

URI	`m2://inv/WAKFQQ4NZ5`
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 2203.16454#7AL1 (statement). In BD8G9W4ZRQ/e1, lemma 3

History

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

WAKFVJN0TY WAKFVJN0TY

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

Mentions

arxiv: arXiv 2609.25062#OO6D (statement)

History

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

Lemma 1 WAKHYY88Q3

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

Mentions

wikipedia: Wikipedia Container method#OGWS, Lemma 1 (statement)

History

2026-11-02: add by m2/dev

*{Theorem 4.1 WAKR1HG5NT

URI	`m2://inv/WAKR1HG5NT`
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 2411.17227#MT7Q, *{Theorem 4.1 (statement). In DDNP38CHQJ/e1, theorem 3.7

History

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

WAKT5BCRPA WAKT5BCRPA

URI	`m2://inv/WAKT5BCRPA`
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 2204.01121#K2VE (statement). In 1HP57QXBGF/e1, theorem 5

History

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

WAKTHSRXXQ WAKTHSRXXQ

URI	`m2://inv/WAKTHSRXXQ`
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.04772#EBJY (statement). In WW08CYN4D4/e1, theorem 1.3

History

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

Descent along torsors WAKXYFK0TH

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

Mentions

wikipedia: Wikipedia Descent along torsors, Descent along torsors (definition). Also Wikidata Q25098891

History

2026-11-02: add by m2/dev

GI (complexity) WAM06C0BQ2

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

Mentions

wikipedia: Wikipedia Graph isomorphism problem#KKLI, GI (complexity) (unknown)

History

2026-11-02: add by m2/dev

Morse theory WAM2E3KW72

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#MF9A, Morse theory (definition)

History

2026-11-02: add by m2/dev

Internal routing is quotiented WAM3CFAN5Q

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

Mentions

arxiv: arXiv 2609.20478#OYNV, Internal routing is quotiented (statement)

History

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

Systematic review WAM48426VV

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

Mentions

wikipedia: Wikipedia List of statistics articles#T88Z, Systematic review (definition)

History

2026-11-02: add by m2/dev

WAM7MZV0RX WAM7MZV0RX

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

Mentions

arxiv: arXiv 2610.14502#9NZ1 (statement). In 6BVBMTYXNZ/e1, lemma 2.1

History

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

Elizabeth Meckes WAM9KFJFNP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0B7C, Elizabeth Meckes (topic)

History

2026-11-02: add by m2/dev

Extensions WAMDRXRD6F

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

Mentions

wikipedia: Wikipedia Information bottleneck method#GMLS, Extensions (statement)

History

2026-11-02: add by m2/dev

Theorem (Pudlák 1985) WAMHEZ96TV

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

Mentions

wikipedia: Wikipedia Congruence lattice problem#ONSL, Theorem (Pudlák 1985) (statement)

History

2026-11-02: add by m2/dev

WAN66Y2WCA WAN66Y2WCA

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

Mentions

arxiv: arXiv 2610.19194#DLCZ (statement). In P9D8W64P7X/e1, theorem 5.3

History

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

Definitions WAN7GE0M5Y

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

Mentions

wikipedia: Wikipedia Chirp#CI3Z, Definitions (definition)

History

2026-11-02: add by m2/dev

Tor2web WANE8PPS0R

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

Mentions

wikipedia: Wikipedia Tor2web, Tor2web (definition). Also Wikidata Q15735491

History

2026-11-02: add by m2/dev

WANRRS16AM WANRRS16AM

URI	`m2://inv/WANRRS16AM`
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.35123#UHTL (statement). In 6106R88BNE/e1, proposition 1.3

History

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

WANYYMRPQD WANYYMRPQD

URI	`m2://inv/WANYYMRPQD`
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.27941#2MMR (statement)

History

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

WAP1DYFRC9 WAP1DYFRC9

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

Mentions

arxiv: arXiv 2609.37897#6NXI (statement). In RBQ5FNCVNZ/e1, corollary E.4

History

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

WAP259SNP6 WAP259SNP6

URI	`m2://inv/WAP259SNP6`
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.20588#M2MI (statement)

History

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

Definition WAP2CBVXYT

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

Mentions

wikipedia: Wikipedia Positive linear operator#2VES, Definition (definition)

History

2026-11-02: add by m2/dev

WAP3817PB2 WAP3817PB2

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

Mentions

arxiv: arXiv 2610.10559#C539 (statement). In WEP0PNJW09/e1, theorem 2.6

History

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

WAP4GB34HK WAP4GB34HK

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

Mentions

arxiv: arXiv 2610.13100#4H1P (statement). In CC6S1HVK0T/e1, lemma 9.5

History

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

Riesz–Thorin theorem WAP5H9Q9NW

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

Mentions

wikipedia: Wikipedia List of theorems#5413, Riesz–Thorin theorem (statement)

History

2026-11-02: add by m2/dev

WAP5XP4058 WAP5XP4058

URI	`m2://inv/WAP5XP4058`
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.10796#DL2E (statement). In 9YDW0QJZ6K/e1, theorem 6.4

History

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

WAPHYCCKJ6 WAPHYCCKJ6

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

Mentions

open_logic: open_logic content/first-order-logic/models-theories/expressing-relations.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 12.9

History

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

Statistical methods for image denoising WAPKHG71B5

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

Mentions

wikipedia: Wikipedia Noise reduction#59O8, Statistical methods for image denoising (unknown)

History

2026-11-02: add by m2/dev

monotonic logic WAPMPJ9DD4

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

Mentions

wikipedia: Wikipedia Glossary of logic#4088, monotonic logic (definition)

History

2026-11-02: add by m2/dev

792 (number) WAPPEF5TN0

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

Mentions

wikipedia: Wikipedia 700 (number)#W44B, 792 (number) (unknown)

History

2026-11-02: add by m2/dev

WAPPEQY7D9 WAPPEQY7D9

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-51 (exercise). In E59CDZA4DP, exercise, section 1.6.1

History

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

year WAPQFPW6MX

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

Mentions

wikidata: Wikidata Q577, year (definition). Also nLab year, ProofWiki Definition:Time/Unit/Year

History

2026-10-26: add by m2/dev

WAPXQRJT1B WAPXQRJT1B

URI	`m2://inv/WAPXQRJT1B`
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.21934#9EBU (statement). In YKD51BX3XB/e1, lemma 8.11

History

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

context-free grammar WAQB51Z9Q1

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

Mentions

mathlib_overview: mathlib_overview Logic and computation > Formal languages > context-free grammar, context-free grammar (unknown). Also Mathlib ContextFreeGrammar

History

2026-10-26: add by m2/dev

Direct limit WAQBN87QXG

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#YAPQ, Direct limit (definition)

History

2026-11-02: add by m2/dev

WAQKZE1TP5 WAQKZE1TP5

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

Mentions

napkin: napkin tex/measure/swapsum.tex#proof-1 (proof). In RZP28ERRZV, proof, section 70.4

History

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

WAQTKTBSX9 WAQTKTBSX9

URI	`m2://inv/WAQTKTBSX9`
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.30575#9KE0 (statement). In 6WFFY0QM27/e1, theorem 1.6

History

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

WAQVVSST1M WAQVVSST1M

URI	`m2://inv/WAQVVSST1M`
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 0904.3493#F9RT (statement). In 1ARY7220P4/e1, proposition 3.5

History

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

Ordered set operators WAQXV0BM64

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

Mentions

wikipedia: Wikipedia Ordered set operators, Ordered set operators (definition). Also Wikidata Q25303883

History

2026-11-02: add by m2/dev

Degasperis–Procesi equation WAR08E87CZ

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

Mentions

wikipedia: Wikipedia Degasperis–Procesi equation, Degasperis–Procesi equation (definition). Also Wikidata Q5251760

History

2026-11-02: add by m2/dev

The Gaussian field WAR14QW9RS

URI	`m2://inv/WAR14QW9RS`
Kind	example
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.17137#AQQB, The Gaussian field (example). In GKHSE92M91/e1, example 13

History

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

Set-forcing preservation WAR1QFMVED

URI	`m2://inv/WAR1QFMVED`
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#LTK9, Set-forcing preservation (statement). In 28BAGZRCKG/e1, theorem 3.4

History

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

WAR7M83MMH WAR7M83MMH

URI	`m2://inv/WAR7M83MMH`
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.28323#K6WK (statement)

History

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

Yeshimabeit Milner WAR8G3345C

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

Mentions

wikipedia: Wikipedia Yeshimabeit Milner, Yeshimabeit Milner (topic). Also Wikidata Q104854845

History

2026-11-02: add by m2/dev

WAR8M2F2ZT WAR8M2F2ZT

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

Mentions

arxiv: arXiv 2609.26401#IBT9 (definition)

History

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

WARA6NC6E7 WARA6NC6E7

URI	`m2://inv/WARA6NC6E7`
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 2609.32174#2UEB (definition). In GHKR740SG3/e1, definition 7.1

History

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

induction principle WARAZ1NYZT

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

Mentions

hott_book: hott_book index/A.5/induction-principle, induction principle (concept). In N54F33XE07, index, section A.5

History

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

5-polytope WARC4HEMB1

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

Mentions

wikipedia: Wikipedia 5-polytope, 5-polytope (definition). Also Wikidata Q4639678

History

2026-11-02: add by m2/dev

WARCR9X00B WARCR9X00B

URI	`m2://inv/WARCR9X00B`
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 math/0411039#2R7J (statement). In ZTBDXSKFFW/e1, lemma 4.4

History

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

WARDQC6YC2 WARDQC6YC2

URI	`m2://inv/WARDQC6YC2`
Kind	statement
Layer	research
MSC	03-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.20718#WQZ9 (statement)

History

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

Dirichlet WARJTT89FM

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

Mentions

wikipedia: Wikipedia Glossary of number theory#AI89, Dirichlet (definition)

History

2026-11-02: add by m2/dev

Alistair Sinclair WARKH6K2SM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JHP4, Alistair Sinclair (unknown)
wikipedia: Wikipedia List of people by Erdős number#XS7C, Alistair Sinclair (unknown)

History

2026-11-02: add by m2/dev

Weitzenböck identity WARYB887HP

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#BKYL, Weitzenböck identity (statement)

History

2026-11-02: add by m2/dev

Pavel Tichý WAS7KGWXHK

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

Mentions

wikipedia: Wikipedia List of logicians#K1V1, Pavel Tichý (topic)

History

2026-11-02: add by m2/dev

Pocklington--Lehmer certificate WASS9J34D9

URI	`m2://inv/WASS9J34D9`
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 2606.18859#QJRW, Pocklington--Lehmer certificate (statement). In EVRAASXEDY/e1, theorem 2.3

History

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

WASV2W14SP WASV2W14SP

URI	`m2://inv/WASV2W14SP`
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.37265#L4TI (statement). In BKYAWEC5XH/e1, theorem 5.5

History

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

WASW797Y35 WASW797Y35

URI	`m2://inv/WASW797Y35`
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.15504#Y71R (statement). In AZ8SEW6HAV/e1, lemma 4

History

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

WAT017XZRM WAT017XZRM

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

Mentions

arxiv: arXiv 2609.24577#SDQK (statement)

History

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

WAT4KMCKT9 WAT4KMCKT9

URI	`m2://inv/WAT4KMCKT9`
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 2609.38742#BFF1 (statement). In TSXBJB0EXK/e1, corollary 6.3

History

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

Applications WAT7GTR9TQ

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

Mentions

wikipedia: Wikipedia Skinny triangle#75ZJ, Applications (example)

History

2026-11-02: add by m2/dev

Convergence to strong solutions WATF3KZ5S9

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

Mentions

arxiv: arXiv 2609.20998#I92Y, Convergence to strong solutions (statement)

History

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

WATKS3N844 WATKS3N844

URI	`m2://inv/WATKS3N844`
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 2111.07717#UOLD (statement). In AXFXGWG7ZG/e1, lemma 4.2

History

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

Jack K. Hale WATNMF94Y8

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

Mentions

wikipedia: Wikipedia Jack K. Hale, Jack K. Hale (topic). Also Wikidata Q15454445

History

2026-11-02: add by m2/dev

Shlomo Argamon WATXVNJB1D

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QEII, Shlomo Argamon (unknown)

History

2026-11-02: add by m2/dev

WAV31H7NHA WAV31H7NHA

URI	`m2://inv/WAV31H7NHA`
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.05216#D20S (statement). In J1VCHM6V0S/e1, proposition 2.13

History

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

WAV7B2R4WS WAV7B2R4WS

URI	`m2://inv/WAV7B2R4WS`
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.11034#ONT8 (statement). In 2KACPY9MMF/e1, proposition 4.8

History

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

Elliott Mendelson WAV8GM9JPR

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

Mentions

wikipedia: Wikipedia Elliott Mendelson, Elliott Mendelson (topic). Also Wikidata Q5365699

History

2026-11-02: add by m2/dev

Definitions and properties WAV9SCPQNF

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

Mentions

wikipedia: Wikipedia Monomial ideal#SVLL, Definitions and properties (definition)

History

2026-11-02: add by m2/dev

WAV9TBXE4C WAV9TBXE4C

URI	`m2://inv/WAV9TBXE4C`
Kind	example
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.16193#A5IS (example). In 1Q0A9HSTVP/e1, example 2

History

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

Pinniped WAVEJJWAGX

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#YG4C, Pinniped (unknown)

History

2026-11-02: add by m2/dev

megabyte WAVHEZ935V

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

Mentions

wikidata: Wikidata Q79735, megabyte (unknown). Also MathWorld Megabyte

History

2026-10-26: add by m2/dev

WAVQX2Q50Y WAVQX2Q50Y

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

Mentions

wikidata: Wikidata Q114722646 (topic)

History

2026-10-26: add by m2/dev

WAVTARH0D3 WAVTARH0D3

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

Mentions

open_logic: open_logic content/proof-theory/sequent-calculus/invertibility.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 61.9

History

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

WAVWE7X6F8 WAVWE7X6F8

URI	`m2://inv/WAVWE7X6F8`
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 2610.03081#PGHO (statement). In TX0H26X4VX/e1, lemma 8.14

History

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

WAVXDDXJ5B WAVXDDXJ5B

URI	`m2://inv/WAVXDDXJ5B`
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.05829#7TKN (statement). In ZH9NNSEKMD/e1, theorem 3.3

History

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

Florence Parry Heide WAVZ1A52GE

URI	`m2://inv/WAVZ1A52GE`
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#4ZT5, Florence Parry Heide (unknown)

History

2026-11-02: add by m2/dev

Pointwise convergence WAVZ1DC7DZ

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

Mentions

arxiv: arXiv 2609.20274#VRVQ, Pointwise convergence (statement)

History

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

Applications WAW882T11J

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

Mentions

wikipedia: Wikipedia Snub disphenoid#7JQK, Applications (example)

History

2026-11-02: add by m2/dev

Sylvester's rank inequality WAWB239AHK

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

Mentions

wikipedia: Wikipedia List of inequalities#LVWL, Sylvester's rank inequality (definition)

History

2026-11-02: add by m2/dev

WAWBR67J3W WAWBR67J3W

URI	`m2://inv/WAWBR67J3W`
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.20798#AQKW (statement)

History

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

WAWEK23JDV WAWEK23JDV

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

Mentions

hott_book: hott_book logic.tex#proof-7 (proof). In N54F33XE07, proof, section 9.3

History

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

Graded algebra WAWMDSF33P

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#56S5, Graded algebra (definition)
wikipedia: Wikipedia List of algebras#X4D5, Graded algebra (definition)

History

2026-11-02: add by m2/dev

WAWR00CPGX WAWR00CPGX

URI	`m2://inv/WAWR00CPGX`
Kind	statement
Layer	research
MSC	16-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.09544#X90W (statement). In DYBM6Q2K6R/e1, corollary 6.2

History

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

WAWRZ33X23 WAWRZ33X23

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

Mentions

napkin: napkin tex/calculus/limits.tex#example-7 (example). In RZP28ERRZV, example, section 32.4

History

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

Erdős problem 728 WAWVYJGZW1

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

Mentions

wikipedia: Wikipedia List of conjectures by Paul Erdős#0HWY, Erdős problem 728 (unknown)

History

2026-11-02: add by m2/dev

Random group WAXCPC41BY

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

Mentions

wikipedia: Wikipedia Random group, Random group (definition). Also Wikidata Q7291971

History

2026-11-02: add by m2/dev

Exactness of Symmetric Turnover for Nearly-Unitary Inputs WAXCS7T82V

URI	`m2://inv/WAXCS7T82V`
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.12228#GFME, Exactness of Symmetric Turnover for Nearly-Unitary Inputs (statement). In CTQDSD0HAD/e1, theorem 3.3

History

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

Odd-cycle Goodman bound for $p\ge2/3$ WAXR4C2WWX

URI	`m2://inv/WAXR4C2WWX`
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.18277#4XPG, Odd-cycle Goodman bound for $p\ge2/3$ (statement). In YFRNY7S92A/e1, theorem 1.1

History

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

WAXZXRZPA7 WAXZXRZPA7

URI	`m2://inv/WAXZXRZPA7`
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 2609.24701#GLOO (statement)

History

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

WAY2PXF3KC WAY2PXF3KC

URI	`m2://inv/WAY2PXF3KC`
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.38772#XE3Y (statement). In 1C3R5NAQAP/e1, proposition 3.2

History

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

WAY3857YW3 WAY3857YW3

URI	`m2://inv/WAY3857YW3`
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 2604.10080#7A8Y (statement). In KM2FWKP93A/e1, proposition 4.5

History

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

Operations on hyperfunctions WAYQYTX5CT

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

Mentions

wikipedia: Wikipedia Hyperfunction#PPHV, Operations on hyperfunctions (unknown)

History

2026-11-02: add by m2/dev

WAYY0ADVD9 WAYY0ADVD9

URI	`m2://inv/WAYY0ADVD9`
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.03856#FMKB (statement). In HTBRYNPHSJ/e1, theorem 4.2

History

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

WAZ1FV6QRG WAZ1FV6QRG

URI	`m2://inv/WAZ1FV6QRG`
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#FW9J (statement). In EFDRME13PT/e1, lemma 9.8

History

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

Example WAZ71Q7RYV

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

Mentions

wikipedia: Wikipedia Bipartite dimension#00Q7, Example (example)

History

2026-11-02: add by m2/dev

Critical-sum comparison at minimal conductors WAZ7TZRT5E

URI	`m2://inv/WAZ7TZRT5E`
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.30301#0V3U, Critical-sum comparison at minimal conductors (statement). In 7NS75J7HAM/e1, proposition 9.18

History

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

Formulation WAZEE1HXAZ

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

Mentions

wikipedia: Wikipedia Slater's condition#1G96, Formulation (definition)

History

2026-11-02: add by m2/dev

One-block Gaussian approximation WAZG9P5SCB

URI	`m2://inv/WAZG9P5SCB`
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.39144#3Q60, One-block Gaussian approximation (statement). In 814ZF5WMMF/e1, proposition 3

History

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

Oleg V Zaboronski WAZPQ0MF4S

URI	`m2://inv/WAZPQ0MF4S`
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 Q79796639, Oleg V Zaboronski (unknown). Also nLab Oleg Zaboronsky

History

2026-10-26: add by m2/dev

WAZQZZ6YV8 WAZQZZ6YV8

URI	`m2://inv/WAZQZZ6YV8`
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#NP95 (statement). In 22JZ68FGCW/e1, corollary 6.43

History

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

Existential improvement beyond the double semicircle law WAZVF8Y2Y1

URI	`m2://inv/WAZVF8Y2Y1`
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.12357#OU1E, Existential improvement beyond the double semicircle law (statement). In 1F26AF81XP/e1, theorem 1.11

History

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

Theorem WAZWTWEWA5

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

Mentions

wikipedia: Wikipedia Second moment method#V1BK, Theorem (statement)

History

2026-11-02: add by m2/dev