Inventory rows G7

Brakke flow G702W3RMKE

URI	`m2://inv/G702W3RMKE`
Kind	definition
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.15511#23O1, Brakke flow (definition). In TZM08VJAQT/e1, definition 2.7

History

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

F. and M. Riesz theorem G7050QT221

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

Mentions

wikipedia: Wikipedia List of theorems#ILHI, F. and M. Riesz theorem (statement)

History

2026-11-02: add by m2/dev

Nazım Terzioğlu G7058454N6

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

Mentions

wikipedia: Wikipedia Nazım Terzioğlu, Nazım Terzioğlu (topic). Also Wikidata Q16008106

History

2026-11-02: add by m2/dev

G70CP57T2E G70CP57T2E

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

Mentions

arxiv: arXiv 2610.16834#PV8H (statement). In Q0DTV6PJJW/e1, lemma 5.1

History

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

propositional resizing G70D859CA4

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

Mentions

hott_book: hott_book index/C.1.3/propositional-resizing, propositional resizing (concept). In N54F33XE07, index, section C.1.3

History

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

William Bigelow Easton G70EB3WHEB

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

Mentions

wikipedia: Wikipedia William Bigelow Easton, William Bigelow Easton (topic). Also Wikidata Q17748093

History

2026-11-02: add by m2/dev

G70EQK0AJS G70EQK0AJS

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

Mentions

hott_book: hott_book homotopy.tex#defn-5 (definition). In N54F33XE07, defn, section 7.5.2

History

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

nerve theorem G70JC1WRZX

URI	`m2://inv/G70JC1WRZX`
Kind	statement
Layer	textbook
MSC	54-XX, 55-XX
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15099#BLM0, nerve theorem (statement). In PF5JJ9DS8Q/e1, theorem 7.3.1
wikidata: Wikidata Q78344221, nerve theorem (statement). Also nLab nerve theorem

History

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

G70WAXC6AS G70WAXC6AS

URI	`m2://inv/G70WAXC6AS`
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 2411.16655#1OPI (statement). In EJHAXRV685/e1, lemma 3.1

History

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

Cooper Harold Langford G71GGYRTKN

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

Mentions

wikipedia: Wikipedia Cooper Harold Langford, Cooper Harold Langford (topic). Also Wikidata Q5167772

History

2026-11-02: add by m2/dev

G71MXD6ABE G71MXD6ABE

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

Mentions

arxiv: arXiv 2610.09949#WQT2 (definition). In VGJVFCDV8A/e1, definition 2.6

History

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

G71NJMTR6F G71NJMTR6F

URI	`m2://inv/G71NJMTR6F`
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.15700#JCQA (statement). In S95MSZ7MDR/e1, lemma 3.6

History

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

Lemma G71VF93B2Z

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

Mentions

wikipedia: Wikipedia Parikh's theorem#AKGQ, Lemma (statement)

History

2026-11-02: add by m2/dev

Definition and examples G720TZJ5DW

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

Mentions

wikipedia: Wikipedia Perverse sheaf#L5HS, Definition and examples (definition)

History

2026-11-02: add by m2/dev

G724F1MTJ9 G724F1MTJ9

URI	`m2://inv/G724F1MTJ9`
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.10221#95JY (statement). In 9Z5M655EPV/e1, corollary 4.7

History

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

Schwarz-Ahlfors Lemma G7275H72RH

URI	`m2://inv/G7275H72RH`
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#VOH7, Schwarz-Ahlfors Lemma (statement). In BT6E9BXXF3/e1, lemma 4.9

History

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

G72A412Y9D G72A412Y9D

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

Mentions

arxiv: arXiv 1804.05688#JYQ0 (proof). In M8F4PDHH3S/e1, proof

History

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

G72FGH35FA G72FGH35FA

URI	`m2://inv/G72FGH35FA`
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 2404.14312#GVVI (statement). In SEPBZN2DRH/e1, lemma 2

History

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

Representer theorem for the inner problem G72FXSTE70

URI	`m2://inv/G72FXSTE70`
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.34474#44OD, Representer theorem for the inner problem (statement). In R8417G6ABM/e1, theorem 3.1

History

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

Hessenberg product G72GAQ778M

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

Mentions

wikipedia: Wikipedia Ordinal arithmetic#W4DS, Hessenberg product (unknown)

History

2026-11-02: add by m2/dev

István Gyöngy G72JV787WM

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

Mentions

wikipedia: Wikipedia István Gyöngy, István Gyöngy (topic). Also Wikidata Q6089223

History

2026-11-02: add by m2/dev

Smallest-circle problem G72RCJM37R

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

Mentions

wikipedia: Wikipedia Smallest-circle problem, Smallest-circle problem (problem). Also Wikidata Q2591189

History

2026-11-02: add by m2/dev

Horvitz–Thompson estimator G72SRYRTJW

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

Mentions

wikipedia: Wikipedia Horvitz–Thompson estimator, Horvitz–Thompson estimator (definition). Also Wikidata Q17027597

History

2026-11-02: add by m2/dev

Tannaka-Artin problem G72T5K6MJR

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

Mentions

wikipedia: Wikipedia Dieudonné determinant#JR08, Tannaka-Artin problem (unknown)

History

2026-11-02: add by m2/dev

Solution to MacMahon's conjecture G72WSRZGD4

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

Mentions

wikipedia: Wikipedia J. Howard Redfield#ON8O, Solution to MacMahon's conjecture (statement)

History

2026-11-02: add by m2/dev

G72ZE0VHZJ G72ZE0VHZJ

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

Mentions

arxiv: arXiv 2610.03851#8K9H (statement). In HNV63B8Y1A/e1, lemma 3.4

History

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

Vorlesungen über Zahlentheorie G730WZ8MNB

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

Mentions

wikipedia: Wikipedia Vorlesungen über Zahlentheorie, Vorlesungen über Zahlentheorie (definition). Also Wikidata Q2490966

History

2026-11-02: add by m2/dev

G732EZV3MJ G732EZV3MJ

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

Mentions

arxiv: arXiv 2609.20128#3KSD (statement)

History

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

quantum chromodynamics G738V1022C

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

Mentions

wikidata: Wikidata Q238170, quantum chromodynamics (unknown). Also nLab QCD
wikipedia: Wikipedia Quantum chromodynamics, Quantum chromodynamics (topic). Also Wikidata Q238170

History

2026-10-26: add by m2/dev

The branch as the limit of the selected leaves G73AAHT8NV

