Inventory rows SA

Example SA003FN4SC

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

Mentions

wikipedia: Wikipedia Canonical basis#E9A1, Example (example)

History

2026-11-02: add by m2/dev

SA01S8QWJQ SA01S8QWJQ

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

Mentions

napkin: napkin tex/calculus/integrate.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 31.1

History

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

Computational topology SA03VHSKAY

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#FZYO, Computational topology (definition)

History

2026-11-02: add by m2/dev

SA04WWSF6W SA04WWSF6W

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

Mentions

arxiv: arXiv 2609.21937#3S80 (statement)

History

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

SA0CS4NTB5 SA0CS4NTB5

URI	`m2://inv/SA0CS4NTB5`
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#UQJ4 (example). In FR4FDRHZJT/e1, example 4.8

History

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

Principles SA0D6G1QC9

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

Mentions

wikipedia: Wikipedia Renormalization#0LB3, Principles (statement)

History

2026-11-02: add by m2/dev

convolution SA0FMVA9EQ

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

Mentions

mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > convolution, convolution (unknown). Also Mathlib MeasureTheory.convolution
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > convolution, convolution (unknown). Also Mathlib MeasureTheory.convolution

History

2026-10-26: add by m2/dev

Treacherous computing SA0Q9TWA3Q

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

Mentions

wikipedia: Wikipedia Trusted Computing#YP7R, Treacherous computing (unknown)

History

2026-11-02: add by m2/dev

constant polynomial SA0QB8TYPE

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

Mentions

wikidata: Wikidata Q3395680, constant polynomial (unknown). Also MathWorld ConstantPolynomial

History

2026-10-26: add by m2/dev

LL parser SA0RZP2PD2

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

Mentions

wikipedia: Wikipedia List of algorithms#XAEN, LL parser (unknown)

History

2026-11-02: add by m2/dev

SA0SK06XYX SA0SK06XYX

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

Mentions

arxiv: arXiv 2610.06895#KY7Q (statement). In PBB3PSDP0S/e1, lemma 9

History

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

SA0WZRBVZ0 SA0WZRBVZ0

URI	`m2://inv/SA0WZRBVZ0`
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.12047#KFFU (statement). In ZF1Y3HZMZ9/e1, lemma 3.2

History

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

Permanence properties of the standard conjectures SA0YT6JZKZ

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

Mentions

wikipedia: Wikipedia Standard conjectures on algebraic cycles#RQG3, Permanence properties of the standard conjectures (statement)

History

2026-11-02: add by m2/dev

Definition SA0ZB6YGS8

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

Mentions

wikipedia: Wikipedia Isbell duality#EYS7, Definition (definition)

History

2026-11-02: add by m2/dev

Separation modulo a prime SA0ZFNSZE3

URI	`m2://inv/SA0ZFNSZE3`
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.29047#YBZG, Separation modulo a prime (statement)

History

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

SA1G3WFBXB SA1G3WFBXB

URI	`m2://inv/SA1G3WFBXB`
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.12169#O5GB (statement). In 645GF9SFWM/e1, proposition 27

History

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

SA1HXHBMQB SA1HXHBMQB

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

Mentions

arxiv: arXiv 2609.39700#728P (statement). In E7W2HDNEKJ/e1, theorem 5.2

History

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

Cohen forcing SA1KAHPYT9

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

Mentions

wikipedia: Wikipedia Forcing (mathematics)#IZQS, Cohen forcing (unknown)

History

2026-11-02: add by m2/dev

Field of definition SA1NXW98B5

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

Mentions

wikipedia: Wikipedia Field of definition, Field of definition (definition). Also Wikidata Q5447109

History

2026-11-02: add by m2/dev

equivalence SA1WZCWE3D

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

Mentions

wikipedia: Wikipedia Glossary of category theory#JCNV, equivalence (definition)

History

2026-11-02: add by m2/dev

Logical consequence SA1Y6NHE1F

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

Mentions

wikipedia: Wikipedia Logical consequence, Logical consequence (definition). Also Wikidata Q374182

History

2026-11-02: add by m2/dev

SA2BV5QK4E SA2BV5QK4E

URI	`m2://inv/SA2BV5QK4E`
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.14838#4797 (statement). In J7ZX3WWRQP/e1, proposition 3.19

History

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

Riemann hypothesis SA2GPTA753

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

Mentions

wikipedia: Wikipedia Hilbert's eighth problem#VKPV, Riemann hypothesis (statement)

History

2026-11-02: add by m2/dev

SA2JZ82CXV SA2JZ82CXV

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

Mentions

napkin: napkin tex/riemann-surface/line-bundles.tex#example-1 (example). In RZP28ERRZV, example, section 85.4

History

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

Mermin–Wagner theorem SA2T8XQE8B

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

Mentions

wikipedia: Wikipedia List of theorems#X544, Mermin–Wagner theorem (statement)

History

2026-11-02: add by m2/dev

OpenSSH SA2X4BXNJT

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

Mentions

wikipedia: Wikipedia OpenSSH, OpenSSH (definition). Also Wikidata Q847062

History

2026-11-02: add by m2/dev

SA2XNFCB5V SA2XNFCB5V

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

Mentions

arxiv: arXiv 2610.06152#B4JL (definition). In HH35K7S17H/e1, definition 4.12

History

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

SA2YK3PW62 SA2YK3PW62

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

Mentions

arxiv: arXiv 2610.03373#KKS7 (statement). In ZA7DBT3NWR/e1, lemma 2.7

History

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

Fueter–Pólya conjecture SA32E022PC

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

Mentions

wikipedia: Wikipedia Fueter–Pólya theorem#V2BV, Fueter–Pólya conjecture (statement)

History

2026-11-02: add by m2/dev

Displacement localization SA333FB0N4

URI	`m2://inv/SA333FB0N4`
Kind	statement
Layer	research
MSC	11-XX, 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.12203#5599, Displacement localization (statement). In F4YTAZSCS2/e1, lemma A.3

History

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

SA36XH1MVY SA36XH1MVY

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

Mentions

arxiv: arXiv 2610.10570#2AIV (statement). In V0MA250K2P/e1, lemma 4.3

History

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

SA37FHTN3Q SA37FHTN3Q

URI	`m2://inv/SA37FHTN3Q`
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 2501.17009#HHUD (statement). In PESAKD6SSW/e1, theorem 5.22

