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 1001–1100 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Saito’s criterion | N3P6884HSV | 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 2406.19866#JVSE |
| SAKE1QN0ZB | SAKE1QN0ZB | 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.27516#6PLX |
| SAKF9E9XAA | SAKF9E9XAA | 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.05784#IUAX |
| SAKNN6DJ0A | SAKNN6DJ0A | 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.27360#NLH3 |
| Sakura Schafer-Nameki | PJN2DQGMYH | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q97477590, nLab Sakura Schäfer-Nameki |
| SAKW8SBZHZ | SAKW8SBZHZ | proof | open | lebl_ra ch-real-nums.tex#proof-7 |
| salient cone | 45WCQNK0WA | unknown | open | mathlib_overview Geometry > Convex geometry > salient cone, Mathlib ConvexCone.Salient |
| Salinon | F36MFA1AEF | unknown | open | Wikidata Q962703, MathWorld Salinon |
| Saloff-Coste | NQ63SQX3BH | 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.31373#9KO0 |
| Saloff-Coste | PKAA42BYZ5 | 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.31393#6O5C |
| saltire | DAFS83JS4C | unknown | open | Wikidata Q201960, MathWorld SaintAndrewsCross |
| Salvatore Rocco Rappoccio | 6KZ08PHYC3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q64860291, nLab Salvatore Rappoccio |
| Sam Loyd | N1RP0K6RS3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q337325, ProofWiki Mathematician:Samuel_Loyd |
| SAM2TNXPJR | SAM2TNXPJR | 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.11545#00T2 |
| SAM38TMHWT | SAM38TMHWT | 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.15352#YFTD |
| same span and combinatorial inverse | AZNMH980Q3 | 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.39511#L9IC |
| same span and combinatorial inverse | ZDXX8QVZF1 | 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.39511#VBZ0 |
| Same subgradient plan control | 9GEZH7VNHA | 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.35574#CYJ0 |
| Same-budget comparison | 1ABPXA0BS5 | 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#W36D |
| Same-driver diffusion stability | N3SRHZC3J5 | 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#SOPF |
| Same-gap seam closure | W1C895H4EC | 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.24931#CG1Y |
| Same-grid stochastic-rounding reference | EZNV11JB28 | 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.31641#YYRD |
| Same-ray and cross-ray kernels | Z91MYSK0VE | 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.27752#X4A1 |
| Same-scale separated form | AZD7QSZW25 | 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.16351#01S3 |
| Same-scale two-sided equivalence | 9YPKPPJM68 | 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.16351#NTD1 |
| Same-time random-ensemble criterion | KA3W6YBT1H | 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.16351#W8JL |
| Same-topology latent-tree Ising | ZX2FF9KQ28 | 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.24235#N9IN |
| Samir D. Mathur | 9SXTVQMRGG | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q17639097, nLab Samir Mathur |
| SAMNB3P0RE | SAMNB3P0RE | 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.10795#6OL6 |
| sample | 5J5N5KF6QN | unknown | open | Wikidata Q49906, MathWorld Sample |
| Sample and circuit complexities of operator expectation value estimation algorithm | NMBHHJMV6N | 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.39992#8G21 |
| Sample Complexity | 6878G8D2BV | 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.27241#OK8G |
| Sample Complexity | NQXZ5XKCFC | 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.36421#IQUN |
| Sample Complexity of Hard Neighborhood Selection | GER0CTT5ZN | 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.31470#7C6W |
| Sample complexity of MPA | 87Z5J1VSSW | 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.31363#XMQO |
| Sample complexity of the Sinkhorn divergence | 3PWF2C5ETZ | 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.01199#AB0U |
| Sample complexity of useful event-tilt selection | GN463B4FN9 | 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.33499#VUJ3 |
| Sample GGDPC path through a boundary saddle | 9ZVBCYPH0S | 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.01050#SEFT |
| Sample lower bound for estimating the state distribution | 52FAHQW4DV | 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.14615#NI1L |
| sample mean | A59N164XN8 | unknown | node (a node has the same name as the row) | Wikidata Q105675280, MathWorld SampleMean |
| sample size | A0D4ZAHP44 | unknown | open | Wikidata Q70443487, MathWorld SampleSize |
| Sample size in each interval | WGPCSK4PC2 | 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.25388#NKOB |
| Sample size sufficient for a given accuracy | JQMW3Z8KYT | 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.17403#0ADD |
| sample space | 2GM8TWCDZ6 | unknown | node (a node has the same name as the row) | Wikidata Q467440, MathWorld SampleSpace |
| Sample update before the terminal modal neighborhood | V217WD9RQZ | 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.01050#MURZ |
| sample variance | 1P8YH0RD6D | unknown | node (a node has the same name as the row) | Wikidata Q10351825, MathWorld SampleVariance |
| Sample-only finite KL-constrained improvement | FRHF5XGRS5 | 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.33499#1GM1 |
| Sample-smooth space | QFBVN054PB | 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.26270#ZJHW |
| Sampled inner product, evaluation spaces | NVK44DBW24 | 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.31689#T7OS |
| Sampled linear constraints | D0EJVBG9VN | 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.04357#MS2J |
| Samplers are Kleisli morphisms | 92KDCJZ9MX | 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.26270#QSGV |
| sampling | FWWBGJJ2NX | unknown | open | Wikidata Q49908, MathWorld Sampling |
| Sampling a primary image | DC9YD564B5 | 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#GRML |
| Sampling a weighted graph path | YJ0VT4C5W7 | 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.11330#DAF3 |
| Sampling Balance | 69ZQT9K10F | 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.15111#GGDD |
| sampling by a subsequence | KDYS82WZ52 | 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.27458#4HUQ |
| sampling by all powers | J50M70Q7AA | 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.27458#S7DC |
| Sampling by simulated annealing | G0K1R27PAC | 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.09882#MNXW |
| Sampling circular means | GNRZDWN3R5 | 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.37704#DGD0 |
| Sampling costs and monotone radii | K8AZDQTX7D | 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.15202#C751 |
| Sampling costs of radial selection | NE9BDPMXCW | 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.15202#9H9B |
| Sampling guarantees under shallow tree structure | 4SCVXHETCJ | 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.12544#YCQ0 |
| sampling lemma | DCDR220MRX | 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.27458#X9QC |
| Sampling lower bound with an exact component | ZPYDWPAH37 | 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#E126 |
| Sampling on small wedges via | E6X7VWEW81 | 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.30590#XL2A |
| sampling, without replacement | DA5Q0FVJQM | concept | open | applied_combinatorics index/10.1/sampling-without-replacement |
| Sampling-to-counting transfer | S1YR1G8YDX | 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.26133#E18F |
| Samson Abramsky | DTC1K3RKBF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7410357, nLab Samson Abramsky |
| Samuel Clarke | N4440DRR39 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q381073, nLab Samuel Clarke |
| Samuel Eilenberg | 78ZZC0SYE7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q535833, nLab Samuel Eilenberg |
| Samuel Gitler Hammer | CXQZA5EDGT | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7411491, nLab Samuel Gitler |
| Samuel Mimram | 5HXDZTZEHM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102349384, nLab Samuel Mimram |
| Samuil Shatunovsky | 7BWW7Z7AHA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7413044, ProofWiki Mathematician:Samuil_Osipovich_Shatunovsky |
| SAN013ETPG | SAN013ETPG | 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.33442#75RD |
| SAN55097TV | SAN55097TV | 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.26386#VO5E |
| SANBGZQYD6 | SANBGZQYD6 | 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.27056#QIGO |
| Sander illusion | J09PGKQFBB | unknown | open | Wikidata Q2641583, MathWorld ParallelogramIllusion |
| Sandip Trivedi | RMT004QCK0 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7416382, nLab Sandip Trivedi |
| Sandpile Gambler's Ruin Probabilities | VDBDX6NY8Z | 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 2603.16304#RJ6S |
| Sandwich | 3NYPYE00BH | 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.14695#KPKI |
| Sandwich criterion | 87SB8SRQEY | 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.17100#04TG |
| Sandwich dynamics | BHFXFJ4CJN | 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#83R7 |
| Sandwich dynamics for convergence actions | QQC2R2JVYG | 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#0SKO |
| sandwiched radii | 9R64EQZEKZ | 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.20775#GWAU |
| sangaku | MCZJR4YVDK | unknown | open | Wikidata Q2569069, MathWorld SangakuProblem |
| Sanjaye Ramgoolam | 83P0YBGYMG | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q60057620, nLab Sanjaye Ramgoolam |
| SANRVDPKYZ | SANRVDPKYZ | 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 2306.17260#Y3VV |
| SANSCY690M | SANSCY690M | 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.09544#T2C9 |
| Sapir; Auinger--Dolinka--Volkov | CXN23YFG9T | 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.27641#W64P |
| SAQ2FVBYXA | SAQ2FVBYXA | 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.26771#J1P9 |
| SAQEMDZSZS | SAQEMDZSZS | 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.06066#SW6S |
| SAQJP7GRVY | SAQJP7GRVY | 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.09422#JX69 |
| Sara Pasquetti | 652ZS5RA3K | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q116961072, nLab Sara Pasquetti |
| SARAVTT16N | SARAVTT16N | 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.01035#KP6X |
| Sard's theorem | C87SQY2FDZ | statement | open | mathlib_1000 Q583147, Wikidata Q583147, thousand_plus Q583147, Wikipedia Sard's theorem, nLab Sard's theorem |
| SARF7HE7G0 | SARF7HE7G0 | 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.39254#L682 |
| Sarti surface | G0N0NSED5X | unknown | open | Wikidata Q7424669, MathWorld SartiDodecic |
| SARW359CM4 | SARW359CM4 | 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.32233#XNTX |
| SAS5Q5PHC1 | SAS5Q5PHC1 | 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/9602216#97HC |
| SAS5QBVG34 | SAS5QBVG34 | 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.24412#5WXK |