URI	`m2://inv/G73AAHT8NV`
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.18350#Q8KE, The branch as the limit of the selected leaves (statement). In A20E8FZS21/e1, proposition A.5

History

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

Anaximander G73JTA9NKK

URI	`m2://inv/G73JTA9NKK`
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 Q42458, Anaximander (unknown). Also ProofWiki Mathematician:Anaximander_of_Miletus

History

2026-10-26: add by m2/dev

Malgrange–Ehrenpreis theorem G73PFKHFQA

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

Mentions

wikipedia: Wikipedia List of theorems#2IC4, Malgrange–Ehrenpreis theorem (statement)

History

2026-11-02: add by m2/dev

G73PNHAQHJ G73PNHAQHJ

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

Mentions

arxiv: arXiv 2610.18618#3DW7 (statement). In C8VC86B6H8/e1, lemma A.2

History

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

G73QD6G7GJ G73QD6G7GJ

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

Mentions

arxiv: arXiv 2609.24465#ASVJ (definition)

History

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

solid of revolution G73WWZYR8S

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

Mentions

wikidata: Wikidata Q725939, solid of revolution (unknown). Also MathWorld SolidofRevolution
wikipedia: Wikipedia Solid of revolution, Solid of revolution (definition). Also Wikidata Q725939

History

2026-10-26: add by m2/dev

G73XPBA2NW G73XPBA2NW

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-9 (exercise). In QKM9DD2H56, exercise, section 8

History

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

Variations G742QMFA3X

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

Mentions

wikipedia: Wikipedia Deterministic finite automaton#K80A, Variations (statement)

History

2026-11-02: add by m2/dev

Str8ts G74619YAND

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

Mentions

wikipedia: Wikipedia Str8ts, Str8ts (definition). Also Wikidata Q2352532

History

2026-11-02: add by m2/dev

triple G746J66JJW

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

Mentions

wikidata: Wikidata Q20088882, triple (unknown). Also MathWorld Triple

History

2026-10-26: add by m2/dev

G74AK5K2M8 G74AK5K2M8

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

Mentions

arxiv: arXiv 2609.39293#SRMB (statement). In S26QVW5613/e1, proposition 4.3.5

History

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

cell complex G74CCQWAYN

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

Mentions

hott_book: hott_book index/5.6/cell-complex, cell complex (concept). In N54F33XE07, index, section 5.6

History

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

Mass and total energy G74FKMA57Z

URI	`m2://inv/G74FKMA57Z`
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.13248#TVK0, Mass and total energy (statement). In MGMC5SREP3/e1, lemma 4.1

History

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

annulus theorem G74H8TG737

URI	`m2://inv/G74H8TG737`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Annulus theorem HAT8HG0RCK

Mentions

wikidata: Wikidata Q4769755, annulus theorem (statement). Also MathWorld AnnulusTheorem
wikipedia: Wikipedia Annulus theorem, Annulus theorem (statement). Also Wikidata Q4769755

History

2026-10-26: add by m2/dev

Special switching times G74N7EB6D9

URI	`m2://inv/G74N7EB6D9`
Kind	definition
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 math/0003117#8UWR, Special switching times (definition). In WD2NCBV9F0/e1, definition 10.13

History

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

Superadditive set function G74W66RX3E

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

Mentions

wikipedia: Wikipedia Superadditive set function, Superadditive set function (definition). Also Wikidata Q25304177

History

2026-11-02: add by m2/dev

Pair S2 G74XJCD5Z4

URI	`m2://inv/G74XJCD5Z4`
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.08865#5K9G, Pair S2 (statement). In SJ5JKGH94M/e1, theorem 11

History

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

G752PS9QFZ G752PS9QFZ

URI	`m2://inv/G752PS9QFZ`
Kind	problem
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.16010#FLSD (problem). In AQJXKF6WZP/e1, problem B

History

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

G75779W6BV G75779W6BV

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

Mentions

arxiv: arXiv 2610.19132#9ZL0 (statement). In 3CQJND929F/e1, lemma 1.4

History

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

G75AEE75MY G75AEE75MY

URI	`m2://inv/G75AEE75MY`
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.15472#1C6T (statement). In 5Z3FH46YSY/e1, theorem 3.1

History

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

G75G50CF1B G75G50CF1B

URI	`m2://inv/G75G50CF1B`
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 2412.12141#5XR5 (statement). In V980ZMH759/e1, lemma 3.5

History

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

G75NV57B6R G75NV57B6R

URI	`m2://inv/G75NV57B6R`
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.33552#QNFB (statement). In SRAS2DJJQH/e1, lemma 4.1

History

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

G760AYM6SR G760AYM6SR

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

Mentions

arxiv: arXiv 2208.05276#D9BT (definition). In 4C5XHYTRT2/e1, definition 1.4

History

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

Malliavin representation under the rigidity assumptions G765F35CN5

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

Mentions

arxiv: arXiv 2610.02106#7K3G, Malliavin representation under the rigidity assumptions (statement). In NGKK8ZB29J/e1, lemma 3.7

History

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

multiset G766M16DRJ

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

Mentions

mathlib_overview: mathlib_overview Data structures > Sets > multiset, multiset (unknown). Also Mathlib Multiset

History

2026-10-26: add by m2/dev

G76BS53H82 G76BS53H82

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-9 (exercise). In E59CDZA4DP, exercise, section 2.1.5

History

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

Liouville's transcendence criterion G76C7RMSKH

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

Mentions

wikipedia: Wikipedia Auxiliary function#KFNE, Liouville's transcendence criterion (statement)

History

2026-11-02: add by m2/dev

Properties G76CHRTNFX

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

Mentions

wikipedia: Wikipedia Binary octahedral group#WF2X, Properties (statement)

History

2026-11-02: add by m2/dev

Finite–SNR extremality under nonnegative kernels G76CXRTZW0

URI	`m2://inv/G76CXRTZW0`
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.19715#044Q, Finite–SNR extremality under nonnegative kernels (statement). In XXMP1Z495D/e1, proposition 4

History

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

Hans Werner Ballmann G76CYK0P2P

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

Mentions

wikipedia: Wikipedia Hans Werner Ballmann, Hans Werner Ballmann (topic). Also Wikidata Q107343

History

2026-11-02: add by m2/dev

G76E7RGBZD G76E7RGBZD

URI	`m2://inv/G76E7RGBZD`
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.26948#G0CE (statement)

History

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

Crutchfield situation G76HBJX393

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