History

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

SA3831KKGK SA3831KKGK

URI	`m2://inv/SA3831KKGK`
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.18033#52PP (statement). In 59VRB6Y27N/e1, proposition 2.4

History

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

Definition SA3AMBV2Y9

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

Mentions

wikipedia: Wikipedia Adele ring#JGTI, Definition (definition)

History

2026-11-02: add by m2/dev

Example SA3FMX47C1

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

Mentions

wikipedia: Wikipedia Max-flow min-cut theorem#QASV, Example (example)

History

2026-11-02: add by m2/dev

Point process notation SA3NR8QV8N

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

Mentions

wikipedia: Wikipedia Point process notation, Point process notation (definition). Also Wikidata Q16000293

History

2026-11-02: add by m2/dev

SA3XFZ4N8P SA3XFZ4N8P

URI	`m2://inv/SA3XFZ4N8P`
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.19637#CEG4 (statement). In VNQ25PZMBT/e1, theorem 1

History

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

SA40P1T3CX SA40P1T3CX

URI	`m2://inv/SA40P1T3CX`
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 2605.23846#CGS3 (statement). In H72CXFWVPV/e1, theorem 6

History

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

SA417SZ4RZ SA417SZ4RZ

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

Mentions

arxiv: arXiv 2610.11671#PBAH (statement). In V06H8BAGEH/e1, lemma 5.3

History

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

SA429DTKZK SA429DTKZK

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

Mentions

open_logic: open_logic content/set-theory/choice/vitali.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 71.6

History

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

A covariance test SA45D43E3Y

URI	`m2://inv/SA45D43E3Y`
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.25084#J3I2, A covariance test (statement)

History

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

SA4EMSCPX2 SA4EMSCPX2

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#proposition-2 (statement). In RZP28ERRZV, proposition, section 4.7

History

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

Loop (knot) SA4JKM176S

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

Mentions

wikipedia: Wikipedia List of curves topics#QE82, Loop (knot) (unknown)

History

2026-11-02: add by m2/dev

SA4PR70G6H SA4PR70G6H

URI	`m2://inv/SA4PR70G6H`
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.35183#AZPR (statement). In FYM5XFD9RR/e1, lemma 2.10

History

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

Ring of modular forms SA4VJX8TJF

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

Mentions

wikipedia: Wikipedia Ring of modular forms, Ring of modular forms (definition). Also Wikidata Q85797295

History

2026-11-02: add by m2/dev

SA55QYF8Z2 SA55QYF8Z2

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

Mentions

arxiv: arXiv 2610.16225#1AGV (statement). In H3DJV9YQW1/e1, theorem 4.2

History

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

SA58D2SA7A SA58D2SA7A

URI	`m2://inv/SA58D2SA7A`
Kind	definition
Layer	research
MSC	05-XX, 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.23605#GK28 (definition)

History

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

Theorem 2 SA598P10MZ

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

Mentions

wikipedia: Wikipedia Robinson–Schensted–Knuth correspondence#QLW5, Theorem 2 (statement)

History

2026-11-02: add by m2/dev

SA5GJRDHQJ SA5GJRDHQJ

URI	`m2://inv/SA5GJRDHQJ`
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 2503.16884#VA7F (statement). In B984KNW591/e1, proposition 2.1

History

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

Examples SA5V6FKWSD

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

Mentions

wikipedia: Wikipedia Square-integrable function#00ZN, Examples (example)

History

2026-11-02: add by m2/dev

Paraboloid SA5YN488Q5

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

Mentions

wikipedia: Wikipedia Paraboloid, Paraboloid (definition). Also Wikidata Q192768

History

2026-11-02: add by m2/dev

Definition SA60BA0AWM

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

Mentions

wikipedia: Wikipedia Partial Euler Product#ZVM2, Definition (definition)

History

2026-11-02: add by m2/dev

SA66G8P31P SA66G8P31P

URI	`m2://inv/SA66G8P31P`
Kind	definition
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 2504.01057#85OA (definition). In 69QFBXJENW/e1, definition 2.21

History

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

Elimination theory SA6AHQE1T1

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

Mentions

wikipedia: Wikipedia Elimination theory, Elimination theory (definition). Also Wikidata Q3526789

History

2026-11-02: add by m2/dev

Gheorghe Vrănceanu SA6AY01S1K

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

Mentions

wikipedia: Wikipedia Gheorghe Vrănceanu, Gheorghe Vrănceanu (topic). Also Wikidata Q247545

History

2026-11-02: add by m2/dev

\Ev-value construction SA6CVJZT5Z

URI	`m2://inv/SA6CVJZT5Z`
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#3WZL, \Ev-value construction (statement). In 7452X8HQ21/e1, lemma 3.1

History

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

Determinant obstruction SA6D76A87C

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

Mentions

arxiv: arXiv 2609.25762#ISBO, Determinant obstruction (statement)

History

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

SA6V23V43M SA6V23V43M

URI	`m2://inv/SA6V23V43M`
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 2505.04063#PHJX (statement). In TFH7T63DX9/e1, lemma S.12

History

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

Isogonal conjugate SA6V7S8GKE

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

Mentions

wikipedia: Wikipedia List of triangle topics#U0HM, Isogonal conjugate (definition)

History

2026-11-02: add by m2/dev

Teruhisa Matsusaka SA6W5Y4019

URI	`m2://inv/SA6W5Y4019`
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#ZCPE, Teruhisa Matsusaka (topic)

History

2026-11-02: add by m2/dev

Vector-alphabet extension SA73QJ71Z3

URI	`m2://inv/SA73QJ71Z3`
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.40252#VZYH, Vector-alphabet extension (statement). In 7MVPNFPRKB/e1, lemma 13.1

History

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

Initial segment SA7CDFJJDF

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#81DK, Initial segment (definition)

History

2026-11-02: add by m2/dev

SA7CXGP7G9 SA7CXGP7G9

URI	`m2://inv/SA7CXGP7G9`
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 2601.22681#018K (statement). In 68VEQQX68G/e1, theorem 3.16

History

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

H-theorem SA7D3JSJ0B

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

Mentions

wikipedia: Wikipedia List of theorems#RR9N, H-theorem (statement)

History

2026-11-02: add by m2/dev

