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 2101–2200 of 6923.

NameIdKindOutcomeSources
Sequencing Operators4RGNKAT3KTdefinitionrecord (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.20126#MP7L
Sequent9CK3G3T18Edefinitionopenopen_logic content/proof-theory/sequent-calculus/introduction.tex#defn-1
sequentF9WEW21YS4definitionopenWikidata Q843632, ProofWiki Definition:Sequent
SequentQE21B8S425definitionopenopen_logic content/first-order-logic/sequent-calculus/rules-and-proofs.tex#defn-1
SequentY2Q51K3AH5definitionopenopen_logic content/many-valued-logic/sequent-calculus/rules-and-proofs.tex#defn-1
sequent calculusMZBSSC774DconceptopenWikidata Q1771121, MathWorld SequentCalculus, nLab sequent calculus
sequential $\Gamma$-convergence4VXFHPNT77definitionrecord (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.07227#JDLX
Sequential certificationM7T8SC6BKPstatementrecord (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.21139#U18X
sequential compactness is equivalent to compactness (Bolzano-Weierstrass)THCWH0XV61unknownopenmathlib_overview Topology > Metric spaces > sequential compactness is equivalent to compactness (Bolzano-Weierstrass), Mathlib isCompact_iff_isSeqCompact, mathlib_undergrad Topology > Topology and Metric Spaces > sequential compactness is equivalent to compactness (Bolzano-Weierstrass)
Sequential continuityMFR9761XKMstatementopennapkin tex/topology/metric-top.tex#thm:seq_cont
Sequential extractionWFBXGM5NWRstatementrecord (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.04271#ANJD
Sequential Gaussian couplingHK1RYPQV83statementrecord (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.05498#4Q4V
Sequential generationNM4S52NZM1statementrecord (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.31336#PBE4
Sequential posterior-stabilizer invarianceCAZ1SGP1M4statementrecord (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.01843#73FV
Sequential Procedure5JS66VZNZHdefinitionrecord (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#JXV6
Sequential sampler with $k$ bits of stateHYY8DNAQHXdefinitionrecord (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.14615#CN1L
sequential space92RWAEG4EWunknownopenmathlib_overview Topology > General topology > sequential space, Mathlib SequentialSpace
Sequential stability of the QML objectiveJAN0BWZYGPstatementrecord (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.12271#CT0G
Sequential trimming guaranteeMYFW28NFZTstatementrecord (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.28160#MVZI
Sequential two-point risk9YA8SE24WJstatementrecord (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.20187#MWCN
Sequentially compact $\iff$ compact7C8BH0QH6Wstatementopennapkin tex/topology/compactness.tex#thm:compactness_metric
SER9YAXC2KSER9YAXC2Kstatementrecord (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 2007.14459#SOCB
SerbiaBQFPH5XHBNunknownout_of_scope (a person, not an item of mathematics)Wikidata Q403, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Serbia
Serenus of AntinouplisWHXR3JD2BSunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1297839, ProofWiki Mathematician:Serenus_of_Antinoupolis
Serge Lang93VX4YM5Y6unknownout_of_scope (a person, not an item of mathematics)Wikidata Q371948, nLab Serge Lang
Sergei GukovAT1DNVY1SCunknownout_of_scope (a person, not an item of mathematics)Wikidata Q7453551, nLab Sergei Gukov
Sergey A. CherkisA1P69HP123unknownout_of_scope (a person, not an item of mathematics)Wikidata Q59675021, nLab Sergey Cherkis
Sergey AntonyanMCWA9PJJ8Sunknownout_of_scope (a person, not an item of mathematics)Wikidata Q102342622, nLab Sergey Antonyan
Sergey MergelyanRE3T1H5RFEunknownout_of_scope (a person, not an item of mathematics)Wikidata Q2471305, ProofWiki Mathematician:Sergey_Nikitovich_Mergelyan
Sergio AlbeverioQRH7N2AZYJunknownout_of_scope (a person, not an item of mathematics)Wikidata Q27113, nLab Sergio Albeverio
Sergio DoplicherA3QYHBY87Vunknownout_of_scope (a person, not an item of mathematics)Wikidata Q22669799, nLab Sergio Doplicher
Sergio FerraraHAY88NV2EMunknownout_of_scope (a person, not an item of mathematics)Wikidata Q364713, nLab Sergio Ferrara
Sergiu KlainermanWPA080FR4Funknownout_of_scope (a person, not an item of mathematics)Wikidata Q2273233, nLab Sergiu Klainerman
Serial and common-query boundsZVAGN2J8J3statementrecord (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.12641#JDX1
Serial phase followed by common queriesZ67PCGVAJ9statementrecord (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.12641#FGAS
seriesZ8FYKKRJMQconceptnode (a node has the same Wikidata item as the row)Wikidata Q170198, EoM series, MathWorld Series
series accelerationPVDWJJF6RPunknownopenWikidata Q1783478, MathWorld ConvergenceImprovement
series expansion455NXFQN06unknownopenWikidata Q358733, MathWorld SeriesExpansion
Series ExpansionS7ZRWB9HNXstatementrecord (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.08007#LQXO
Series multisection40CZE0JNCKconceptopenWikidata Q4307004, MathWorld SeriesMultisection
Series RegressionHR42XNB5AWdefinitionrecord (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.10167#UHR9
series, finite geometricQ4KNWKT3XJconceptopenapplied_combinatorics index/8.1/series-finite-geometric
series, finite geometric, sum of5883DHE2CTconceptopenapplied_combinatorics index/8.1/series-finite-geometric-sum-of
series, infinite geometricVMPYXA9G9Hconceptopenapplied_combinatorics index/8.1/series-infinite-geometric
series, infinite geometric, sum ofKCYE08BTWHconceptopenapplied_combinatorics index/8.1/series-infinite-geometric-sum-of
series-parallel graphA0F4QRXTJ9unknownopenWikidata Q7454787, MathWorld Series-ParallelGraph
series-reduced treeNJ25B8RDPHunknownopenWikidata Q121143389, MathWorld Series-ReducedTree, OEIS A000014
serpentine curveDGJXZT9KKFunknownopenWikidata Q3821106, MathWorld SerpentineCurve
Serre dualityC31VV5CANZunknownopenWikidata Q11095962, nLab Serre duality
Serre spectral sequence7XCRCBJMCHconceptopenWikidata Q7455410, nLab Serre spectral sequence
Serre--Siegel growth5BN9MT2HPJstatementrecord (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.09295#QYR2
SerrinC6R8KT6QRMstatementrecord (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.02751#Y579
Server updateZ8B4CZTPHTstatementrecord (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.13631#YOP6
SERZVVRKT4SERZVVRKT4exerciseopenlebl_ra ch-contfunc.tex#exercise-46
SESD7TN89JSESD7TN89Jstatementrecord (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.20131#2D5R
sesquilinear formRRQ6XR7ZBCunknownnode (a node has the same name as the row)Wikidata Q1931224, EoM Sesquilinear_form, nLab sesquilinear form
set3GZHPYJGFWconceptopenhott_book index/5.9/set
set7BNRDQ1THMconceptopenapplied_combinatorics index/B.1/set
set7QZFZFHV01conceptopenlevin_dmoi index/1.3/set
set8XKXSKE6K0unknownopenmathlib_overview Data structures > Sets > set, Mathlib Set
setBJFX11AZK0conceptopenhott_book index/u1.u5/set
setNEN3YGGD0Ydefinitionnode (a node has the same Wikidata item as the row)Wikidata Q1514741, EoM Set, Wikidata Q2518298, nLab Set, ProofWiki Definition:Category_of_Sets, Wikidata Q36161, MathWorld Set, nLab set, ProofWiki Definition:Set
setPZAK5408ZRconceptopenhott_book index/2.1/set
setQ84RP0DK71conceptopenhott_book index/C/set
setRB47HBQFANconceptopenhott_book index/6.1/set
setX4RND9CR7Tconceptopenhott_book index/6.2/set
setXB3VTH8AS6conceptopenhott_book index/3.6/set
setYHTPKNMEWVconceptopenhott_book index/9.1/set
Set coverRMYXZSGD0Vdefinitionrecord (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.09810#LWVW
set differenceAR94NGRP6Gdefinitionnode (a node has the same name as the row)Wikidata Q845126, MathWorld SetDifference, ProofWiki Definition:Set_Difference
set differenceTBZMDSZHYDconceptopenlevin_dmoi index/1.3.3/set-difference
set functionRY7JX4W485unknownopenWikidata Q1657198, MathWorld SetFunction
set of algebraic numbers4Q32Z6FY6CunknownopenWikidata Q47007753, MathWorld Algebraics
Set of broken bondsTGEDJX2ED4definitionrecord (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 2310.11101#8HSY
set of complex numbers40562ZJ5EZunknownopenWikidata Q26851286, MathWorld C
set of complex numbers without zeroATMNXGEXP3unknownopenWikidata Q105525706, MathWorld PuncturedPlane
set of integers6ZEDPQHWEDunknownopenWikidata Q47007735, MathWorld Z
Set of multiplicative recurrence1ZDZW2QZT8definitionrecord (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.00843#V25T
set of natural numbersMDNVA9YR4AunknownopenWikidata Q141085682, MathWorld N
set of negative integers3DRCBSQ2SXunknownopenWikidata Q47379005, MathWorld Z-
set of positive integers48VC7B0R2RunknownopenWikidata Q47339953, MathWorld Z-Plus
set of prime numbers3B11BE9R2TunknownopenWikidata Q47370614, MathWorld Primes
set of rational numbersN9TD23BEE3unknownopenWikidata Q47005650, MathWorld Q, MathWorld Rationals
set of real numbers2SQ4E28EYQunknownopenWikidata Q1174982, MathWorld Continuum
Set PartitionsKBN7R762T1definitionrecord (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 1711.00219#E49Y
set theory5MCV2BT35Yconceptopenlebl_ra index/11.9/set-theory
set theorySQBATTVW0MtopicopenWikidata Q12482, EoM Set_theory, MathWorld SetTheory, nLab set theory, ProofWiki Definition:Set_Theory
set theory, algebraicEVHAFY9SGMconceptopenhott_book index/C/set-theory-algebraic
set theory, algebraicH3N76HT1BZconceptopenhott_book index/C.5/set-theory-algebraic
set theory, Zermelo--Fraenkel298H8HT6ETconceptopenhott_book index/A.1/set-theory-zermelo-fraenkel
set theory, Zermelo--Fraenkel33VE7J1GW7conceptopenhott_book index/5.11/set-theory-zermelo-fraenkel
set theory, Zermelo--Fraenkel5CQJV1P7PGconceptopenhott_book index/u1.u5/set-theory-zermelo-fraenkel
set theory, Zermelo--Fraenkel92DCSPAQDRconceptopenhott_book index/C.5/set-theory-zermelo-fraenkel
set theory, Zermelo--FraenkelMZMDNQMP7Kconceptopenhott_book index/C/set-theory-zermelo-fraenkel
Set zeta derivatives809YXQYAXCdefinitionrecord (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.28282#OVJO
set, emptyYXHXNMNAHFconceptopenapplied_combinatorics index/B.2.2/set-empty
set, finiteRV586QBGNEconceptopenapplied_combinatorics index/B.5/set-finite
set, infiniteXRV3JKE1F0conceptopenapplied_combinatorics index/B.5/set-infinite
set, Zermelo-Fraenkel axiomsXDS8BRJRWSconceptopenapplied_combinatorics index/B.19/set-zermelo-fraenkel-axioms
set-coequalizerRW508A23K1conceptopenhott_book index/C.1.2/set-coequalizer