Mentions

wikipedia: Wikipedia Crutchfield situation, Crutchfield situation (definition). Also Wikidata Q25339783

History

2026-11-02: add by m2/dev

Comparison principle for viscosity solutions G76HFVG65H

URI	`m2://inv/G76HFVG65H`
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.18744#46FW, Comparison principle for viscosity solutions (statement). In AE07JDH5D3/e1, lemma 5.5

History

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

Irreducible holomorphic eta quotients G76JBDJGNQ

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

Mentions

arxiv: arXiv 2610.10576#ULXO, Irreducible holomorphic eta quotients (definition). In N3ZA5MDZBW/e1, definition 1

History

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

G76JS5N3Q5 G76JS5N3Q5

URI	`m2://inv/G76JS5N3Q5`
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 2608.24190#92KX (definition). In DW7FVA587C/e1, definition 2.2

History

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

G76WF86AP7 G76WF86AP7

URI	`m2://inv/G76WF86AP7`
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.02506#IN2I (statement). In 3JKRBZWJ33/e1, proposition 2.7

History

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

Example G76YP9THHF

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

Mentions

wikipedia: Wikipedia Proizvolov's identity#VAJ6, Example (example)

History

2026-11-02: add by m2/dev

Angular criterion for Lyapunov stability G770DQBQH9

URI	`m2://inv/G770DQBQH9`
Kind	statement
Layer	research
MSC	03-XX, 26-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.12434#WJ2F, Angular criterion for Lyapunov stability (statement). In YCRZC9SDCE/e1, lemma 3.1

History

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

decoupled system G773Q6JJMJ

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

Mentions

austin_ula: austin_ula index/1.2.1/decoupled-system, decoupled system (concept). In 649HGZKE96, index, section 1.2.1

History

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

Ozawa G7775KTGKT

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

Mentions

arxiv: arXiv 2609.34011#6N55, Ozawa (statement). In RAXRNDW2Z0/e1, theorem 2.6

History

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

G777KS6CVM G777KS6CVM

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

Mentions

open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-7 (proof). In PKGMM3P5QY, proof, section 49.1

History

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

G777N7EKHZ G777N7EKHZ

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

Mentions

arxiv: arXiv 2609.29759#PR7S (statement)

History

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

Completeness G77EFYJJNY

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

Mentions

wikipedia: Wikipedia Completeness (statistics), Completeness (definition). Also Wikidata Q2532735

History

2026-11-02: add by m2/dev

Statement G77GV3C3WC

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

Mentions

wikipedia: Wikipedia Hoeffding's lemma#UK21, Statement (statement)

History

2026-11-02: add by m2/dev

Applications G77PKGP824

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

Mentions

wikipedia: Wikipedia Cut locus#FA6O, Applications (example)

History

2026-11-02: add by m2/dev

G77T5Y12PQ G77T5Y12PQ

URI	`m2://inv/G77T5Y12PQ`
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.26600#O2RS (statement)

History

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

G77XHW3Q73 G77XHW3Q73

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

Mentions

arxiv: arXiv 2609.25289#B38I (problem)

History

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

Linear code G77YSTGSSJ

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#O753, Linear code (definition)

History

2026-11-02: add by m2/dev

Pierre Dolbeault G784CPM8SJ

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

Mentions

wikipedia: Wikipedia Pierre Dolbeault, Pierre Dolbeault (topic). Also Wikidata Q464878

History

2026-11-02: add by m2/dev

G78E361P2J G78E361P2J

URI	`m2://inv/G78E361P2J`
Kind	unknown
Layer	research
MSC	14-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2106.06387#GV67 (unknown). In 4YJH4FPWDA/e1, unknown 1.1

History

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

Victor Shoup G78WB10DWF

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

Mentions

wikipedia: Wikipedia List of cryptographers#CPXX, Victor Shoup (topic)
wikipedia: Wikipedia List of cryptographers#W9KI, Victor Shoup (topic)

History

2026-11-02: add by m2/dev

Definition G793871RP5

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

Mentions

wikipedia: Wikipedia Wolstenholme prime#LI8V, Definition (definition)

History

2026-11-02: add by m2/dev

G7970XR734 G7970XR734

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

Mentions

arxiv: arXiv 2610.03756#YHJ0 (statement). In 2381M4GBTT/e1, lemma 8.2

History

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

Eakin–Nagata theorem G79B8HHKWB

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

Mentions

wikipedia: Wikipedia Eakin–Nagata theorem, Eakin–Nagata theorem (statement). Also Wikidata Q85758225

History

2026-11-02: add by m2/dev

Derivatives of $g$ G79BT4ZPN2

URI	`m2://inv/G79BT4ZPN2`
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.21781#T2LI, Derivatives of $g$ (statement). In FEQ72D1AX6/e1, corollary 5.6

History

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

Hypertabastic survival models G79CXWDV54

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

Mentions

wikipedia: Wikipedia Hypertabastic survival models, Hypertabastic survival models (definition). Also Wikidata Q108378080

History

2026-11-02: add by m2/dev

Regina Loewenstein G79E60JBV5

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#7SC4, Regina Loewenstein (topic)

History

2026-11-02: add by m2/dev

Blaschke product G79E745B73

URI	`m2://inv/G79E745B73`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Blaschke product 9N6R5ADJXT

Mentions

wikidata: Wikidata Q4380191, Blaschke product (concept). Also MathWorld BlaschkeProduct
wikipedia: Wikipedia Blaschke product, Blaschke product (definition). Also Wikidata Q4380191

History

2026-10-26: add by m2/dev

G79TZC5QW7 G79TZC5QW7

URI	`m2://inv/G79TZC5QW7`
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#0TTF (statement). In BDN507RN7J/e1, proposition 5.2.3

History

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

Tonal system G79YJFMCPJ

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

Mentions

wikipedia: Wikipedia Tonal system (Nystrom), Tonal system (definition). Also Wikidata Q7820724

History

2026-11-02: add by m2/dev

A filled support G7A0610MMT

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

Mentions

arxiv: arXiv 2609.25120#CG2F, A filled support (statement)

History

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

Laslett, Peter G7AARPNDGT

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

Mentions

wikipedia: Wikipedia List of statisticians#CGR1, Laslett, Peter (unknown)

History

2026-11-02: add by m2/dev

G7AH2XNBV5 G7AH2XNBV5

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

Mentions

arxiv: arXiv 2609.34845#ZSIQ (statement). In SBZNH932ZV/e1, theorem 5.2