SA7MYNMTSS SA7MYNMTSS

URI	`m2://inv/SA7MYNMTSS`
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.23338#VJ2C (statement)

History

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

Simultaneous witnesses SA7PRDMH07

URI	`m2://inv/SA7PRDMH07`
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.31782#6K3O, Simultaneous witnesses (statement). In YAYP5VZ94H/e1, proposition 3.2

History

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

Capacity of the sparse transformer class SA7XGFB4AT

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

Mentions

arxiv: arXiv 2610.12544#RGOG, Capacity of the sparse transformer class (statement). In XXV36V6CK8/e1, lemma 3

History

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

exradius SA80RD1SC2

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

Mentions

wikidata: Wikidata Q78257788, exradius (definition). Also MathWorld Exradius, ProofWiki Definition:Excircle_of_Triangle/Exradius

History

2026-10-26: add by m2/dev

sexy prime SA88BE1SCM

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

Mentions

wikidata: Wikidata Q1194842, sexy prime (unknown). Also MathWorld SexyPrimes, OEIS A023201, OEIS A046117
wikipedia: Wikipedia Sexy primes, Sexy primes (conjecture). Also Wikidata Q1194842

History

2026-10-26: add by m2/dev

Example SA8ABCPAK9

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

Mentions

wikipedia: Wikipedia Craig interpolation#QQYK, Example (example)

History

2026-11-02: add by m2/dev

Hutchinson metric SA8CY0F3ZA

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

Mentions

wikipedia: Wikipedia Hutchinson metric, Hutchinson metric (definition). Also Wikidata Q5950712

History

2026-11-02: add by m2/dev

SA8HQBT7XH SA8HQBT7XH

URI	`m2://inv/SA8HQBT7XH`
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 2609.22557#RWUK (definition)

History

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

Asymmetric numeral systems SA8QS9CDGT

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

Mentions

wikipedia: Wikipedia Asymmetric numeral systems, Asymmetric numeral systems (definition). Also Wikidata Q28132900

History

2026-11-02: add by m2/dev

Finite coefficient algorithm SA90G6C925

URI	`m2://inv/SA90G6C925`
Kind	statement
Layer	research
MSC	05-XX, 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 2610.20649#0XR3, Finite coefficient algorithm (statement). In XDTM624YPE/e1, corollary 12.2

History

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

SA9418RHW8 SA9418RHW8

URI	`m2://inv/SA9418RHW8`
Kind	statement
Layer	research
MSC	16-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.34193#0YPC (statement). In 9XMZTTSF5E/e1, proposition 6.3

History

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

de Bruijn-Newman constant SA9621RRMM

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

Mentions

wikidata: Wikidata Q2248459, de Bruijn-Newman constant (object). Also MathWorld deBruijn-NewmanConstant
wikipedia: Wikipedia De Bruijn–Newman constant, De Bruijn–Newman constant (object). Also Wikidata Q2248459

History

2026-10-26: add by m2/dev

SA96JDB9HQ SA96JDB9HQ

URI	`m2://inv/SA96JDB9HQ`
Kind	statement
Layer	research
MSC	17-XX, 20-XX, 22-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 2610.13213#QFRD (statement). In V97F4YZ8B0/e1, theorem 2.5

History

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

Blinn–Phong reflection model SA9B0ZRN4S

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#ZVCF, Blinn–Phong reflection model (unknown)

History

2026-11-02: add by m2/dev

SA9FVQ2T2J SA9FVQ2T2J

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

Mentions

arxiv: arXiv 2609.27918#IUW0 (statement)

History

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

SA9KFE0GD8 SA9KFE0GD8

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

Mentions

arxiv: arXiv 2609.38014#ZOJH (example). In F3X5W4E0AJ/e1, example 3

History

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

SA9NH6EDXF SA9NH6EDXF

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

Mentions

arxiv: arXiv 2609.10840#T63J (statement). In P0HKF5DY7M/e1, lemma 4.3

History

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

SA9T9E5V66 SA9T9E5V66

URI	`m2://inv/SA9T9E5V66`
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 2605.17484#3NZH (statement). In 5E9GMPKEEP/e1, theorem 2.1

History

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

Basic properties SA9Y8TRRGZ

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

Mentions

wikipedia: Wikipedia Melnikov group#7EUW, Basic properties (statement)

History

2026-11-02: add by m2/dev

tensor spectral norm SA9Z858MKJ

URI	`m2://inv/SA9Z858MKJ`
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 2505.04063#XO1J, tensor spectral norm (definition). In TFH7T63DX9/e1, definition S.11

History

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

Definition SAA5QK4GQ1

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

Mentions

wikipedia: Wikipedia Exponential field#DPF0, Definition (definition)

History

2026-11-02: add by m2/dev

Loeschian number SAA5VGMAFJ

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

Mentions

wikidata: Wikidata Q56290038, Loeschian number (object). Also OEIS A003136
wikipedia: Wikipedia Löschian number, Löschian number (definition). Also Wikidata Q56290038

History

2026-10-26: add by m2/dev

⊆ SAA613MHWH

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#00DC, ⊆ (definition)

History

2026-11-02: add by m2/dev

SAA6DC871A SAA6DC871A

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

Mentions

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

History

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

Explicit local radius SAAA0EC3RB

URI	`m2://inv/SAAA0EC3RB`
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.32558#LP0W, Explicit local radius (statement). In SGQS629QNK/e1, lemma H.2

History

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

Method SAAE9W10SY

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

Mentions

wikipedia: Wikipedia Naive set theory#O2IE, Method (definition)

History

2026-11-02: add by m2/dev

Gabriel–Popescu theorem SAAET4E8F6

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

Mentions

wikipedia: Wikipedia Glossary of category theory#6SJO, Gabriel–Popescu theorem (definition)

History

2026-11-02: add by m2/dev

D. Ransom Whitney SABD4TD3JW

URI	`m2://inv/SABD4TD3JW`
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#KU50, D. Ransom Whitney (topic)

History

2026-11-02: add by m2/dev

Q.E.D. SABE7EDXCM

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#KXX5, Q.E.D. (definition)

History

2026-11-02: add by m2/dev

Randomized Young-label dilation SABHQM82BH

URI	`m2://inv/SABHQM82BH`
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.35986#5Z2H, Randomized Young-label dilation (statement). In PBX6AMPVT2/e1, proposition 2.4

