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 3701–3800 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| smooth immersion | YJ450ZD423 | unknown | open | mathlib_overview Geometry > Differentiable manifolds > smooth immersion, Mathlib Manifold.IsImmersion |
| Smooth indistinguishability | 7E3H0BGMXJ | 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#VS1C |
| Smooth Localization Lemma in $L^{p,1}$ | SS2QVAG1FR | 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 2407.20385#WS66 |
| smooth manifold | 5JTMCKTGJ6 | unknown | open | Wikidata Q78338964, MathWorld SmoothManifold, nLab smooth manifold |
| smooth map between manifolds | A70VMF43AK | unknown | open | mathlib_overview Geometry > Differentiable manifolds > smooth map between manifolds, Mathlib ContMDiff |
| smooth morphism | S82545E60D | unknown | open | Wikidata Q7546425, nLab smooth morphism, nLab smooth morphism of schemes |
| smooth number | QTZ69NVMX5 | unknown | open | Wikidata Q1529876, MathWorld SmoothNumber |
| smooth or analytic manifold (with boundary and corners) | B04P6SYJJK | unknown | open | mathlib_overview Geometry > Differentiable manifolds > smooth or analytic manifold (with boundary and corners), Mathlib IsManifold |
| Smooth or entire instances without a shared derivative envelope | S73KNF4TFK | 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.03638#CB9L |
| smooth partition of unity | N0R8SB0GN3 | concept | open | lebl_scv index/E.3/smooth-partition-of-unity |
| Smooth partition of unity | YSFKKA1F6B | statement | open | lebl_scv scv.tex#thm-60 |
| Smooth perturbations of the uniform density | QX1ASRN8DG | 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.05333#ML8Y |
| Smooth PL consequences | W44RXX1B4P | 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.09356#LVS1 |
| Smooth Poincar\'{e} conjecture; Hamilton--Perelman | GJ9Y4FXB9E | 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.33842#IUQS |
| Smooth points of positive curvature | N0CQ9G32NH | 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.26129#9DWJ |
| Smooth populations | XDH1F60GBA | 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#QDKR |
| smooth scheme | HWDWE9JX8M | unknown | open | Wikidata Q7546431, EoM Smooth_scheme, nLab smooth scheme |
| Smooth signed balance | SC77Y3CQE1 | 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.10873#BGCR |
| smooth structure | KJK3ZJP1V7 | unknown | open | Wikidata Q7546440, MathWorld SmoothStructure, nLab smooth structure |
| Smooth test transfer | 5GAB1YPKXC | 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#4IID |
| Smooth Urysohn lemma | SEKWS1Q1EW | statement | open | lebl_scv scv.tex#thm-59 |
| Smoothed $\tau$-variation and $\tau$-weight measure | HBNFDA1561 | 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.24451#7OQG |
| Smoothed Elliptic Gamma Cochain | HRXK5VR9V1 | 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.10365#5QG1 |
| Smoothed Gaussian reconstruction, empirical basis and rates, oracle score | ETTX0S4N4T | 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.10640#1CZ4 |
| smoothed octagon | ADTK2HCCMN | unknown | open | Wikidata Q7546452, MathWorld SmoothedOctagon |
| Smoothed power and primitive | 6HWEW6VEGQ | 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.08631#DQCL |
| Smoothed Stark's Conjecture | VVJ2NF6B4E | 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.10365#ADNR |
| smoothing | 60KDX0CZTS | unknown | open | Wikidata Q775963, MathWorld Smoothing |
| Smoothing | ENP29MNQ3J | 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#B53V |
| Smoothing | G908ZNFPNV | 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.36090#DNY2 |
| Smoothing and shifted mass | 2GMGZXS72S | 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#BRZ3 |
| Smoothing derivative estimates | 24G6CC1ARG | 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.39736#3PFC |
| Smoothing function | 3B372TDPER | 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.07190#N0DL |
| Smoothing of $K$ and invertibility on modal spaces | FJ15D2QHVP | 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#PN7X |
| Smoothing of clique entropy | AMB4B675YJ | 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.08202#LLHS |
| Smoothing transfer | 8GFKMCWAYT | 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.02714#IX8P |
| Smoothing with a strict sectional-curvature threshold | EGT7G27WZC | 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.03298#2VJH |
| Smoothing with the Dirichlet boundary condition | HKVM8Q509W | 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.01615#8R90 |
| Smoothly varying conditional output densities | T8447NW73E | 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.05333#764M |
| Smoothly varying multimodal mixtures | JK8ZNW0H2X | 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.05333#AIJY |
| Smoothly varying sample densities | W3832NH845 | 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.05333#5I8X |
| Smoothness and dimension | Z9C4ESQMJZ | 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.03520#347L |
| Smoothness dichotomy | 4PE62GWWV0 | 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.20649#1IN1 |
| Smoothness dichotomy | 9Z7AT5C24V | 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.20649#DZ1X |
| Smoothness of the conjugate function | AAJPGZF4TG | 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.21461#1CKU |
| Smoothness without analyticity collapses the weak feature span | T391RY255K | 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.04357#E8Z4 |
| SMP5EZZ08X | SMP5EZZ08X | 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.28803#76VN |
| SMP8A3H00A | SMP8A3H00A | 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.12736#CMB4 |
| SMPDMM9SA3 | SMPDMM9SA3 | 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.01433#IVTL |
| SMQAHH9AGF | SMQAHH9AGF | 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.34573#R90X |
| SMR5N1JJ2W | SMR5N1JJ2W | 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.32478#K250 |
| SMSSSN6MVE | SMSSSN6MVE | 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 2309.08900#IZ3B |
| SMT8H5YTC5 | SMT8H5YTC5 | 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.02061#TN14 |
| SMTW6P1Y7R | SMTW6P1Y7R | 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.01919#O21Y |
| SMTZVT53CF | SMTZVT53CF | 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.20421#MWYF |
| SMVHDRW3TE | SMVHDRW3TE | 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.06645#TNGT |
| SMVQ4DV0GY | SMVQ4DV0GY | 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.25307#UXNS |
| SMWKX4DGJZ | SMWKX4DGJZ | 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 2601.00910#N4SV |
| SMWNW6R8S0 | SMWNW6R8S0 | 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.31604#APAN |
| SMX3ZTKG6Z | SMX3ZTKG6Z | 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.09565#2UO1 |
| SMX8ZWWCGN | SMX8ZWWCGN | 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.29501#3J6H |
| SMXGZ5B2JD | SMXGZ5B2JD | 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 2608.00864#VOPE |
| SMYEW9S1GQ | SMYEW9S1GQ | 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.25823#P2BT |
| SMYJMDXHDE | SMYJMDXHDE | 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.00909#MR61 |
| SMZ0DN96CV | SMZ0DN96CV | 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 2204.10840#EULR |
| SMZW4ARKRQ | SMZW4ARKRQ | 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 2303.10636#K21G |
| SN07897MXV | SN07897MXV | 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.01806#58UZ |
| SN0D584VS3 | SN0D584VS3 | 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.24465#G6ZO |
| SN0G591EPR | SN0G591EPR | 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#0QYG |
| SN0HA64AT6 | SN0HA64AT6 | 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.07442#9RGZ |
| SN0Q7NV74R | SN0Q7NV74R | 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.17139#OWMF |
| SN1CZR6EEX | SN1CZR6EEX | example | open | applied_combinatorics source/s_networkflow_flows-cuts.ptx#example-1 |
| SN1E1RW6TT | SN1E1RW6TT | 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.25391#GVTJ |
| SN1ED3A81D | SN1ED3A81D | proof | open | open_logic content/lambda-calculus/lambda-definability/fixpoints.tex#proof-1 |
| SN1JDB45KB | SN1JDB45KB | statement | open | hott_book hlevels.tex#thm:reflsubunv-forall |
| SN1KKZVAV5 | SN1KKZVAV5 | 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 2602.19452#4THJ |
| SN272N4B1Z | SN272N4B1Z | 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.07293#94T9 |
| SN27SNJ9EV | SN27SNJ9EV | 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.31249#UB44 |
| SN31FWPA1Y | SN31FWPA1Y | 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 2201.10697#149P |
| SN331RQ07R | SN331RQ07R | 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.08935#FQD7 |
| SN3QGJ3XTG | SN3QGJ3XTG | 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.03368#BWHJ |
| SN42GCYDYT | SN42GCYDYT | 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.16541#P8GH |
| SN4AMPR3WT | SN4AMPR3WT | 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.17541#S7E1 |
| SN4CZDPNFR | SN4CZDPNFR | 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 1907.01440#8GG9 |
| SN4PSYNYNN | SN4PSYNYNN | 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.32300#92F0 |
| SN54M1H43K | SN54M1H43K | 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.28848#5HFY |
| SN5EGT6JSM | SN5EGT6JSM | proof | open | napkin tex/topology/fundamental-group.tex#proof-1 |
| SN5XQP8AHF | SN5XQP8AHF | 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 2510.12502#1QN9 |
| SN65B3672Q | SN65B3672Q | 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.05280#OWIE |
| SN6AFQH4MX | SN6AFQH4MX | 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.07673#D9PW |
| SN6DPKXKHE | SN6DPKXKHE | 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 2508.21045#DYU3 |
| SN6RNV2FRA | SN6RNV2FRA | 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.14318#BBYO |
| SN6ZA67CDZ | SN6ZA67CDZ | 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.10206#XEIR |
| SN7Q5TCFG7 | SN7Q5TCFG7 | 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.17602#O01N |
| SN839JEFFR | SN839JEFFR | problem | 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.20577#4UMJ |
| SN889KXNWJ | SN889KXNWJ | 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.03754#H56W |
| SN8QM2H15R | SN8QM2H15R | 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.25168#PLHB |
| SN9FS1Q2FM | SN9FS1Q2FM | statement | open | napkin tex/calculus/limits.tex#proposition-1 |
| SN9T71XQBN | SN9T71XQBN | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-10 |
| Snaith's theorem | SMBQ9RASMC | statement | open | Wikidata Q17103402, nLab Snaith theorem |