History

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

Trairūpya G7AHTQXMHN

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

Mentions

wikipedia: Wikipedia Trairūpya, Trairūpya (definition). Also Wikidata Q7833019

History

2026-11-02: add by m2/dev

G7AM9BD9SX G7AM9BD9SX

URI	`m2://inv/G7AM9BD9SX`
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.29326#1UH7 (statement). In 3F83V6VKKA/e1, proposition 3.3

History

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

Ball expansion G7AVGC9Y52

URI	`m2://inv/G7AVGC9Y52`
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.24568#JPOF, Ball expansion (statement)

History

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

Definition G7AYZP5SQZ

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

Mentions

wikipedia: Wikipedia Markov property#I4WM, Definition (definition)

History

2026-11-02: add by m2/dev

G7B9FS35V0 G7B9FS35V0

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

Mentions

arxiv: arXiv 2610.08594#J9CW (statement). In FEE70SSD96/e1, lemma 5.3

History

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

Finite flat spectral part G7BB47ZJS4

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

Mentions

arxiv: arXiv 2610.05652#7P8U, Finite flat spectral part (definition). In 8BNPFYQDQX/e1, definition 8.2

History

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

G7BD985BZ7 G7BD985BZ7

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

Mentions

arxiv: arXiv 2609.21116#NURE (definition)

History

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

G7BERKP1TD G7BERKP1TD

URI	`m2://inv/G7BERKP1TD`
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 2610.00312#CKT5 (statement). In 41NFABHFXH/e1, proposition 9.2

History

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

G7BGYW67QQ G7BGYW67QQ

URI	`m2://inv/G7BGYW67QQ`
Kind	statement
Layer	research
MSC	20-XX, 22-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.32916#P4HF (statement). In G1RP4JY5PE/e1, lemma 5.1.8

History

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

G7BHHWGX76 G7BHHWGX76

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

Mentions

napkin: napkin tex/topology/compactness.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 95.6

History

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

$K_{2,n}$ G7BRKVHBV3

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

Mentions

arxiv: arXiv 2610.19669#MIRR, $K_{2,n}$ (example). In 1QPAA94Q76/e1, example 4

History

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

Jakob Laub G7BTN3MGD7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8HSQ, Jakob Laub (unknown)

History

2026-11-02: add by m2/dev

G7BYXVTNTF G7BYXVTNTF

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

Mentions

arxiv: arXiv 2610.12983#2RZI (statement). In M6TFZ6E060/e1, theorem 4.11

History

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

G7BZW3R4AY G7BZW3R4AY

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

Mentions

napkin: napkin tex/measure/pontryagin.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 68.2

History

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

What Is Mathematics, Really? G7C0DB5RW0

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

Mentions

wikipedia: Wikipedia List of mathematics books#WXZ2, What Is Mathematics, Really? (unknown)

History

2026-11-02: add by m2/dev

Theorem G7C8T33QZ4

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

Mentions

wikipedia: Wikipedia Fourier series#1CDM, Theorem (statement)

History

2026-11-02: add by m2/dev

G7CAJW50J6 G7CAJW50J6

URI	`m2://inv/G7CAJW50J6`
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.08382#3EVG (statement). In GYMGDQS25R/e1, theorem 5.17

History

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

Manfredo do Carmo G7CE1MC9X0

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#875F, Manfredo do Carmo (topic)

History

2026-11-02: add by m2/dev

G7CGRMPTZ5 G7CGRMPTZ5

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

Mentions

arxiv: arXiv 2609.24465#X9FZ (statement)

History

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

G7CJD4B890 G7CJD4B890

URI	`m2://inv/G7CJD4B890`
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#I1L8 (statement). In QD0X3XJS6T/e1, lemma 7.23

History

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

handlebody G7CK40Y1VG

URI	`m2://inv/G7CK40Y1VG`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Handlebody AP1KY4EHMA

Mentions

wikidata: Wikidata Q1143042, handlebody (unknown). Also MathWorld Handlebody
wikipedia: Wikipedia Handlebody, Handlebody (definition). Also Wikidata Q1143042

History

2026-10-26: add by m2/dev

Formal definitions G7CMG0H9X4

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

Mentions

wikipedia: Wikipedia Abstract family of languages#X2OZ, Formal definitions (definition)

History

2026-11-02: add by m2/dev

G7CPXCMC8Y G7CPXCMC8Y

URI	`m2://inv/G7CPXCMC8Y`
Kind	definition
Layer	research
MSC	14-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 2310.15716#I29R (definition). In 7WDA4MEWE2/e1, definition 5.1

History

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

G7D3GEYC8K G7D3GEYC8K

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

Mentions

arxiv: arXiv 2609.36181#W9YJ (example). In 1KSE33PVS6/e1, example 7

History

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

G7D5GNDDX1 G7D5GNDDX1

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

History

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

João Faria Martins G7D7E0KJ7M

URI	`m2://inv/G7D7E0KJ7M`
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 Q58686343, João Faria Martins (unknown). Also nLab João Faria Martins

History

2026-10-26: add by m2/dev

G7D7WBYQSC G7D7WBYQSC

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

Mentions

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

History

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

G7D8MGN3N4 G7D8MGN3N4

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

History

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

Chern–Weil theory G7DCKH5P0T

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

Mentions

wikipedia: Wikipedia List of things named after André Weil#EIAS, Chern–Weil theory (definition)

History

2026-11-02: add by m2/dev

Wiener algebra G7DGAFNSTJ

URI	`m2://inv/G7DGAFNSTJ`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Wiener algebra 5H8XESYCHQ

Mentions

wikidata: Wikidata Q7999136, Wiener algebra (concept). Also MathWorld WienerAlgebra
wikipedia: Wikipedia Wiener algebra, Wiener algebra (definition). Also Wikidata Q7999136

History

2026-10-26: add by m2/dev

Journal of the Society for Industrial and Applied Mathematics G7DS3J88XT

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

Mentions

wikidata: Wikidata Q28807289, Journal of the Society for Industrial and Applied Mathematics (unknown). Also ProofWiki Book:Journal/Journal_of_the_Society_for_Industrial_and_Applied_Mathematics

History

2026-10-26: add by m2/dev

G7DXGM9C38 G7DXGM9C38

URI	`m2://inv/G7DXGM9C38`
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.17691#38OL (statement). In AT8VD3XB8M/e1, theorem 1.4

History

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

Applications G7E2AF87AC

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

Mentions

