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 6001–6100 of 6923.

NameIdKindOutcomeSources
Subtyping term-transferZ67B3F6B6Astatementrecord (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#YTOZ
Subtyping type-escapeMXAPF555GXstatementrecord (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#TJSL
Subvariety of uncorrelated marked vertices66F2TAP8NFstatementrecord (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.35102#P8D2
Success exponent for ordinary Gaussian draws57AJFZN2ABstatementrecord (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.30808#LSW2
Successful application of NoBLE analysisWG1RVX2Q46statementrecord (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 1905.02785#UZLU
Successful-subset spectrumGBN6TV6S70statementrecord (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.09472#OSTW
successionGGD5CM6FANunknownopenWikidata Q99632598, MathWorld Succeeds
Successive corrections of cochainsQEB87PDSP1statementrecord (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.21093#OUDS
successive over-relaxationN8RJ4CHA9QunknownopenWikidata Q1561270, MathWorld SuccessiveOverrelaxationMethod
Successive sampling on forestsN7KCTVMJWQstatementrecord (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.13063#RO6U
successor1B9SPEBH30conceptopenhott_book index/8.3/successor
successor9KKNG3R414conceptopenhott_book index/1.13/successor
successorB3MW2509P3conceptopenhott_book index/8.1/successor
successorHJZ69Q5WKGconceptopenapplied_combinatorics index/B.7/successor
SuccessorKKE08HEZP1definitionrecord (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 math/0003117#WH68
successor ordinalNDG25ER8Q5definitionopenWikidata Q1191286, MathWorld Successor, nLab successor, ProofWiki Definition:Successor_Ordinal
successor, isomorphism on $\Z$MH4H05HCZTconceptopenhott_book index/7.1.3/successor-isomorphism-on-z
successor, isomorphism on $\Z$MVKWSC728Tconceptopenhott_book index/7.1.1/successor-isomorphism-on-z
successor, of an ordinal1F8CD9P2KTconceptopenhott_book index/C.5/successor-of-an-ordinal
SuccessorsRRJZD44D00definitionopenopen_logic content/sets-functions-relations/relations/trees.tex#defn-2
Sudakov minoration under NA of magnitudesB9YEFGB545statementrecord (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.30525#NC38
Sudakov-Fernique, Theorem 2.2.3M43AFKY89Vstatementrecord (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.05953#HD9B
sudokuXTG0Q8SWG3unknownopenWikidata Q44914, MathWorld Sudoku
Sudoku puzzle2T92PRA192conceptopenapplied_combinatorics index/1.7/sudoku-puzzle
Sufficiency of Stationary PoliciesH0GAK5VP2Nstatementrecord (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.36143#GWNL
Sufficiency of the de Almeida--Thouless conditionD58VZKEK2Hstatementrecord (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.06480#38GV
Sufficiency of the histogramA1CZC9HGY3statementrecord (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.31407#F27F
Sufficiency; approximate and structured formsH1S8Q9M797statementrecord (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.26129#R3M6
Sufficient $\lambda$ for a given additive errorNE1TJJDTC8statementrecord (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.39992#CBRN
Sufficient $\lambda$ for a given relative errorKBW64AZ0JSstatementrecord (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.39992#T00A
Sufficient box inequalities8W511B6VDVstatementrecord (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.24931#1N8P
Sufficient Compression Wins When Compatibility Beats Tax4CJC6389DSstatementrecord (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#N2GS
Sufficient conditionKQ98Z71AJHstatementrecord (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 2606.21391#WF7Q
sufficient conditionKVT2DMYSAFconceptopenlevin_dmoi index/1.2.2/sufficient-condition
sufficient conditionWCYGZJ1KDEunknownopenWikidata Q18192682, MathWorld Sufficient
Sufficient condition for a compact solution setJFN2DHZETJstatementrecord (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.12017#29GH
Sufficient condition for a descent directionE760XDASA8statementrecord (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.33206#CSVR
sufficient condition for uniquenessJ29PTT2SMWstatementrecord (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 2409.03461#B35T
Sufficient condition for vibrational stabilizationX7ECVGDE5Xstatementrecord (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 2204.00678#984W
Sufficient ConditionsCPS0YXF1WDstatementrecord (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.02944#ZW48
Sufficient conditionsGD6VD0DFSNstatementrecord (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.12713#HJVS
Sufficient conditionsGG1QFDXA5Wstatementrecord (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.33866#ACEX
Sufficient conditionsGQ49SS280Zstatementrecord (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.12713#DTYJ
Sufficient Conditions for Global Minimizer of $\varphi(n)$76VV554C3Hstatementrecord (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.37489#NF19
Sufficient conditions for local sample uphill availability95YE3F4JSWstatementrecord (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.01050#Z7F9
Sufficient Conditions for Stability TransferDQAABNQDEEstatementrecord (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.17604#0JQS
Sufficient coverageEA7JAPN95Jstatementrecord (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.38132#UJRL
Sufficient criterion for time negligibility14AY80DQ07statementrecord (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#3AYT
Sufficient DecreaseGWW771E848statementrecord (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.37489#AD7M
Sufficient Decrease / Descent LemmaKBQDYW2TRAstatementrecord (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.00738#13M9
Sufficient fill-distance condition9ECND88D2Gstatementrecord (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.20539#E91I
Sufficient Green estimateHGDFW77672statementrecord (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.11077#TAU6
Sufficient meta-sample regimeZNZ63TJR7Wstatementrecord (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.31458#AMZA
Sufficient penalty for binary feasibilityGW80Z9SMY7statementrecord (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.02528#2UZE
Sufficient sample size for direction recovery7Q6TXHCX5Astatementrecord (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.37917#50X8
Suffix projection8R22P47G5Sstatementrecord (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.15631#MYZU
Suitable weak solutions in the half-spaceAGW2ESW827definitionrecord (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.13613#BF4D
sulfate ion7CCKKBFCD5definitionopenWikidata Q172290, ProofWiki Definition:Sulphate_Ion
sulfurRMXGQCPYEEdefinitionopenWikidata Q682, ProofWiki Definition:Sulphur
sulfur-321N5C038E74definitionopenWikidata Q2375775, ProofWiki Definition:Sulphur/32
sulfur-331GZT0VA76KdefinitionopenWikidata Q2055815, ProofWiki Definition:Sulphur/33
sulfur-34KHRY6HFGJ9definitionopenWikidata Q1880449, ProofWiki Definition:Sulphur/34
sulfur-357A8YGPRBTJdefinitionopenWikidata Q2311880, ProofWiki Definition:Sulphur/35
sulfur-36MHRFA5S6YQdefinitionopenWikidata Q2881932, ProofWiki Definition:Sulphur/36
Sullivan conjectureHQ1WZDM3Q1conjectureopenWikidata Q17089125, nLab Sullivan conjecture
sum91GB8N1V1XunknownopenWikidata Q218005, MathWorld Sum
Sum of a Geometric SeriesE65ZVCVQF6statementopenmathlib_100 66, Mathlib geom_sum_Ico, Mathlib NNReal.hasSum_geometric
Sum of an arithmetic series9VQZ81NEYYstatementopenmathlib_100 68, Mathlib Finset.sum_range_id
Sum of kth powersGT48QR3WSSstatementopenmathlib_100 77, Mathlib sum_range_pow, Mathlib sum_Ico_pow
sum of normally distributed random variablesG6Y44DFXQSunknownnode (a node has the same Wikidata item as the row)Wikidata Q7636889, MathWorld NormalSumDistribution
Sum of singularitiesK9S4Y46QR4unknownopenarXiv 2609.33442#68DA
sum of squares functionCSZ5FW04VPunknownopenWikidata Q25103942, MathWorld SumofSquaresFunction
sum of subspacesJN56MBD6F4unknownnode (a node has the same name as the row)mathlib_undergrad Linear algebra > Fundamentals > sum of subspaces, Mathlib Submodule.completeLattice
Sum of the Angles of a TriangleFBGRH7052Bstatementopenmathlib_100 27, Mathlib EuclideanGeometry.angle_add_angle_add_angle_eq_pi
Sum of the executed trial weightsV6K4HTD45Kstatementrecord (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.15202#P64M
Sum of the limiting weights1B7VV37VK0statementrecord (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.02531#7413
Sum of the Reciprocals of the Triangular Numbers7RDDC0YRF8statementopenmathlib_100 42, Mathlib Theorems100.inverse_triangle_sum
Sum of transmissionsHH0ATBH1SBstatementrecord (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.13429#6Q92
sum of two squares theoremQ6CFWP2QB4statementnode (a node has the same Wikidata item as the row)Wikidata Q25303848, OEIS A001481
sum relation4PYBPDRQB2statementrecord (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.35844#ZMD8
sum ruleHV1J7YF5TAconceptopenactive_calculus index/2.1.4/sum-rule
sum rule in differentiationEMCJ74E03JunknownopenWikidata Q2141200, MathWorld SumRule
Sum-free sequenceZGDAK51ANAunknownopenWikidata Q7636872, MathWorld A-Sequence
sum-free setDNYPB28Z5DunknownopenWikidata Q3054917, MathWorld Sum-FreeSet
Sum-of-squares (SOS) polynomial7YZX9ZJBDXdefinitionrecord (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.17604#OJBV
Sum-of-squares formulaPBNRZZ4XQKstatementrecord (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.29877#UETQ
sum-product numberFBT20E1ARNunknownopenWikidata Q6575256, MathWorld Sum-ProductNumber, OEIS A038369
Summability of path weightsNN8Z9E5X9Rstatementrecord (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.12731#YBU0
Summable Sampling ErrorK1QE7YHHPEstatementrecord (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.07674#UXXW
Summary of the almost simple analysisHNHW82PB6Kstatementrecord (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.15340#MSXK
Summary of the estimates obtained so far8YNER7YCR7statementrecord (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.24185#G4Q3
summation by partsKTHYY1YCGPstatementopenWikidata Q318754, MathWorld AbelsLemma, MathWorld SummationbyParts, ProofWiki Abel's_Lemma
summation index shiftGM3955EV1MstatementopenWikidata Q1604943, ProofWiki Permutation_of_Indices_of_Summation
summation notationHPD91AEY3Rconceptopenlevin_dmoi index/3.1/summation-notation
summation of comparison relationsN1FYBTA3AXunknownopenmathlib_undergrad Single Variable Real Analysis > Numerical series > summation of comparison relations
sumsetWFDQBWCAP6unknownopenWikidata Q3489869, MathWorld Sumset
SunX0FJETK1FSdefinitionopenWikidata Q525, ProofWiki Definition:Sun
Sun TzuJNKXPK94CMunknownout_of_scope (a person, not an item of mathematics)Wikidata Q2634383, ProofWiki Mathematician:Sun_Tzu
Sundararaman RamananZF2W3W8EGHunknownout_of_scope (a person, not an item of mathematics)Wikidata Q7387808, nLab Sundararaman Ramanan
Sunil MukhiSQBKHJ3Q4Kunknownout_of_scope (a person, not an item of mathematics)Wikidata Q32782, nLab Sunil Mukhi