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.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 3001–3100 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Simplex realization with indispensable coordinates | 2WB829EM05 | statement | 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)) | arXiv 2609.26269#QGKV |
| Simplices | EPWSM11SNC | definition | 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)) | arXiv 2606.21391#UKH3 |
| Simplicial and co-simplicial objects | 7PT3MH9VJR | definition | 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)) | arXiv 2610.03865#YRO4 |
| simplicial approximation theorem | 5FGDZ3PNT0 | statement | open | mathlib_1000 Q3983972, Wikidata Q3983972, thousand_plus Q3983972, Wikipedia Simplicial approximation theorem, nLab simplicial approximation theorem |
| simplicial complex | 3VTZQPZNJD | example | 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)) | arXiv 2610.15099#SRZJ |
| Simplicial complex | 9A24P5F5Z8 | definition | 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)) | arXiv 2610.00525#9H1E |
| simplicial complex | BN4EWSH8KV | example | 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)) | arXiv 2610.15099#JGJ2 |
| simplicial complex | M0SRJYPHAQ | unknown | open | Wikidata Q994399, EoM Simplicial_complex, MathWorld SimplicialComplex, nLab simplicial complex |
| simplicial group | S1GC2JXHQE | unknown | open | Wikidata Q16976808, nLab simplicial group |
| simplicial homology | WW04YBFQPX | concept | open | Wikidata Q7520902, nLab simplicial homology |
| simplicial homotopy | VFH25MNZXJ | unknown | open | Wikidata Q25098928, nLab simplicial homotopy |
| simplicial Lie algebra | KEPY60YAFF | unknown | open | Wikidata Q16896378, nLab simplicial Lie algebra |
| simplicial localization | Z0T80ZZ8AA | unknown | open | Wikidata Q16935521, nLab simplicial localization |
| simplicial manifold | WB53E4V2Q7 | unknown | open | Wikidata Q7520904, nLab simplicial manifold |
| simplicial map | 84XSFBA5ET | concept | open | Wikidata Q17057096, MathWorld SimplicialMap, nLab simplicial map |
| simplicial polyhedron | 6MQ9BNKB8V | unknown | open | Wikidata Q91079947, MathWorld SimplicialPolyhedron |
| simplicial presheaf | JMTQ5RAVZB | unknown | open | Wikidata Q17103298, nLab simplicial presheaf |
| simplicial set | SCYSHTJXWK | unknown | open | Wikidata Q1467124, nLab simplicial set |
| simplicial space | SE95RWJ60G | unknown | open | Wikidata Q16872732, EoM Simplicial_space, nLab simplicial space |
| simplicial, kernel | XRTAGMBKDP | concept | open | hott_book index/7.7.2/simplicial-kernel |
| simplicial, sets | BXBWDADQ14 | concept | open | hott_book index/7/simplicial-sets |
| simplicial, sets | C7E63V364A | concept | open | hott_book index/2.9/simplicial-sets |
| simplicial, sets | P8KM35T618 | concept | open | hott_book index/u1.u2/simplicial-sets |
| simplicially enriched category | 1J753S29M4 | unknown | open | Wikidata Q7520909, nLab simplicially enriched category |
| simplicity of eigenvalues in an interval | RQ0E4JVZ8A | statement | 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)) | arXiv 2609.24892#9MPS |
| Simplicity of the extremal eigenvalue | ZW1560XHMX | statement | 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)) | arXiv 2610.13429#BOVP |
| simplicity theorem | 2T2J0MRMS0 | concept | open | hott_book index/B.6/simplicity-theorem |
| Simplicity transfer | MP1BPN4VK8 | statement | 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)) | arXiv 2609.24640#7KWC |
| Simplification of Koszul factorizations by a higher order polynomial | N365RXA6R8 | statement | 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)) | arXiv 2610.10262#0Z4T |
| Simplification of Koszul factorizations by a linear term | TSEVABXYD9 | statement | 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)) | arXiv 2610.10262#2PB7 |
| Simplified | A0KC0CCZ5C | statement | 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)) | arXiv 2609.39449#V0ML |
| Simplified asynchronous} expansion rate estimates | 6PT9YR55MK | statement | 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)) | arXiv 2610.10051#HKEQ |
| Simplified Chernoff Bounds for Poisson variables | CRPTSY61N0 | statement | 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)) | arXiv 2609.27689#KZP0 |
| Simplified form of the main result | 8S276GS8NA | statement | 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)) | arXiv 2609.25367#7MB8 |
| Simplified rates of main effect estimators | EV9DPXFE0M | statement | 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)) | arXiv 2610.18335#ZCMK |
| simply connected space | M670YD9APG | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q912058, MathWorld SimplyConnected, nLab simply connected space |
| Simpson's paradox | YPN7P848VZ | unknown | open | Wikidata Q757290, MathWorld SimpsonsParadox |
| Simpson's rule | 3XJMYE9PTW | statement | open | Wikidata Q722507, MathWorld SimpsonsRule, ProofWiki Simpson's_Rule |
| Simpson's rule | T8VEX67YSY | concept | open | active_calculus index/5.6.4/simpson-s-rule |
| Sims rank versus faithfulness and hollowing | KQ346RBRNV | statement | 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)) | arXiv 2610.14509#XJN3 |
| Simson cubic | 4FCHTBC62Y | unknown | open | Wikidata Q2350675, MathWorld SimsonCubic |
| Simson line | ES7X4DVZKE | statement | open | Wikidata Q937921, MathWorld SimsonLine |
| Simula | AQVD0H7TZS | unknown | open | Wikidata Q212569, EoM Simula |
| simulated annealing | 1KQTRH8ZGG | unknown | open | Wikidata Q863783, MathWorld SimulatedAnnealing |
| Simulated annealing | EWKFXQGBR3 | definition | 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)) | arXiv 2610.17717#501F |
| Simulated annealing from weak \Poincare inequalities | 2Q6K8KGS9Q | statement | 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)) | arXiv 2610.17717#RYL5 |
| Simulated output probability | 4YTJE5XYJM | statement | 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)) | arXiv 2610.08280#05WT |
| Simulation by \( \CCA \ | P4D58Q4P9S | statement | 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)) | arXiv math/0003117#QE6I |
| Simulation by exact batches | R4YEP3TDTS | statement | 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)) | arXiv 2610.12641#A6A3 |
| Simulation cost | X8KV9CNF4V | statement | 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)) | arXiv 2610.11619#DEVG |
| Simulation Damage Probability Bound | DBKGRPT3VE | statement | 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)) | arXiv math/0003117#M5YI |
| Simulation-free wall certificate | M2HY121XGG | statement | 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)) | arXiv 2610.03823#TYLI |
| Simultaneous absence of boundary errors | VHEB9VFS9V | statement | 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)) | arXiv 2609.39699#ACZ0 |
| Simultaneous actual AGOP acquisition during a high-loss window | PK8XQPAKK0 | statement | 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)) | arXiv 2609.39408#FMT3 |
| Simultaneous alignment and refit gains | 48435AN35S | statement | 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)) | arXiv 2609.39408#NSXU |
| Simultaneous analytic lamination | DHE9V2GT2R | definition | 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)) | arXiv 2609.24701#SGA8 |
| Simultaneous bridges | GBF7272GCR | statement | 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)) | arXiv 2609.36098#IV4D |
| Simultaneous conditional-type packing | Y9GXBXQ53F | statement | 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)) | arXiv 2610.09472#GKAP |
| Simultaneous coverage | P2AYFJPBXW | statement | 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)) | arXiv 2610.14965#RB0N |
| simultaneous diagonalization of two real quadratic forms, with one positive-definite | B6GX20SY73 | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > simultaneous diagonalization of two real quadratic forms, with one positive-definite |
| Simultaneous extension | TGTCMKYV06 | statement | 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)) | arXiv 2609.33733#G5RS |
| Simultaneous extension - single step | HKEZB3GS3P | statement | 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)) | arXiv 2609.33733#L2N1 |
| Simultaneous lattice test | 6E1822RJ59 | example | 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)) | arXiv 2610.14318#YH92 |
| Simultaneous local-observable prediction | RPE4HSJQAD | statement | 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)) | arXiv 2610.00448#3MZ8 |
| Simultaneous maintenance of the budgets and the primary rectangle | HDZZ5TMXXD | statement | 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)) | arXiv 2609.28791#NM3H |
| Simultaneous norm and trace formulas | XBN47AC5HK | statement | 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)) | arXiv 2609.30301#6JS2 |
| Simultaneous norm-character coefficients | 9ABJQ0T2CY | statement | 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)) | arXiv 2609.30301#5ID0 |
| Simultaneous norm-character coefficients | NC122B935Q | statement | 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)) | arXiv 2609.30301#H1IR |
| Simultaneous norm-character coefficients | QXP7Z4GNTJ | statement | 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)) | arXiv 2609.30301#T28M |
| Simultaneous optimality over a prefix | SE62DRMKSG | statement | 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)) | arXiv 2610.02843#2UIN |
| Simultaneous posterior image bound | N8N7Y3657W | statement | 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)) | arXiv 2610.09472#K5F2 |
| Simultaneous preliminary accuracy | RKFCZS8SKA | statement | 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)) | arXiv 2609.36594#GWZF |
| Simultaneous projected and marked images | RFBAP1RAGP | statement | 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)) | arXiv 2610.09472#8OJ2 |
| Simultaneous replacement of exceptional restrictions | 13A3B0535Q | statement | 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)) | arXiv 2610.00099#CGPM |
| Simultaneous rounding in arbitrary matrix dimension | ACH0W4Y2E5 | statement | 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)) | arXiv 2609.38228#UC1T |
| Simultaneous SC at every uniquely rank-one exact order | FTQA6T8KAJ | statement | 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)) | arXiv 2610.20270#WNKM |
| Simultaneous scalar transport | RRTMSB6HDS | statement | 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)) | arXiv 2609.38228#X07A |
| Simultaneous scale inequalities | H6BFPB1H5X | statement | 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)) | arXiv 2610.06544#KBLM |
| Simultaneous Schatten rounding | FJETG0GYEY | statement | 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)) | arXiv 2609.38228#I1ZU |
| Simultaneous selection | D7C53FZFAB | statement | 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)) | arXiv 2610.02407#PJSF |
| Simultaneous singular-value domination | 1532WTSVDP | statement | 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)) | arXiv 2609.38228#4SKE |
| Simultaneous stability of endpoints and reference | RBPT1MQ3GM | statement | 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)) | arXiv 2609.38228#PJ44 |
| Simultaneous stationary norms | GWFK0M9E2T | statement | 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)) | arXiv 2609.30301#NVL2 |
| Simultaneous stationary norms | MCKJ7RDFNR | statement | 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)) | arXiv 2609.30301#VMSP |
| Simultaneous tree gluing | 7E6EY51N1F | statement | 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)) | arXiv 2610.17400#XB17 |
| Simultaneous uniformization | 4T1JB6SR7N | statement | 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)) | arXiv 2609.29450#IJ0D |
| Simultaneous Williamson's normal form | 3FBAEFN1N9 | statement | 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)) | arXiv 2610.04583#KL3E |
| Simultaneous witnesses | SA7PRDMH07 | statement | 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)) | arXiv 2609.31782#6K3O |
| simultaneous) $\varphi$-irreducibility | C4RJ9AN7ZM | definition | 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)) | arXiv 2609.29326#UB6E |
| Simultaneous-exchange rounding | D8NEQ8RJYE | statement | 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)) | arXiv 2609.38228#1SXT |
| Simultaneously estimated activity factors | 63W8SSP7M7 | statement | 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)) | arXiv 2610.19207#3X94 |
| Siméon Denis Poisson | ZMV50H73VR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q190772, EoM Poisson,_Simeon-Denis |
| sin | ME9JNTF3D5 | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > power series expansion of elementary functions > sin, Mathlib Complex.hasSum_sin |
| sin | QY2J08D4WY | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > extension of trigonometric functions to the complex plane > sin, Mathlib Complex.sin |
| sinc function | J788ZDV3P9 | unknown | open | Wikidata Q855949, MathWorld SincFunction |
| Sinc-quadrature approximate inverse | ZW1W4NKVK1 | statement | 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)) | arXiv 2610.20106#DAIG |
| sine | FY3FH190W0 | definition | open | Wikidata Q152415, EoM Sine, MathWorld Sine, nLab sine, ProofWiki Definition:Sine |
| sine integral | HV3ZAB3GAM | unknown | open | Wikidata Q2732008, EoM Integral_sine, MathWorld SineIntegral |
| Sine process | GJTSE8RC4P | example | 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)) | arXiv 2609.27961#L5M8 |
| Sine triples | 3EFNYX7SV1 | statement | 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)) | arXiv 2610.18512#ID02 |