wikipedia: Wikipedia Rigid origami#X2S9, Applications (example)

History

2026-11-02: add by m2/dev

Expansion of Substitutions G7E6CPBZBX

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

Mentions

arxiv: arXiv 2610.21131#HRFM, Expansion of Substitutions (statement). In CPYWHRTPKC/e1, lemma 2.31

History

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

Sylvester Medal G7E6YN6278

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

Mentions

wikipedia: Wikipedia List of things named after James Joseph Sylvester#EBML, Sylvester Medal (unknown)

History

2026-11-02: add by m2/dev

Example G7E9DGK2D6

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

Mentions

wikipedia: Wikipedia Initialized fractional calculus#4S9G, Example (example)

History

2026-11-02: add by m2/dev

Properties G7EC49N2TX

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

Mentions

wikipedia: Wikipedia Unit disk graph#GFAU, Properties (statement)

History

2026-11-02: add by m2/dev

Crystal Ball function G7EHAS4MBC

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

Mentions

wikipedia: Wikipedia Crystal Ball function, Crystal Ball function (definition). Also Wikidata Q547461

History

2026-11-02: add by m2/dev

Ray–Knight theorems G7EMET2XYM

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

Mentions

wikipedia: Wikipedia Local time (mathematics)#84GF, Ray–Knight theorems (statement)

History

2026-11-02: add by m2/dev

G7EQF4KYRD G7EQF4KYRD

URI	`m2://inv/G7EQF4KYRD`
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.24509#VKCX (statement)

History

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

G7F1KPZ7XV G7F1KPZ7XV

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

Mentions

arxiv: arXiv 2609.27078#DN8C (statement)

History

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

Indistinguishable process G7F43V3VBY

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

Mentions

wikipedia: Wikipedia Stochastic process#7ZS3, Indistinguishable process (unknown)

History

2026-11-02: add by m2/dev

Elon Lindenstrauss G7F5W3V74K

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#UKIC, Elon Lindenstrauss (topic)

History

2026-11-02: add by m2/dev

Saturated sequence sums G7F7A1TH3J

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

Mentions

arxiv: arXiv 2609.29147#LDGW, Saturated sequence sums (statement)

History

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

Rototranslations G7F8DX7A2Z

URI	`m2://inv/G7F8DX7A2Z`
Kind	example
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.36237#WZX3, Rototranslations (example). In JNBMSFE14N/e1, example 3.11

History

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

Andrea Razmadze G7FAP7VF1M

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

Mentions

wikipedia: Wikipedia Andrea Razmadze, Andrea Razmadze (topic). Also Wikidata Q4388634

History

2026-11-02: add by m2/dev

Sobolev norm bounds for the signal term G7FPHKR75C

URI	`m2://inv/G7FPHKR75C`
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.16705#2WEH, Sobolev norm bounds for the signal term (statement). In B48YQVGAF5/e1, lemma 3.7

History

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

De Nullitate Magiae G7FQ5WXHGG

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

Mentions

wikipedia: Wikipedia Roger Bacon#WJWR, De Nullitate Magiae (unknown)

History

2026-11-02: add by m2/dev

Open-access poll G7FYVJ6FKH

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

Mentions

wikipedia: Wikipedia Open-access poll, Open-access poll (definition). Also Wikidata Q7096311

History

2026-11-02: add by m2/dev

G7G9XMF7JN G7G9XMF7JN

URI	`m2://inv/G7G9XMF7JN`
Kind	statement
Layer	research
MSC	11-XX, 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 2609.28677#K6L9 (statement)

History

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

nice G7GHF3Q8P1

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#BRUE, nice (definition)

History

2026-11-02: add by m2/dev

A robust Gaussian utility gap G7GP82KPQ3

URI	`m2://inv/G7GP82KPQ3`
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#U6OI, A robust Gaussian utility gap (statement). In 9YAE8FNQST/e1, proposition 29.6

History

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

G7GR9231Y7 G7GR9231Y7

URI	`m2://inv/G7GR9231Y7`
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#IOVD (statement). In 443TZD4P0A/e1, theorem 8

History

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

G7H0GMTFA8 G7H0GMTFA8

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

Mentions

arxiv: arXiv 2610.13585#ZNEX (definition). In VM1H86JNN7/e1, definition 2.5

History

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

G7H8KPT6WW G7H8KPT6WW

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

Mentions

arxiv: arXiv 2609.21649#SMLU (statement)

History

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

Statement G7HB09PXZR

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

Mentions

wikipedia: Wikipedia Birch–Tate conjecture#CP93, Statement (statement)

History

2026-11-02: add by m2/dev

G7HBNY65BT G7HBNY65BT

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

Mentions

arxiv: arXiv 2609.25703#K3XC (statement)

History

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

Amplitude amplification G7HDDZ4S1C

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

Mentions

wikipedia: Wikipedia List of algorithms#W7FX, Amplitude amplification (unknown)

History

2026-11-02: add by m2/dev

euclidean relation G7HEFFFXSC

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

Mentions

wikidata: Wikidata Q5406124, euclidean relation (unknown). Also nLab euclidean relation
wikipedia: Wikipedia Euclidean relation, Euclidean relation (definition). Also Wikidata Q5406124

History

2026-10-26: add by m2/dev

International Geomagnetic Reference Field G7HKP9Y9EA

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

Mentions

wikipedia: Wikipedia International Geomagnetic Reference Field, International Geomagnetic Reference Field (definition). Also Wikidata Q3656071

History

2026-11-02: add by m2/dev

G7HPFRWDE7 G7HPFRWDE7

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

Mentions

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

History

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

Klein–Gordon equation G7HPKWVM2D

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

Mentions

wikipedia: Wikipedia List of named differential equations#NTUK, Klein–Gordon equation (definition)
wikipedia: Wikipedia List of partial differential equation topics#VGXA, Klein–Gordon equation (definition)

History

2026-11-02: add by m2/dev

Pierpont prime G7HYZCN5KN

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

Mentions

wikidata: Wikidata Q872371, Pierpont prime (unknown). Also MathWorld PierpontPrime, OEIS A005109
wikipedia: Wikipedia Pierpont prime, Pierpont prime (conjecture). Also Wikidata Q872371

History

2026-10-26: add by m2/dev

Nikolai Günther G7J2TBT85A

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RV7X, Nikolai Günther (topic)

History

2026-11-02: add by m2/dev

G7J576HRZ0 G7J576HRZ0

URI	`m2://inv/G7J576HRZ0`
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.28501#P50R (statement)