History

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

Small-job pathwise reduction SABN9NZKY2

URI	`m2://inv/SABN9NZKY2`
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.17329#GTHM, Small-job pathwise reduction (statement). In F6GD5JWK9M/e1, lemma 4.11

History

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

Focal conics SABS2XAXSF

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

Mentions

wikipedia: Wikipedia Focal conics, Focal conics (definition). Also Wikidata Q82799928

History

2026-11-02: add by m2/dev

Fatou–Bieberbach domain SABTKDNPKQ

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

Mentions

wikipedia: Wikipedia Fatou–Bieberbach domain, Fatou–Bieberbach domain (definition). Also Wikidata Q1398230

History

2026-11-02: add by m2/dev

Unit root test SABWKEEMRV

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

Mentions

wikipedia: Wikipedia Unit root test, Unit root test (definition). Also Wikidata Q7887151

History

2026-11-02: add by m2/dev

SAC0ETEARY SAC0ETEARY

URI	`m2://inv/SAC0ETEARY`
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#VNQT (statement). In BPPBAWGPHJ/e1, lemma 7.2

History

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

SAC606THA5 SAC606THA5

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

Mentions

arxiv: arXiv 2610.16339#GHAG (statement). In ER5EH4W919/e1, proposition 8.1

History

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

diconnected SAC82PZZPY

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#FV4O, diconnected (definition)

History

2026-11-02: add by m2/dev

SAC9N84PP4 SAC9N84PP4

URI	`m2://inv/SAC9N84PP4`
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#WEYM (statement). In RBQ5FNCVNZ/e1, proposition 10.4

History

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

SACA62BKXF SACA62BKXF

URI	`m2://inv/SACA62BKXF`
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.40156#46LJ (statement). In PP8BEHWK33/e1, lemma 2

History

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

SACBMZKE7N SACBMZKE7N

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

Mentions

arxiv: arXiv 2204.04820#G9KB (statement). In 9EJ71MW89B/e1, lemma 6.1

History

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

Darboux vector SACE7XESFZ

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

Mentions

wikidata: Wikidata Q4010518, Darboux vector (concept). Also MathWorld DarbouxVector
wikipedia: Wikipedia Darboux vector, Darboux vector (definition). Also Wikidata Q4010518

History

2026-10-26: add by m2/dev

SACMAYASB2 SACMAYASB2

URI	`m2://inv/SACMAYASB2`
Kind	statement
Layer	research
MSC	13-XX, 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 2502.14306#LXO4 (statement). In ZNBQD5WH1M/e1, proposition 3.9

History

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

SACQ6QR5PE SACQ6QR5PE

URI	`m2://inv/SACQ6QR5PE`
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 2408.03317#2O89 (statement). In T2ESY2PE1R/e1, theorem 2.2

History

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

Hilbert–Schmidt operator SACST049CM

URI	`m2://inv/SACST049CM`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Hilbert–Schmidt operator W3BX66Y47G

Mentions

wikidata: Wikidata Q1518047, Hilbert–Schmidt operator (unknown). Also EoM Hilbert-Schmidt_operator, MathWorld Hilbert-SchmidtOperator
wikipedia: Wikipedia Hilbert–Schmidt operator, Hilbert–Schmidt operator (definition). Also Wikidata Q1518047

History

2026-10-26: add by m2/dev

SEP basis SAD12AJSW3

URI	`m2://inv/SAD12AJSW3`
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.10745#IYC4, SEP basis (definition). In 5MJ4NJ5ZCV/e1, definition 2.16

History

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

Free non-associative algebra SAD681M72Y

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

Mentions

wikipedia: Wikipedia Non-associative algebra#W25R, Free non-associative algebra (unknown)

History

2026-11-02: add by m2/dev

SADCTRP55M SADCTRP55M

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

Mentions

arxiv: arXiv 2609.30561#CFRF (statement). In EHQBEXHF9W/e1, corollary 1.3

History

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

rational number SADKM305CD

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

Mentions

mathlib_overview: mathlib_overview General algebra > Numbers > rational number, rational number (unknown). Also Mathlib Rat

History

2026-10-26: add by m2/dev

SADR34DEHW SADR34DEHW

URI	`m2://inv/SADR34DEHW`
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 0911.1417#45QM (statement). In BBD7TZW79R/e1, theorem 6.1

History

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

Formal definition SADV2Z2JCX

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

Mentions

wikipedia: Wikipedia Pointwise#CFVK, Formal definition (definition)

History

2026-11-02: add by m2/dev

SADWFXDFTM SADWFXDFTM

URI	`m2://inv/SADWFXDFTM`
Kind	definition
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.11886#BWA4 (definition). In T0APQY74CA/e1, definition 3

History

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

Example SADXBDA2Q4

URI	`m2://inv/SADXBDA2Q4`
Kind	example
Layer	textbook
Sources	1
Outcome	deferred (the cue heading names a section and not one item)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Order (group theory)#C5LO, Example (example)

History

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

SAEQREV4MD SAEQREV4MD

URI	`m2://inv/SAEQREV4MD`
Kind	definition
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.08196#VWTX (definition). In 8QVWZ23N42/e1, definition 4.2

History

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

Synchronization SAEYF6A9DE

URI	`m2://inv/SAEYF6A9DE`
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.10950#AV57, Synchronization (statement). In P392PEVRAY/e1, lemma 4.2

History

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

Association for Women in Mathematics Newsletter SAEYTFP963

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

Mentions

wikipedia: Wikipedia Association for Women in Mathematics Newsletter, Association for Women in Mathematics Newsletter (definition). Also Wikidata Q106390668

History

2026-11-02: add by m2/dev

SAEZPEGC4R SAEZPEGC4R

URI	`m2://inv/SAEZPEGC4R`
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 0902.4887#0ULH (statement). In MYQ05J9R20/e1, proposition 2.3

History

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

10000 SAF2PNXN65

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

Mentions

wikidata: Wikidata Q427923, 10000 (statement). Also ProofWiki 10,000
wikipedia: Wikipedia 10,000, 10,000 (definition). Also Wikidata Q427923

History

2026-10-26: add by m2/dev

SAF4CAHRKX SAF4CAHRKX

