Math 2.0

Inventory: S

The rows of the inventory whose names start with S. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Rows 1901–2000 of 6923.

NameIdKindOutcomeSources
Semantic --- \textsc{VarV33WEHN036statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#7CMN
Semantic --- \textsc{Ze-I3H52G320JGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#ELLU
Semantic Context Well-FormednessN1FFDE4681definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#83KG
Semantic context well-formednessWKPY4RH7TAdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#62S6
Semantic context yields context PEREE02G92WRSstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#C6KU
Semantic Deduction TheoremEYYJ9PJQMAstatementopenopen_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#thm:sem-deduction
Semantic Deduction TheoremT53D4T4FQBstatementopenopen_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#thm:sem-deduction
Semantic DomainBRZ9QZX81Qdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#LL3T
Semantic embedding from $\bf FDE^{\bf S5}_{\Box\D}$ into \textbf{S5KYAY6DZQ3Mstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08323#IQX5
Semantic embedding from $\bf FDE^{\bf S5}_{\circ\bullet}$ into $\bf FDE^{\bf S5}_{\Box\D}$295YC6CBFCstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08323#UDVT
Semantic interpretation of the selectorBP19CYS39Bstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27641#H3H7
Semantic Judgment for SubtypingN2QE42DS4Hdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#B7N0
Semantic Judgment for Terms7RFCZEZ210definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#I00J
Semantic portabilityY1M46X5EHHstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.15824#ZIHQ
Semantic Rate--Distortion Theorem2SJ0M1W6JGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2604.19614#FGTN
Semantic recursion, one-sided substitutedMDNES84YFJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#ASZ4
Semantic recursion, unsubstitutedVT1GG2K455statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#QN5H
Semantic Substitution EqualityGJ6947F7TFdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#XRRT
Semantic Subtyping $<:_i$K709ENFT9Edefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#6FGY
Semantic Subtyping for ContextsM7TWS70DDYdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#B2O7
Semantic Weakening5BKYX6FWZCdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#BC74
Semantic weakening gives semantic substitution8ADFMP39WPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#AKOV
SEMF4E0WBZSEMF4E0WBZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.06699#QD5F
SEMGPGK53QSEMGPGK53Qdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.31523#DJ65
semi-abelian category9YPP845HMNunknownopenWikidata Q30715304, nLab semi-abelian category
Semi-Clifford Gate61SBMDCVEGdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2212.05398#21YK
Semi-concavity of the free energyGY0JCD657Bstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.32710#RYJ2
Semi-continuity of Artin invariants8CN68R08TEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08382#KMYU
semi-continuous functionVP9WX8KV6MunknownopenWikidata Q43304466, EoM Semicontinuous_function
Semi-differentiability of supremal functionalsXT7P9E1CZTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27918#HB2B
Semi-differentiability of the envelope in the Hadamard and Penot senseVFMGN2EJ30statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27918#IUDZ
Semi-differentiability of the generalised $\L^\infty_\la$ envelopeRC16DAJPQDstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27918#LTX5
Semi-directed network6YPHVGWWE0definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.07855#EYB4
Semi-discrete entropy stability of the coupled schemeVA862E8J5Bstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.17973#DWD3
semi-Fredholmness8DMB7MAEWJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.01883#IPNV
Semi-Galerkin construction with exact Maxwell evolutionT3PQ2Q4VJ1statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.24960#X3MR
Semi-global integrabilityS8XHCWD9SFstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.12497#9LMB
semi-latus rectumDHQ4B4TEBFunknownopenWikidata Q16318811, MathWorld SemilatusRectum
semi-local ringAA65NQ5B8AunknownopenWikidata Q7449309, MathWorld SemilocalRing
semi-locally simply connected spaceTX0PW4DZ02unknownopenWikidata Q7449310, MathWorld SemilocallySimplyConnected, nLab semi-locally simply connected topological space, nLab semi-locally simply-connected topological space
semi-major axisNT29JKZS4PunknownopenWikidata Q171594, MathWorld SemimajorAxis
semi-minor axis7VKQ7K8DHRunknownopenWikidata Q1371512, MathWorld SemiminorAxis
Semi-self-dual codes qubitize without lossF5S26XB9Z1statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.04834#2378
Semi-stable model of $X_0(N)$68E4GS6NYMstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.40207#3RYV
Semi-structural, structural, and topological stabilityJB5KACQ54Qdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.04179#EBBE
semi-symmetric graph54B0W5AY7YunknownopenWikidata Q4391253, MathWorld SemisymmetricGraph
Semi-Thue systemYJ6X4M1PN9conceptopenWikidata Q1378504, MathWorld StringRewritingSystem
semialgebraic setKJE7N1HY3HunknownopenWikidata Q7449354, nLab semialgebraic set
semicircleJYFT90MKXWunknownopenWikidata Q1133242, MathWorld Semicircle
Semiclassical limit of Gaussian $2$-QW barycenters1XQ0ATDT3Astatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.01855#DXYI
Semiclassical unit-area diskQVF65FM9RPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.02436#Z9S7
semiconductorW8YHJKP1WJtopicopenWikidata Q11456
semicontinuity3WBD6BEXSRstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.10408#RYFB
Semicontinuity of the relaxed subslopeYAT2NS1KCHstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21775#OJYY
Semicontinuity theoremXH9RS2ZBRTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.05193#7K7V
Semicubical parabola7N2JV307RNconceptopenWikidata Q1192953, MathWorld SemicubicalParabola
semidirect productYACD3M198Zdefinitionnode (a node has the same name as the row)Wikidata Q291126, EoM Semi-direct_product, LMFDB knowl group.semidirect_product, MathWorld SemidirectProduct, nLab semidirect product group, ProofWiki Definition:Semidirect_Product
semidirect sumA4PAAGKGS3unknownopenWikidata Q67173031, nLab semidirect product Lie algebra
Semidiscrete energy balance1NDPWV4RRMstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21991#SVMP
semigroupRJTPXGWR2Jconceptopenhott_book index/A.11/semigroup
semigroupTY9AR3EF66definitionnode (a node has the same Wikidata item as the row)Wikidata Q207348, EoM Semi-group, MathWorld Semigroup, ProofWiki Definition:Semigroup
semihereditary ringAY6AV6RCPHdefinitionopenWikidata Q122972540, ProofWiki Definition:Semihereditary_Ring
semilatticePK6VJXTCYSdefinitionopenWikidata Q834585, nLab semilattice, ProofWiki Definition:Semilattice
Semilattice-breadth boundAGMH1QXA4Wstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37589#YVRE
semilinear mapY3F84EQRB7unknownopenWikidata Q2269145, EoM Semi-linear_mapping, nLab semilinear map
Semilinear precisionDWJTR1PPVZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.05652#5MVF
Semilinearity1ZYXJN7CP4statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.32651#EAEL
semimagic squareRNTZ5DK610unknownopenWikidata Q78155703, MathWorld SemimagicSquare
semimodular latticeWTFKZEZM7EunknownopenWikidata Q1748671, EoM Semi-modular_lattice
seminormZEEGJH8QBMunknownopenWikidata Q1416088, MathWorld Seminorm
semiorthogonal decompositionJ0A1J85M1SunknownopenWikidata Q85800327, nLab semiorthogonal decomposition
semiperfect magic cubeHV6SSMBJVQconceptopenWikidata Q3006692, MathWorld SemiperfectMagicCube
semiperimeterSZEYMDZXG1unknownopenWikidata Q3749881, MathWorld Semiperimeter
semiperimeter theoremHY0KT9NQM3statementopenWikidata Q140082966, ProofWiki Area of Triangle in Terms of Inradius
semiprime4WSSA90ADFunknownopenWikidata Q765289, MathWorld Semiprime, OEIS A001358
Semiprime and semireal, but not realT4P61PV09Kexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.15887#HK8A
semiprime ideal169HJYYF7RunknownopenWikidata Q2269249, MathWorld SemiprimeIdeal
Semiregular groups11YKDA7E8Xstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.10973#Q8FD
semiregular polyhedron7T56JX8NJWunknownopenWikidata Q2311217, MathWorld SemiregularPolyhedron
semiring7YGH6FHVNYdefinitionopenWikidata Q1333055, MathWorld Semiring, ProofWiki Definition:Semiring
semiringVAP6W9VJ3Vconceptopenhott_book index/C.2/semiring
semiringZFVEJ86ECEconceptopenhott_book index/A.12.3/semiring
SemisaturationQMN69MJAT2definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.18600#PPOB
semisimple algebra21B4TX2Q5AunknownopenWikidata Q2851437, MathWorld SemisimpleAlgebra, nLab semisimple algebra
semisimple fiber form4RT68V6VAZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.39395#RRX4
semisimple Lie algebraNKZYYCGC8ZunknownopenWikidata Q2366896, EoM Lie_algebra,_semi-simple, MathWorld SemisimpleLieAlgebra, nLab semisimple Lie algebra
semisimple Lie groupZRP5PH5TVYunknownopenWikidata Q15819036, MathWorld SemisimpleLieGroup, nLab semisimple Lie group
semisimple ringWX177TFZD2unknownopenWikidata Q18192466, MathWorld SemisimpleRing, nLab semisimple ring
semistable abelian varietyH5HGGY51JPunknownopenWikidata Q7449666, MathWorld Semistable
semistable critical pointXE7QKA5R3Sconceptopenlebl_diffyqs index/4.6/semistable-critical-point
semitoneDMSV9SHA60definitionopenWikidata Q738785, ProofWiki Definition:Semitone
SEMTK83WXGSEMTK83WXGexerciseopenlevin_dmoi ptx/exercises/counting-addmult.ptx#exercise-8
SEMYD4WES0SEMYD4WES0statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.15393#3C30
SEN08PXWCZSEN08PXWCZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2605.17536#VNY4
senaryN55HDDY0KAdefinitionopenWikidata Q1034350, ProofWiki Definition:Senary_Notation
Sender-Upgrade Burden Threshold under Single CrossingHRG000M7R3statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.03769#N36M
SENDMQ5MNYSENDMQ5MNYstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27484#IQZA
Sendov's conjecture3RZXMY8Z56conjectureopenWikidata Q17037028, MathWorld SendovConjecture
SENF14PKHWSENF14PKHWstatementopennapkin tex/alg-NT/classgrp.tex#lem:vol_OK_mesh
sensitivityR1G4XKXX3XunknownopenWikidata Q6842789, MathWorld Sensitivity