History

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

G7JCRAY6ZA G7JCRAY6ZA

URI	`m2://inv/G7JCRAY6ZA`
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 math/0406514#YA2E (statement). In CY1FE8W1ZW/e1, lemma 0.273

History

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

G7JHAY7GZK G7JHAY7GZK

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

Mentions

arxiv: arXiv 2502.02777#K08S (definition). In D8T5GDXERW/e1, definition 2

History

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

Proof skeleton G7JX9R9Q5S

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/opps.tex#proof-5, Proof skeleton (proof). In PKGMM3P5QY, proof, section 69.4

History

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

G7K4FEMWE0 G7K4FEMWE0

URI	`m2://inv/G7K4FEMWE0`
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#IFIZ (statement). In 1CMMK399WQ/e1, lemma 5.2

History

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

Dunce hat G7KCRZQ18N

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

Mentions

wikipedia: Wikipedia Dunce hat (topology), Dunce hat (definition). Also Wikidata Q5314691

History

2026-11-02: add by m2/dev

Lag polynomial G7KF5B5MN4

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

Mentions

wikipedia: Wikipedia Lag operator#RL0T, Lag polynomial (unknown)

History

2026-11-02: add by m2/dev

Alfredo Capelli G7KJBTXHY6

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#DPHX, Alfredo Capelli (topic)
wikipedia: Wikipedia List of Italian mathematicians#M5R3, Alfredo Capelli (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0U4I, Alfredo Capelli (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1T8Y, Alfredo Capelli (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6UTF, Alfredo Capelli (topic)

History

2026-11-02: add by m2/dev

Basic properties G7KPZGEYCT

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

Mentions

wikipedia: Wikipedia Product numerical range#Z51E, Basic properties (statement)

History

2026-11-02: add by m2/dev

G7KWM7PG08 G7KWM7PG08

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

Mentions

open_logic: open_logic content/computability/recursive-functions/bounded-minimization.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 3.18

History

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

Strong operator topology G7M1YF7ZA1

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

Mentions

wikipedia: Wikipedia List of topologies#WOJB, Strong operator topology (definition)

History

2026-11-02: add by m2/dev

G7M2NWP8ZJ G7M2NWP8ZJ

URI	`m2://inv/G7M2NWP8ZJ`
Kind	example
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#64HI (example). In 1RDQ10G87W/e1, example 4.5

History

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

Applications G7M4PP0QSY

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

Mentions

wikipedia: Wikipedia Vector quantization#83KO, Applications (example)

History

2026-11-02: add by m2/dev

rupture field G7M4XNAQHD

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

Mentions

mathlib_overview: mathlib_overview General algebra > Field theory > rupture field, rupture field (unknown). Also Mathlib AdjoinRoot
mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > rupture fields, rupture fields (unknown). Also Mathlib AdjoinRoot

History

2026-10-26: add by m2/dev

Kernel G7M6HYTYVY

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

Mentions

wikipedia: Wikipedia Kernel (set theory), Kernel (definition). Also Wikidata Q687704

History

2026-11-02: add by m2/dev

Spin–statistics theorem G7M87DZE3S

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

Mentions

wikipedia: Wikipedia Spin (physics)#GD3B, Spin–statistics theorem (statement)

History

2026-11-02: add by m2/dev

Inner automorphism G7M9SKD45R

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

Mentions

wikipedia: Wikipedia List of group theory topics#5NDT, Inner automorphism (definition)

History

2026-11-02: add by m2/dev

G7MC6CT8GD G7MC6CT8GD

URI	`m2://inv/G7MC6CT8GD`
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.26600#3SMT (statement)

History

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

Phonon G7MQ9YGMFN

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

Mentions

wikipedia: Wikipedia Phonon, Phonon (definition). Also Wikidata Q186608

History

2026-11-02: add by m2/dev

G7MQHA0D8E G7MQHA0D8E

URI	`m2://inv/G7MQHA0D8E`
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.21359#MFKY (statement)

History

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

G7MQRWTCTN G7MQRWTCTN

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-15 (proof). In E59CDZA4DP, proof, section 11.3.1

History

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

G7MV4NHSYY G7MV4NHSYY

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#example-8 (example). In E9HS8K3A52, example, section 6.4.2

History

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

G7MYQZYA4M G7MYQZYA4M

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

Mentions

arxiv: arXiv 2610.21358#SJFS (statement). In XV70TXYS5A/e1, theorem 4.7

History

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

G7N4W7EYXM G7N4W7EYXM

URI	`m2://inv/G7N4W7EYXM`
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.20900#HSQ8 (definition)

History

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

G7N985EMD5 G7N985EMD5

URI	`m2://inv/G7N985EMD5`
Kind	example
Layer	research
MSC	13-XX, 14-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 2609.38068#5U5X (example). In 67GE5M1GGD/e1, example 7.11

History

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

G7NA7SXS8R G7NA7SXS8R

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

Mentions

arxiv: arXiv 2610.04252#B555 (statement). In ZF0Z61VQ96/e1, lemma 4.7

History

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

Explicit formula G7NF9F1KBJ

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

Mentions

wikipedia: Wikipedia Hermite interpolation#W7NQ, Explicit formula (statement)

History

2026-11-02: add by m2/dev

G7NPFFH2F7 G7NPFFH2F7

URI	`m2://inv/G7NPFFH2F7`
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#QS10 (statement). In Q5Z178SAHP/e1, theorem 4.2

History

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

Rational difference equation G7NQ40428M

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#I93B, Rational difference equation (definition)

History

2026-11-02: add by m2/dev

Social network change detection G7NTBYM6M7

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

Mentions

wikipedia: Wikipedia List of statistics articles#I6AL, Social network change detection (definition)

History

2026-11-02: add by m2/dev

weak solution of partial derivative equation G7P1NMZX71

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

Mentions

mathlib_undergrad: mathlib_undergrad Distribution calculus > Applications > weak solution of partial derivative equation, weak solution of partial derivative equation (unknown)

History

2026-10-26: add by m2/dev

States G7P2G8N0JG

URI	`m2://inv/G7P2G8N0JG`
Kind	definition
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#RM59, States (definition). In JY6RYSNXMJ/e1, definition 5

History

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

G7P3HQ3HNC G7P3HQ3HNC

URI	`m2://inv/G7P3HQ3HNC`
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 2308.02672#QNTO (statement). In ETRT1R1CQ8/e1, theorem 4.1

History

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