URI	`m2://inv/SAF4CAHRKX`
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 2610.03856#DE0B (example). In HTBRYNPHSJ/e1, example 3.5

History

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

List of uniform polyhedra by Wythoff symbol SAFY63PASE

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

Mentions

wikipedia: Wikipedia List of uniform polyhedra by Wythoff symbol, List of uniform polyhedra by Wythoff symbol (topic). Also Wikidata Q6644218

History

2026-11-02: add by m2/dev

Ruth Nussinov SAG0PJ5DFE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#LI2R, Ruth Nussinov (unknown)

History

2026-11-02: add by m2/dev

Properties SAG9CF2SYR

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

Mentions

wikipedia: Wikipedia Hamiltonian matrix#CGT1, Properties (statement)

History

2026-11-02: add by m2/dev

SAGD66EX0A SAGD66EX0A

URI	`m2://inv/SAGD66EX0A`
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.18219#WBJI (statement). In X1AGBB90EH/e1, lemma 7.5

History

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

SAGFV6X07D SAGFV6X07D

URI	`m2://inv/SAGFV6X07D`
Kind	statement
Layer	research
MSC	17-XX, 20-XX, 22-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 2610.13213#EKXI (statement). In V97F4YZ8B0/e1, theorem 9.12

History

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

Trend analysis SAGHADPA4H

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

Mentions

wikipedia: Wikipedia Trend analysis, Trend analysis (definition). Also Wikidata Q7838279

History

2026-11-02: add by m2/dev

SAGPCXCCP6 SAGPCXCCP6

URI	`m2://inv/SAGPCXCCP6`
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.22469#8L2O (statement)

History

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

Definition SAGPHMCXSD

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

Mentions

wikipedia: Wikipedia Circulation problem#NN4Z, Definition (definition)

History

2026-11-02: add by m2/dev

GNU Octave SAGSZHFZYZ

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

Mentions

wikipedia: Wikipedia GNU Octave, GNU Octave (definition). Also Wikidata Q223679

History

2026-11-02: add by m2/dev

Mean down time SAH1EMPWY9

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

Mentions

wikipedia: Wikipedia Mean down time, Mean down time (definition). Also Wikidata Q3983340

History

2026-11-02: add by m2/dev

SAH3EF4H3K SAH3EF4H3K

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

Mentions

arxiv: arXiv 2609.35180#WR8Y (statement). In ZA34B1CR9M/e1, proposition 4.1

History

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

SAHF62G9MG SAHF62G9MG

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

Mentions

arxiv: arXiv 2610.13972#2388 (definition). In S1KHNS8XQM/e1, definition 2.4

History

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

SAHR1XGQJC SAHR1XGQJC

URI	`m2://inv/SAHR1XGQJC`
Kind	example
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 2501.18744#KSPH (example). In YRWZ02BGEF/e1, example 3.4

History

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

SAHWC70S7Y SAHWC70S7Y

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

Mentions

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

History

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

SAHXS8N2S8 SAHXS8N2S8

URI	`m2://inv/SAHXS8N2S8`
Kind	definition
Layer	research
MSC	05-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 2609.25353#6U8F (definition)

History

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

Branch and bound SAJDZ2JN0P

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

Mentions

wikipedia: Wikipedia Branch and bound, Branch and bound (definition). Also Wikidata Q897659

History

2026-11-02: add by m2/dev

Applications SAJERF8TDC

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

Mentions

wikipedia: Wikipedia Probability integral transform#6B0V, Applications (example)

History

2026-11-02: add by m2/dev

Alyson Wilson SAJGECF5SG

URI	`m2://inv/SAJGECF5SG`
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#8Q7V, Alyson Wilson (topic)

History

2026-11-02: add by m2/dev

Great snub dodecicosidodecahedron SAK4GRGVD9

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3QGM, Great snub dodecicosidodecahedron (object)

History

2026-11-02: add by m2/dev

SAKE1QN0ZB SAKE1QN0ZB

URI	`m2://inv/SAKE1QN0ZB`
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 2609.27516#6PLX (definition)

History

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

SAKF9E9XAA SAKF9E9XAA

URI	`m2://inv/SAKF9E9XAA`
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.05784#IUAX (statement). In 6NVP3YRWVA/e1, lemma 5.9

History

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

Examples SAKHVSRPTZ

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

Mentions

wikipedia: Wikipedia Cartesian product of graphs#L3HB, Examples (example)

History

2026-11-02: add by m2/dev

SAKNN6DJ0A SAKNN6DJ0A

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

Mentions

arxiv: arXiv 2609.27360#NLH3 (statement)

History

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

Projections onto convex sets SAKPBTWJ6Z

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

Mentions

wikipedia: Wikipedia Projections onto convex sets, Projections onto convex sets (definition). Also Wikidata Q7249460

History

2026-11-02: add by m2/dev

SAKW8SBZHZ SAKW8SBZHZ

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

Mentions

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

History

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

SAM2TNXPJR SAM2TNXPJR

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

Mentions

arxiv: arXiv 2610.11545#00T2 (definition). In VN084GGZGK/e1, definition 5.29

History

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

SAM38TMHWT SAM38TMHWT

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

Mentions

arxiv: arXiv 2610.15352#YFTD (statement). In R39P7AFXM8/e1, lemma 2.3

History

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

SAMNB3P0RE SAMNB3P0RE

URI	`m2://inv/SAMNB3P0RE`
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.10795#6OL6 (statement). In RXPSC74YPT/e1, corollary 3.3

History

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

Artinian ideal SAMT3AXMG0

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

Mentions

wikipedia: Wikipedia Artinian ideal, Artinian ideal (definition). Also Wikidata Q4801178

History

2026-11-02: add by m2/dev

Results SAMYD1AP1N

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

Mentions

wikipedia: Wikipedia 2011 Italian census#E7IC, Results (statement)

History

2026-11-02: add by m2/dev

SAN013ETPG SAN013ETPG

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

Mentions

arxiv: arXiv 2609.33442#75RD (statement). In EWY5YPMKA3/e1, lemma 6.1

History

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

SAN55097TV SAN55097TV

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

History

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

Perturbation SAN97MJ5SG

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

Mentions

wikipedia: Wikipedia Perturbation (astronomy), Perturbation (definition). Also Wikidata Q803623

History

2026-11-02: add by m2/dev

SANBGZQYD6 SANBGZQYD6

