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 4201–4300 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| special unitary group | AHY9TYTGMM | definition | open | Wikidata Q684363, MathWorld SpecialUnitaryGroup, nLab special unitary group, ProofWiki Definition:Special_Unitary_Group |
| special unitary group | TQDTD2P0GP | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > special unitary group, Mathlib Matrix.specialUnitaryGroup, mathlib_undergrad Group Theory > Classical automorphism groups > special unitary group |
| special values of L-functions | A04WSW6PGP | unknown | open | Wikidata Q7574878, nLab special values of L-functions |
| Special-piece labels | 2GZJACJ71D | 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.16931#N4OO |
| specialised form | GQZ8ERC7J9 | 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.09042#L1T3 |
| specialization (pre)order | PFFKRJDZ0Q | unknown | open | Wikidata Q5569420, EoM Specialization_of_a_point, nLab specialization order |
| Specialization at a finite character | 1AVTBZF7TM | 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.05652#DBJH |
| Specialization below the valuation of $p$ | VFYENWWTCX | 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.05652#IFTR |
| Specialization of lengths | Z2VPW1KQ2P | 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.05892#Y69N |
| Specialization of the trapezoidal family | DZH22QKAKF | 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.24541#OLE9 |
| Specialization to four loops | J0PS9TGMBY | 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.10828#OTNS |
| Specialization to Function-Field Height | F6PWTGR992 | 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.33162#7G6I |
| Specialization to three loops | PBTPSND9FM | 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.10828#XB8N |
| Specialized GFH search procedure | SGN0XBP5HQ | 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.37482#UWF2 |
| Specialized Legendre--twist normalization | 6WWHAAN0NT | 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.03121#G2B6 |
| Specification relation between strings | 84YDCCHYJR | 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 math/0003117#CTD0 |
| specificity | EZ1QB28H1H | unknown | open | Wikidata Q3494375, MathWorld Specificity |
| Specker sequence | 7TKR8HFW3R | concept | open | Wikidata Q2308311, nLab Specker sequence |
| Specker's Tree | T1WJ47PZAG | 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.00934#0A1G |
| Spector | 5C3YJXN9FJ | 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.19088#KYE7 |
| Spector | FTJ5TKXVRF | 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.19088#3255 |
| Spectra of finite truncations of \(\mathscr H_{(a)}\ | VAT9YG32PZ | 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.26066#WSIK |
| Spectral bias | 9EV580T1B8 | 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.38267#FOAY |
| Spectral Binet operator | XMD603KVH9 | 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.20593#781Y |
| Spectral bound on the $\chi^2-$divergence to equilibrium | BQ135XYWYH | 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.31187#NSGH |
| Spectral certificate for full-rank preservation | Q7QSMCXPQD | 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.28029#9OH9 |
| Spectral Certificates | HBT6QS59JQ | 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.30105#KV4W |
| Spectral characterization | XPFESKTC6G | 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.09912#BCGG |
| Spectral coarea | ZKKW5K1SFN | 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.37761#67MP |
| Spectral compactness in \(L^2(I;H)\ | ZS2EWC0F4T | 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.33033#MGD9 |
| Spectral comparison and area estimate | HG2TH48CFE | 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.08011#06GD |
| Spectral concavity | D11A2R9KND | 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.25037#JJTY |
| Spectral convergence | A7DMAMP0BC | 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.01501#Z8D5 |
| Spectral convergence | JS37P44JSQ | 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.35558#WDVO |
| Spectral Correspondence under Exact Closure | 9PY4XSFMGG | 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.32652#7U9N |
| Spectral covariance | G2J6M55RG1 | 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.24807#X5DF |
| Spectral criterion for the full output | 8SQVBY6HW3 | 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.25805#GU0T |
| Spectral curve and weight map | YYNYAHRPHD | 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.05652#TERD |
| Spectral Decomposition of $h_\delta$ | KYBCQP6QZJ | 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.17883#D0AX |
| Spectral dispersion implies a transition | XZDF6W0NBA | 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.11309#UKP1 |
| Spectral edges and support | J9MPZD8AJ8 | 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.16680#MIQJ |
| Spectral estimate in three dimensions | PSFF65NFBC | 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.17815#WAF3 |
| Spectral estimates in two dimensions | 3W59DZ3XZG | 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.17815#B54Y |
| Spectral Evaluation Dataset | CA3P3TGN8W | 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.32652#NRSK |
| Spectral expansion in the fixed closure | HPJ26501BR | 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.05388#S158 |
| Spectral facts | 70BG2254JK | 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.06490#0D5E |
| Spectral facts | 8PHT9WN46M | 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#82ST |
| Spectral Form | 711QD2HCAS | 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.25091#AZ86 |
| Spectral Galerkin spaces on a rectangular domain | QWAH9B8BV1 | 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.33033#BALN |
| spectral gap | D5QZA0ZJJ9 | 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.30585#7UNK |
| Spectral gap | YNVCXXRSG8 | 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.16668#NLKL |
| Spectral gap and inverse at a strictly stable profile | 2THBPK00R3 | 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.06490#DWNN |
| Spectral gap of the core heat bath | CXKA7W52MV | 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.10474#3XGY |
| spectral geometry | F0C2BAJD0P | topic | open | Wikidata Q3123529, nLab spectral geometry |
| Spectral identities of the fiber | RX649E3F61 | 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.05164#TI8T |
| Spectral increments | 3G0BN32AY6 | 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.20593#APGR |
| Spectral inequality on measurable sets | HAGAVM62FH | 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.29008#728J |
| Spectral integral against a \rev{positive trace-class operator | QTGYMPG2HK | 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.01855#FQPM |
| Spectral interval and endpoint detection | H9EKF7N3P5 | 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.00077#7M82 |
| Spectral invariants | CKAXTA8S1T | 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 2607.25960#6W82 |
| spectral leakage | 6EJ9469EQV | concept | open | Wikidata Q1431214, MathWorld Leakage |
| Spectral localizer theorem, Thm 10.4.1 | Z3D5447AKM | 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.19791#5H3A |
| Spectral mapping theorem; , Theorem 3.13 | AJE0WA6XGH | 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.18078#3VI7 |
| Spectral measures for spherical matrix coefficients | 6A7CZ6YDAD | 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 2503.01567#YQMQ |
| Spectral minimax | CGDS3MJHES | 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#D97I |
| Spectral minimax formula | 7GWRBHPJ9S | conjecture | 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.21363#1X67 |
| Spectral moment-cancellation lower bound | E0E64NPWV5 | 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.21363#FYD3 |
| Spectral moments and the exact increment | 424ZHG3YV1 | 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.16680#98W9 |
| spectral norm | Z8AN2CA4FA | unknown | open | Wikidata Q2308818, MathWorld SpectralNorm |
| Spectral one-step descent | 8M5PTQHQZQ | 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.04357#JX8U |
| Spectral orthogonality criterion | S33A8BAJ4H | 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.20593#BNLK |
| Spectral orthogonality formula | DZ12M6JEX6 | 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.20593#EM2F |
| Spectral product rule | 2DAG7ABTPP | 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.20593#SHGA |
| Spectral properties of original operator $\Aop$ | E34X4FVC10 | 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.08764#URIW |
| spectral radius | 2NRAM6DFS1 | unknown | open | Wikidata Q249748, MathWorld SpectralRadius |
| Spectral radius of matrix $\boldsymbol{T}$ | FXSSTBW4W3 | 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.30957#L6WB |
| Spectral rate for Polyak's tuning | PRDK8EEFTG | 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.09912#B8SF |
| spectral ray | B32YWBJGDJ | unknown | open | mathlib_undergrad Numerical Analysis > Iterative methods > spectral ray |
| Spectral recovery with unknown mean | JFKMJ0SCEH | 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.20944#TLAX |
| Spectral region and sparse realization | BAMCW5RJQV | 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.31768#8BKR |
| Spectral regularity as monodromy alignment | KSVCT52WNR | 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.24807#XA3W |
| Spectral representation of the backscattering field | EBFQVJ8PT0 | 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.08011#FLNA |
| Spectral separation | VKC8D1Z6WX | 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.00077#UNV6 |
| spectral sequence | GYWQTYJ9GF | unknown | open | Wikidata Q3503315, EoM Spectral_sequence, MathWorld SpectralSequence, nLab spectral sequence |
| Spectral sets are transversals | 3JY2D0CBBP | 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.02218#OGDB |
| Spectral signing with bounded signed degrees | VZGNY8VYR9 | 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#DLL4 |
| spectral space | DCNK34HSKF | unknown | open | Wikidata Q7575210, nLab coherent space |
| Spectral stability of truncated pseudo-inverse | A20ZGZ2NR1 | 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.20944#ACEK |
| spectral theorem | 3KSQGESGSR | statement | node (a node has the same Wikidata item as the row) | arXiv 2610.18078#KQ2M, mathlib_1000 Q1425077, Wikidata Q1425077, thousand_plus Q1425077, Wikipedia Spectral theorem, MathWorld SpectralTheorem, nLab spectral theorem |
| Spectral theorem for $\LL^+$ | SSX5KVY2R2 | 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.12326#57DF |
| Spectral theorem for commuting translations | KCRSP62226 | 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.18907#RGD3 |
| Spectral Theorem for compact self-adjoint linear relations | FRX3XBA446 | 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.13385#GDVD |
| spectral theorem for cyclic spaces of self-adjoint operators | 2T1ZZPZRWW | 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 2211.01586#TNKG |
| spectral theory | NGFPAP4S14 | topic | open | Wikidata Q2409122, EoM Spectral_theory, MathWorld SpectralTheory, nLab spectral theory |
| Spectral transfer | F33VQ6H73S | 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.15432#IY8T |
| Spectral transition and first-return formulas | 4SFR8E7B82 | 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.08568#OVBR |
| spectral triple | KJCF6Y9GFP | unknown | open | Wikidata Q17103517, nLab spectral triple |
| Spectral type and multiplicity | 3BXXBTC6BK | 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.25925#LTJC |
| Spectral values of a symmetric density | CAGVV4F900 | 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.05164#A35M |
| Spectral walls for unitarizability | WA99DZAD08 | 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.25805#KE2I |