G7PBRH2SJW G7PBRH2SJW

URI	`m2://inv/G7PBRH2SJW`
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 2407.04161#HTH7 (statement). In JBZJ7NPQ4G/e1, proposition 6.5

History

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

G7PDP3H87N G7PDP3H87N

URI	`m2://inv/G7PDP3H87N`
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.10372#MZQW (statement). In P77W283VXT/e1, corollary 4.5

History

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

G7Q2R27DFV G7Q2R27DFV

URI	`m2://inv/G7Q2R27DFV`
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.32104#3FOK (statement). In YRJSYFXNM8/e1, theorem 1.1

History

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

Extensions G7Q7ZK8ACY

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

Mentions

wikipedia: Wikipedia Linear temporal logic#ICZ8, Extensions (statement)

History

2026-11-02: add by m2/dev

Bloch's principle G7QERPJSET

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

Mentions

wikipedia: Wikipedia Bloch's principle, Bloch's principle (statement). Also Wikidata Q4927092

History

2026-11-02: add by m2/dev

G7QMPP6P48 G7QMPP6P48

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

Mentions

arxiv: arXiv 2609.25301#GYLZ (definition)

History

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

One-dimensional capped domination G7QPGRPSHH

URI	`m2://inv/G7QPGRPSHH`
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.20687#GTY7, One-dimensional capped domination (statement)

History

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

Certified addition G7QW0S79C5

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

Mentions

arxiv: arXiv 2609.33421#5HDL, Certified addition (statement). In YMVA1SJ640/e1, proposition 2.3

History

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

G7QZWYDE51 G7QZWYDE51

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

History

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

G7R0QYATQX G7R0QYATQX

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#proof-16 (proof). In E59CDZA4DP, proof, section 7.5

History

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

G7R3RPGKDF G7R3RPGKDF

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

Mentions

arxiv: arXiv 2610.13229#687X (statement). In 4WN20N5Z57/e1, theorem 4.1

History

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

quantaloid G7R6VD95J1

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

Mentions

wikidata: Wikidata Q7268889, quantaloid (unknown). Also nLab quantaloid
wikipedia: Wikipedia Quantaloid, Quantaloid (definition). Also Wikidata Q7268889

History

2026-10-26: add by m2/dev

Low G7RDZXC5TC

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

Mentions

wikipedia: Wikipedia Low (computability), Low (definition). Also Wikidata Q6692805

History

2026-11-02: add by m2/dev

G7RF8717JK G7RF8717JK

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

Mentions

arxiv: arXiv 2103.12669#QI03 (definition). In ZA6XNBA90V/e1, definition 1.25

History

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

Well-quasi-ordering G7RF8Q80VA

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

Mentions

wikipedia: Wikipedia List of order theory topics#QLM4, Well-quasi-ordering (definition)

History

2026-11-02: add by m2/dev

Subset-function switching times G7RV15NWSB

URI	`m2://inv/G7RV15NWSB`
Kind	definition
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 math/0003117#AG73, Subset-function switching times (definition). In WD2NCBV9F0/e1, definition 7.16

History

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

Mathematics of radio engineering G7RVG45F9W

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

Mentions

wikipedia: Wikipedia Radio-frequency engineering#4SEO, Mathematics of radio engineering (unknown)

History

2026-11-02: add by m2/dev

Instability gives infinite ladders G7S12N00AQ

URI	`m2://inv/G7S12N00AQ`
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.11002#IV4U, Instability gives infinite ladders (statement). In P55JSAYR3T/e1, proposition

History

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

Leslie Earl Simon G7S527NSXP

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

Mentions

wikipedia: Wikipedia Leslie Earl Simon, Leslie Earl Simon (topic). Also Wikidata Q6530781

History

2026-11-02: add by m2/dev

Properties G7SD8PMYAQ

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

Mentions

wikipedia: Wikipedia Lévy hierarchy#17O8, Properties (statement)

History

2026-11-02: add by m2/dev

G7SJVYS9Y5 G7SJVYS9Y5

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

Mentions

arxiv: arXiv 2609.32733#USA2 (statement). In PCAS8S14J6/e1, proposition 2.8

History

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

Local-to-global conditions, informal G7SM20ZDHY

URI	`m2://inv/G7SM20ZDHY`
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.28028#GADR, Local-to-global conditions, informal (statement)

History

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

G7SQ83ZG52 G7SQ83ZG52

URI	`m2://inv/G7SQ83ZG52`
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 2610.10205#B7BE (definition). In PQGS7NDMDQ/e1, definition 3

History

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

G7STSZ9Z16 G7STSZ9Z16

URI	`m2://inv/G7STSZ9Z16`
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 2211.14214#IXOF (statement). In SY85Y9E45A/e1, proposition 29

History

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

G7T12DYXGP G7T12DYXGP

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

Mentions

arxiv: arXiv 2610.13707#D2C4 (statement). In 3564GWRNSF/e1, lemma 4.2

History

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

edge, multiple G7T70E2X37

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

Mentions

applied_combinatorics: applied_combinatorics index/5.2/edge-multiple, edge, multiple (concept). In QKM9DD2H56, index, section 5.2

History

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

G7T722P7W9 G7T722P7W9

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

Mentions

active_calculus: active_calculus source/sec-3-4-families.xml#Ex-3-2-1 (example). In 907G4C4EJ1, example, section 3.4.2

History

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

Properties G7TFFF6V00

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

Mentions

wikipedia: Wikipedia Shrinking space#E3PW, Properties (statement)

History

2026-11-02: add by m2/dev

Edge collapse of the metric G7TMYBTRPD

URI	`m2://inv/G7TMYBTRPD`
Kind	conjecture
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.03384#NWWY, Edge collapse of the metric (conjecture). In J55JTTKG84/e1, conjecture 6.11

History

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

Michael Freedman G7TTHXVB4Z

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#DEF4, Michael Freedman (topic)

History

2026-11-02: add by m2/dev

G7TZWGKGDA G7TZWGKGDA

URI	`m2://inv/G7TZWGKGDA`
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 2405.05684#OV4Y (statement). In 1PR73ECTZB/e1, proposition 37

History

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

Aristotelian realist philosophy of mathematics G7V199T7DF

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

Mentions

wikipedia: Wikipedia Aristotelian realist philosophy of mathematics, Aristotelian realist philosophy of mathematics (definition). Also Wikidata Q107556510

History

2026-11-02: add by m2/dev

G7V608EK5T G7V608EK5T