URI	`m2://inv/SANBGZQYD6`
Kind	example
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.27056#QIGO (example)

History

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

Nim addition SANJ92E2XS

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

Mentions

wikipedia: Wikipedia Nimber#009A, Nim addition (unknown)

History

2026-11-02: add by m2/dev

Four Mile Run (Pittsburgh) SANJQNYZ4Y

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

Mentions

wikipedia: Wikipedia List of places with numeric names#VHW6, Four Mile Run (Pittsburgh) (unknown)

History

2026-11-02: add by m2/dev

SANRVDPKYZ SANRVDPKYZ

URI	`m2://inv/SANRVDPKYZ`
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 2306.17260#Y3VV (statement). In V0T2SY4M6S/e1, lemma 3.7

History

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

SANSCY690M SANSCY690M

URI	`m2://inv/SANSCY690M`
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#T2C9 (statement). In DYBM6Q2K6R/e1, proposition 7.2

History

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

Rayleigh–Faber–Krahn inequality SAP1DYVAYZ

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

Mentions

wikipedia: Wikipedia Rayleigh–Faber–Krahn inequality, Rayleigh–Faber–Krahn inequality (statement). Also Wikidata Q7298491

History

2026-11-02: add by m2/dev

De Moivre–Laplace theorem SAP4CASGP0

URI	`m2://inv/SAP4CASGP0`
Kind	statement
Layer	textbook
MSC	60-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	De Moivre–Laplace theorem 065X9S8CM3

Mentions

mathlib_1000: mathlib_1000 Q1855610, Theorem of de Moivre–Laplace (statement). Also Wikidata Q1855610
thousand_plus: thousand_plus Q1855610, Theorem of de Moivre–Laplace (statement). Also Wikidata Q1855610, Wikipedia Theorem of de Moivre–Laplace
wikidata: Wikidata Q1855610, De Moivre–Laplace theorem (statement). Also MathWorld deMoivre-LaplaceTheorem
wikipedia: Wikipedia De Moivre–Laplace theorem, De Moivre–Laplace theorem (statement). Also Wikidata Q1855610

History

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

William Craig SAP5YMW3X9

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

Mentions

wikipedia: Wikipedia List of logicians#15H3, William Craig (topic)

History

2026-11-02: add by m2/dev

Total variation (measure theory) SAPC66N061

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

Mentions

wikipedia: Wikipedia Total variation#K6GR, Total variation (measure theory) (unknown)

History

2026-11-02: add by m2/dev

Recurrence quantification analysis SAPCPQH3HX

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

Mentions

wikipedia: Wikipedia Recurrence quantification analysis, Recurrence quantification analysis (definition). Also Wikidata Q7303254

History

2026-11-02: add by m2/dev

Examples SAPSJENBCW

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

Mentions

wikipedia: Wikipedia Kinematics#9ZGG, Examples (example)

History

2026-11-02: add by m2/dev

Examples SAPT3PEV5Z

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

Mentions

wikipedia: Wikipedia Semigroup with involution#2QR6, Examples (example)

History

2026-11-02: add by m2/dev

Analyse-it SAQ225BPZY

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

Mentions

wikipedia: Wikipedia List of statistical software#HI6V, Analyse-it (definition)

History

2026-11-02: add by m2/dev

SAQ2FVBYXA SAQ2FVBYXA

URI	`m2://inv/SAQ2FVBYXA`
Kind	statement
Layer	research
MSC	11-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.26771#J1P9 (statement)

History

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

Erritt, John SAQ2V30E26

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

Mentions

wikipedia: Wikipedia List of statisticians#DFPD, Erritt, John (unknown)

History

2026-11-02: add by m2/dev

SAQ89Q85N3 SAQ89Q85N3

URI	`m2://inv/SAQ89Q85N3`
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.21098#IUU3 (statement)

History

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

Examples SAQD1NDA36

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

Mentions

wikipedia: Wikipedia Filter on a set#JRSD, Examples (example)

History

2026-11-02: add by m2/dev

Jeremy Kilpatrick SAQEAX68RG

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

Mentions

wikipedia: Wikipedia Jeremy Kilpatrick, Jeremy Kilpatrick (topic). Also Wikidata Q28955578

History

2026-11-02: add by m2/dev

SAQEMDZSZS SAQEMDZSZS

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

Mentions

arxiv: arXiv 2610.06066#SW6S (statement). In V2YFQ5RF6V/e1, theorem 2

History

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

SAQJP7GRVY SAQJP7GRVY

URI	`m2://inv/SAQJP7GRVY`
Kind	statement
Layer	research
MSC	55-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.09422#JX69 (statement). In MS7M2BJS9X/e1, lemma 4.5

History

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

Exact copying and averaging with uniform softmax SAQS81AKRJ

URI	`m2://inv/SAQS81AKRJ`
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.31458#7GC9, Exact copying and averaging with uniform softmax (statement). In SNWC76WKWT/e1, lemma H.2

History

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

David William Masser SAQV1D4BGP

URI	`m2://inv/SAQV1D4BGP`
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#ML4R, David William Masser (topic)

History

2026-11-02: add by m2/dev

Finite extensions of local fields SAQV9ECHAW

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

Mentions

wikipedia: Wikipedia Finite extensions of local fields, Finite extensions of local fields (definition). Also Wikidata Q5450396

History

2026-11-02: add by m2/dev

An action--angle sheet SAQYKYBRQM

URI	`m2://inv/SAQYKYBRQM`
Kind	statement
Layer	research
MSC	11-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 2501.09848#0K42, An action--angle sheet (statement). In HF7YNMW39N/e1, proposition 5.1

History

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

Boundary-sensitive refinement SAR5YM3S9B

URI	`m2://inv/SAR5YM3S9B`
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 2609.25987#10E8, Boundary-sensitive refinement (example)

History

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

SARAVTT16N SARAVTT16N

URI	`m2://inv/SARAVTT16N`
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.01035#KP6X (statement). In MVQWXFXWM7/e1, proposition 8.1

History

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

SARF7HE7G0 SARF7HE7G0

URI	`m2://inv/SARF7HE7G0`
Kind	definition
Layer	research
MSC	17-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.39254#L682 (definition). In A59MZ9H284/e1, definition 2.2

History

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

History and formulation of the laws SARJ7QG2Q9

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

Mentions

wikipedia: Wikipedia Weber–Fechner law#YMMI, History and formulation of the laws (statement)

History

2026-11-02: add by m2/dev

Georges Fournier SARN35X8N4

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

Mentions

wikipedia: Wikipedia Georges Fournier (Jesuit), Georges Fournier (topic). Also Wikidata Q2348815

History

2026-11-02: add by m2/dev

Nicolaas Govert de Bruijn SARVW87MWV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0JXT, Nicolaas Govert de Bruijn (topic)

History

2026-11-02: add by m2/dev

SARW359CM4 SARW359CM4

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

Mentions

arxiv: arXiv 2609.32233#XNTX (statement). In V42PPD7SWH/e1, lemma 7.5

History

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

Properties SARXW423EN

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

Mentions

wikipedia: Wikipedia Shapiro polynomials#O6U9, Properties (statement)

History

2026-11-02: add by m2/dev

SAS5Q5PHC1 SAS5Q5PHC1

URI	`m2://inv/SAS5Q5PHC1`
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 math/9602216#97HC (statement). In SD43497T8C/e1, corollary 3.14

History

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

SAS5QBVG34 SAS5QBVG34

URI	`m2://inv/SAS5QBVG34`
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.24412#5WXK (statement)

History

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

Fubini's theorem in multiplications of integrals SASB3472DH

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

Mentions

wikipedia: Wikipedia Fubini's theorem#VLJP, Fubini's theorem in multiplications of integrals (statement)

History

2026-11-02: add by m2/dev

Bifurcation theory SASCZ3WSM7

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

Mentions

wikipedia: Wikipedia Bifurcation theory, Bifurcation theory (topic). Also Wikidata Q1154357

History

2026-11-02: add by m2/dev

List of things named after W. V. D. Hodge SASDGWZRFH

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#NCXF, List of things named after W. V. D. Hodge (topic)

History

2026-11-02: add by m2/dev

Secure and Fast Encryption Routine SASNNWK68Q

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

Mentions

wikipedia: Wikipedia Secure and Fast Encryption Routine, Secure and Fast Encryption Routine (definition). Also Wikidata Q2601463

History

2026-11-02: add by m2/dev

Markov chain tree theorem SASR8PMGXY

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

Mentions

wikipedia: Wikipedia Markov chain tree theorem, Markov chain tree theorem (statement). Also Wikidata Q112912748

History

2026-11-02: add by m2/dev

SASV6E4W2K SASV6E4W2K

URI	`m2://inv/SASV6E4W2K`
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.39455#8GFB (statement). In HW4Y4TMEZ3/e1, corollary 6.10

History

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

SAT2DRS7HX SAT2DRS7HX

URI	`m2://inv/SAT2DRS7HX`
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#ZZ6T (statement). In C8VC86B6H8/e1, lemma 5.1

History

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

SAT5G3PD7X SAT5G3PD7X

URI	`m2://inv/SAT5G3PD7X`
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.22078#UQDV (statement). In NRF7379N9J/e1, proposition 4.4

History

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

SAT6X4RFPW SAT6X4RFPW

URI	`m2://inv/SAT6X4RFPW`
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.01441#IKTT (statement). In V678XY1P9A/e1, theorem 8

History

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

Examples SATB0QHKYS

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

Mentions

wikipedia: Wikipedia Mathematical model#OAL2, Examples (example)

History

2026-11-02: add by m2/dev

Data editing SATBS6BH9H

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

Mentions

wikipedia: Wikipedia Data editing, Data editing (definition). Also Wikidata Q18206396

History

2026-11-02: add by m2/dev

Birth-Death SATSVVC27V

URI	`m2://inv/SATSVVC27V`
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 2610.12716#YBQA, Birth-Death (definition). In M6BCSQSM3R/e1, definition 3

History

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

Formal definition SATWVYWB7B

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

Mentions

wikipedia: Wikipedia Superalgebra#LLOJ, Formal definition (definition)

History

2026-11-02: add by m2/dev

Wedderburn's theorem SATYCSY06P

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

Mentions

wikipedia: Wikipedia List of theorems#AC9N, Wedderburn's theorem (statement)

History

2026-11-02: add by m2/dev

SATZ61VHA6 SATZ61VHA6

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-255 (exercise). In VNMV985MXX, exercise, section 5.1

History

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

4167 Riemann SATZDZSHP5

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#UUJC, 4167 Riemann (unknown)

History

2026-11-02: add by m2/dev

Extensions SAV1WHWB4N

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

Mentions

wikipedia: Wikipedia Response surface methodology#VKTI, Extensions (statement)

History

2026-11-02: add by m2/dev

Bernard Silverman SAV4NYHC1E

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

Mentions

wikipedia: Wikipedia Bernard Silverman, Bernard Silverman (topic). Also Wikidata Q4893651

History

2026-11-02: add by m2/dev

SAV74R90EQ SAV74R90EQ

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-2.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 2.2

History

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

Imperfect degree SAVA0QQ9MA

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

Mentions

wikipedia: Wikipedia Glossary of field theory#XK8X, Imperfect degree (definition)

History

2026-11-02: add by m2/dev

SAVA6H3P8S SAVA6H3P8S

URI	`m2://inv/SAVA6H3P8S`
Kind	example
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.30444#M5ZD (example). In RZWJ0AT8W5/e1, example 5.3

History

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

SAVVKJH12G SAVVKJH12G

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

Mentions

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

History

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

G factor SAVWE107TQ

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

Mentions

wikipedia: Wikipedia G factor (psychometrics), G factor (definition). Also Wikidata Q1753797

History

2026-11-02: add by m2/dev

Universal Cycles for Odd $n$ SAVZP432R3

URI	`m2://inv/SAVZP432R3`
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 2510.13717#IM9E, Universal Cycles for Odd $n$ (statement). In 97Q3W7A9B2/e1, theorem 4.1

History

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

quantifier elimination SAWAJN6NG4

URI	`m2://inv/SAWAJN6NG4`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Quantifier elimination 7FDDXV3JK7

Mentions

wikidata: Wikidata Q1849020, quantifier elimination (concept). Also MathWorld QuantifierElimination
wikipedia: Wikipedia Quantifier elimination, Quantifier elimination (definition). Also Wikidata Q1849020

History