URI	`m2://inv/G7V608EK5T`
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.20421#P51N (statement). In Q4R7J8JE3F/e1, lemma 2.25

History

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

Herbert Gross G7VA8JJ444

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

Mentions

wikipedia: Wikipedia Herbert Gross, Herbert Gross (topic). Also Wikidata Q22959316

History

2026-11-02: add by m2/dev

G7VYASZVFY G7VYASZVFY

URI	`m2://inv/G7VYASZVFY`
Kind	definition
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.33300#KWO9 (definition). In AWF7ZHK4EM/e1, definition 1.6

History

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

Dempster's rule of combination G7W2ZF6J65

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

Mentions

wikipedia: Wikipedia Dempster–Shafer theory#R4NJ, Dempster's rule of combination (unknown)

History

2026-11-02: add by m2/dev

Random modulation G7W3GZTPN6

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

Mentions

wikipedia: Wikipedia Random modulation, Random modulation (definition). Also Wikidata Q7291979

History

2026-11-02: add by m2/dev

Algebra of random variables G7W9NAADMQ

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

Mentions

wikipedia: Wikipedia Algebra of random variables, Algebra of random variables (definition). Also Wikidata Q4723976

History

2026-11-02: add by m2/dev

Environmental lapse rate G7WBHMA7G1

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

Mentions

wikipedia: Wikipedia Lapse rate#CEHB, Environmental lapse rate (unknown)

History

2026-11-02: add by m2/dev

G7WRM0K25B G7WRM0K25B

URI	`m2://inv/G7WRM0K25B`
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.35762#74U1 (statement). In C9QEPN1E56/e1, lemma F.4

History

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

Distance sampling G7WTAGK3CZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#PD14, Distance sampling (definition)

History

2026-11-02: add by m2/dev

Statement G7WVZEAF1J

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

Mentions

wikipedia: Wikipedia Graham–Rothschild theorem#MF0J, Statement (statement)

History

2026-11-02: add by m2/dev

G7X5FRA6WF G7X5FRA6WF

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

Mentions

arxiv: arXiv 2609.36884#SJK5 (definition). In Z7E16PFFCP/e1, definition 4.22

History

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

G7X5SMZDQP G7X5SMZDQP

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

Mentions

arxiv: arXiv 2610.15869#5J8P (statement). In 5VRP29WZEK/e1, theorem A

History

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

Heun function G7X8PX0J3K

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

Mentions

wikipedia: Wikipedia Heun function, Heun function (definition). Also Wikidata Q5748204

History

2026-11-02: add by m2/dev

G7XB0CK9WX G7XB0CK9WX

URI	`m2://inv/G7XB0CK9WX`
Kind	example
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.33406#G2EG (example). In B23TX8G4E4/e1, example 2

History

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

Hsu–Robbins–Erdős theorem G7XEBSDAZX

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

Mentions

wikipedia: Wikipedia Hsu–Robbins–Erdős theorem, Hsu–Robbins–Erdős theorem (statement). Also Wikidata Q17027747

History

2026-11-02: add by m2/dev

Equisatisfiability G7XH6MR18A

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

Mentions

wikipedia: Wikipedia Equisatisfiability, Equisatisfiability (definition). Also Wikidata Q2402183

History

2026-11-02: add by m2/dev

G7XPZT348M G7XPZT348M

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

Mentions

arxiv: arXiv 2610.08210#UWWI (statement). In 7452X8HQ21/e1, theorem 3.4

History

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

Definitions G7XRS5H2WF

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

Mentions

wikipedia: Wikipedia Associated prime#4X7P, Definitions (definition)

History

2026-11-02: add by m2/dev

Prahalad Chunnilal Vaidya G7XW52DTTC

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#D6ZB, Prahalad Chunnilal Vaidya (unknown)

History

2026-11-02: add by m2/dev

Drazin inverse G7Y15T8600

URI	`m2://inv/G7Y15T8600`
Kind	definition
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.07064#D7NT, Drazin inverse (definition). In GPK6W5XQM3/e1, definition 4

History

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

Properties applicable to formulas G7Y22ZDCDP

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

Mentions

wikipedia: Wikipedia Well-formed formula#ABFH, Properties applicable to formulas (statement)

History

2026-11-02: add by m2/dev

G7Y403AAB0 G7Y403AAB0

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

Mentions

arxiv: arXiv 2610.09704#53YM (statement). In FNG4B47MRV/e1, lemma 5.8

History

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

Canonical bundle formula G7Y95QMKQ6

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

Mentions

wikipedia: Wikipedia Elliptic surface#E22U, Canonical bundle formula (statement)

History

2026-11-02: add by m2/dev

slope field G7Y9V2C62Q

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

Mentions

wikipedia: Wikipedia Glossary of calculus#GT9I, slope field (definition)

History

2026-11-02: add by m2/dev

G7YE1ZTHWD G7YE1ZTHWD

URI	`m2://inv/G7YE1ZTHWD`
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 2112.14455#2RW9 (statement). In VDE5R8HBS1/e1, lemma 2.7

History

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

G7YNW7J48D G7YNW7J48D

URI	`m2://inv/G7YNW7J48D`
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 2610.16295#YBQO (definition). In J1SKCVMNCB/e1, definition

History

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

Private set intersection G7Z3BY83AV

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

Mentions

wikipedia: Wikipedia Private set intersection, Private set intersection (definition). Also Wikidata Q85846987

History

2026-11-02: add by m2/dev

G7ZAGWYX6C G7ZAGWYX6C

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

Mentions

arxiv: arXiv 2609.30363#UHC9 (statement). In QHBBP180QJ/e1, proposition 7

History

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

Selma Fine Goldsmith G7ZDVPWYRQ

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

Mentions

wikipedia: Wikipedia Selma Fine Goldsmith, Selma Fine Goldsmith (topic). Also Wikidata Q25983029

History

2026-11-02: add by m2/dev

G7ZMY9MFYA G7ZMY9MFYA

URI	`m2://inv/G7ZMY9MFYA`
Kind	problem
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 2609.35858#VIL5 (problem). In R2K4HZN8RW/e1, problem 6.2

History

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

Terminology G7ZW94E7QN

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

Mentions

wikipedia: Wikipedia Polycyclic group#LQ4D, Terminology (definition)

History

2026-11-02: add by m2/dev

G7ZYP51GS4 G7ZYP51GS4

URI	`m2://inv/G7ZYP51GS4`
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.23781#FBAN (statement)

History

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