2026-10-26: add by m2/dev

SAWCM284W6 SAWCM284W6

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

Mentions

open_logic: open_logic content/computability/computability-theory/rice-theorem.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 3.13

History

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

Heinz-Otto Kreiss SAWJB8PY9X

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

Mentions

wikipedia: Wikipedia Heinz-Otto Kreiss, Heinz-Otto Kreiss (topic). Also Wikidata Q1599941

History

2026-11-02: add by m2/dev

path SAWKXC03VP

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

Mentions

hott_book: hott_book index/1.1/path, path (concept). In N54F33XE07, index, section 1.1

History

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

Great grand 120-cell SAWWM583TR

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

Mentions

wikipedia: Wikipedia Great grand 120-cell, Great grand 120-cell (object). Also Wikidata Q5600357

History

2026-11-02: add by m2/dev

SAX421E8NG SAX421E8NG

URI	`m2://inv/SAX421E8NG`
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.28203#AARZ (statement)

History

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

SAXC7SVQSM SAXC7SVQSM

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

Mentions

arxiv: arXiv 2610.13680#RCV9 (unknown). In QNBFHFZ3H0/e1, unknown 42

History

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

Elongated triangular tiling SAXERZHGPA

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

Mentions

wikipedia: Wikipedia Elongated triangular tiling, Elongated triangular tiling (object). Also Wikidata Q3063647

History

2026-11-02: add by m2/dev

SAXEXY7Q6G SAXEXY7Q6G

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

Mentions

arxiv: arXiv 2610.14435#ISCY (statement). In Y9FSN5BVNQ/e1, lemma 23

History

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

Kirillov character formula SAXJ2FTVGJ

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#AD7G, Kirillov character formula (statement)

History

2026-11-02: add by m2/dev

SAXQ5H04M9 SAXQ5H04M9

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

History

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

Unrooted tree SAXSHK884S

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

Mentions

wikipedia: Wikipedia Phylogenetic tree#BYA4, Unrooted tree (unknown)

History

2026-11-02: add by m2/dev

Smoothing spline SAXV3KX7ZK

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

Mentions

wikipedia: Wikipedia List of statistics articles#FS00, Smoothing spline (definition)

History

2026-11-02: add by m2/dev

SAY1Y8QJ8F SAY1Y8QJ8F

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

Mentions

arxiv: arXiv 2511.12649#R97O (example). In RT27S2YZKJ/e1, example 5

History

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

SAY2Z6SGT7 SAY2Z6SGT7

URI	`m2://inv/SAY2Z6SGT7`
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.04993#ZJJR (statement). In JQBWZPXKAV/e1, lemma 4.3

History

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

SAY8KDNQJ3 SAY8KDNQJ3

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

Mentions

arxiv: arXiv 2609.39700#8NP2 (statement). In E7W2HDNEKJ/e1, theorem 10.27

History

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

SAYE0DAHY9 SAYE0DAHY9

URI	`m2://inv/SAYE0DAHY9`
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.26851#41ND (statement)

History

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

A finite-degree criterion SAYEM1B7DQ

URI	`m2://inv/SAYEM1B7DQ`
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.27965#Z6XE, A finite-degree criterion (statement)

History

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

SAYFJKEBR7 SAYFJKEBR7

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

Mentions

arxiv: arXiv 2610.20972#8YUT (statement). In 6SZE4MTXGZ/e1, lemma 4.1

History

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

SAYJSK90FY SAYJSK90FY

URI	`m2://inv/SAYJSK90FY`
Kind	problem
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.13833#LUF7 (problem). In VD4JP4HVBX/e1, problem 1

History

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

SAYKCBPCYT SAYKCBPCYT

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

Mentions

arxiv: arXiv 2610.14783#X4M6 (statement). In Y3X5XY2J65/e1, theorem 3.2

History

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

SAYVHBNHZ2 SAYVHBNHZ2

URI	`m2://inv/SAYVHBNHZ2`
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.35183#R4G3 (statement). In FYM5XFD9RR/e1, proposition 2.13

History

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

Positive-activity Potts induction SAZAPJ0VY3

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

Mentions

arxiv: arXiv 2610.12456#1ORV, Positive-activity Potts induction (statement). In 5XPM4E03W6/e1, lemma 3.3

History

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

All subalgebras and single generators SAZF4VXBEG

URI	`m2://inv/SAZF4VXBEG`
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.12483#MBCZ, All subalgebras and single generators (statement). In 159250CY6S/e1, corollary 4.2

History

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

Root mean square SAZFY5XFDF

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

Mentions

wikipedia: Wikipedia List of statistics articles#QW19, Root mean square (definition)

History

2026-11-02: add by m2/dev

Statement SAZGWND74X

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

Mentions

wikipedia: Wikipedia Clifford's circle theorems#YB8W, Statement (statement)

History

2026-11-02: add by m2/dev

SAZHJZNNRY SAZHJZNNRY

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

Mentions

arxiv: arXiv 2610.03126#8EY9 (statement). In ZJ6VQCRDVR/e1, corollary 9

History

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

Beer's law SAZN250E6C

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

Mentions

wikipedia: Wikipedia August Beer#CG5Y, Beer's law (statement)

History

2026-11-02: add by m2/dev

NP-complete SAZPG5ZZM1

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

Mentions

wikipedia: Wikipedia Glossary of logic#TRK4, NP-complete (definition)

History

2026-11-02: add by m2/dev

Conjugated stationary norms SAZTAT0RCC

URI	`m2://inv/SAZTAT0RCC`
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#NLYV, Conjugated stationary norms (statement). In 7NS75J7HAM/e1, proposition 9.6

History

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

Mike Franks SAZTQJBEVE

URI	`m2://inv/SAZTQJBEVE`
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#2HVV, Mike Franks (unknown)

History

2026-11-02: add by m2/dev

Field arithmetic SAZVAR8CKT

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

Mentions

wikipedia: Wikipedia Field arithmetic, Field arithmetic (definition). Also Wikidata Q5446972

History

2026-11-02: add by m2/dev

three-dimensional neural $H(\curll)$ class SAZX7V6XP8

URI	`m2://inv/SAZX7V6XP8`
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.08016#639O, three-dimensional neural $H(\curll)$ class (statement). In YR3CSTYEJW/e1, proposition 5.5

History

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