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 3901–4000 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Sobolev space \`a la Korevaar-Schoen | 1BR35SAX43 | 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 2204.04317#QJSC |
| Sobolev space via post-composition | J7T5H467Z1 | 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 2204.04317#E4J1 |
| Sobolev-type inequality | Z7GG1PRZX6 | 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.08253#1NHV |
| sociable number | B25W4NVSCX | unknown | open | Wikidata Q1149466, MathWorld SociableNumbers, OEIS A122726 |
| social choice theory | FP68VADZ1W | unknown | open | Wikidata Q1971461, MathWorld SocialChoiceTheory |
| social golfer problem | 9BNFQW0W4T | problem | open | Wikidata Q108470864, MathWorld SocialGolferProblem |
| socle | RCVV4WDDG5 | unknown | open | Wikidata Q7553048, MathWorld Socle, nLab socle |
| Socle interpolation | CB4JRNNBQR | 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.31689#SD3E |
| Socrates | VGPE766X5Q | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q913, nLab Socrates, ProofWiki Mathematician:Socrates |
| Soddy circle | ZGXSHZRYXH | unknown | open | Wikidata Q1365391, MathWorld SoddyCircles |
| Soddy line | BKZF5EPZG4 | concept | open | Wikidata Q3933804, MathWorld SoddyLine |
| Soddy's hexlet | FYB88S0Q5W | statement | open | Wikidata Q3298255, MathWorld Hexlet |
| Sofic models give devices | AEV8CGDESW | 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.04271#XN45 |
| Soft flip kernel | Y2Y4QKV7JV | 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.12456#4A4H |
| Soft flip kernels | XY3NPSJM9V | 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.12456#6NFA |
| Soft OGP | 8FN7CJ58EQ | 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.40345#BS2R |
| Soft path contraction | EN37YQSMK0 | 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.12456#XTOP |
| Soft Potts as a random hard-colouring model | 59GHXTG6Z0 | 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.12456#JXCZ |
| Soft projection and known postprocessing | F8NQSZ81XT | 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.01843#716P |
| soft sheaf | JQBMQVSFDM | unknown | open | Wikidata Q130728922, EoM Soft_sheaf, nLab soft sheaf |
| Soft-information query exponent | R977M6JDJB | 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.29688#GCN8 |
| Softness (e.g. | FNYE9MTK2G | 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.03865#AWBF |
| Softplus calculus | ZEDQV8Q9WJ | 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.19421#A318 |
| Soifer Graph | N6AN458M4D | unknown | open | Wikidata Q3115533, House of Graphs 1327, MathWorld SoiferGraph |
| Sokhotski–Plemelj theorem | RK0C4V1BX5 | statement | open | mathlib_1000 Q1543149, Wikidata Q1543149, thousand_plus Q1543149, Wikipedia Sokhotski–Plemelj theorem |
| Solar System | 60JEP1X4JF | definition | open | Wikidata Q544, ProofWiki Definition:Solar_System |
| solenoid | 9TQ7BTH126 | unknown | open | Wikidata Q3489713, nLab solenoid |
| solenoidal vector field | 57YAC40TGH | unknown | open | Wikidata Q1265039, MathWorld SolenoidalField |
| solid angle | MHYM37B7RT | definition | open | Wikidata Q208476, EoM Solid_angle, MathWorld SolidAngle, ProofWiki Definition:Solid_Angle |
| solid figure | WR6XTTTHEN | unknown | open | Wikidata Q937946, MathWorld Solid |
| solid harmonics | VZDVK4A1XT | unknown | open | Wikidata Q7557904, MathWorld SolidHarmonic |
| solid of revolution | G73WWZYR8S | unknown | open | Wikidata Q725939, MathWorld SolidofRevolution |
| solid of revolution | QWH9WJZ67B | concept | open | active_calculus index/6.2.2/solid-of-revolution |
| solid partition | 1JXXRY63HK | concept | open | Wikidata Q17149322, MathWorld SolidPartition, OEIS A000293 |
| Solid sets | 6RV0PEREJ6 | 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#MALU |
| solid torus | BJ6MRD80CJ | unknown | open | Wikidata Q2039192, nLab solid torus |
| solid-state physics | X99W4D32XP | definition | open | Wikidata Q715396, ProofWiki Definition:Solid-State_Physics |
| Solid-torus module | 1SHGS2HWF0 | 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.09201#HK19 |
| Solidity | EP2C5PNVZS | unknown | open | Wikidata Q24909565, nLab solidity |
| Solidity | ME186AGPXQ | 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.22109#9JVJ |
| Solidity, Ozawa | CX9N8VYQWC | 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.22109#W10R |
| solidus | ZX451XWHHB | unknown | open | Wikidata Q3803935, MathWorld Solidus |
| solitary number | Q57J822Z2K | unknown | open | Wikidata Q24841630, MathWorld SolitaryNumber |
| soliton | CQWWGSP0YR | unknown | open | Wikidata Q464949, MathWorld Soliton |
| Soliton resolution and spectral data | 8EC5S5TDFD | 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.00770#E0HX |
| Soliton resolution for general initial data | XBVQKJ705V | 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.00770#0XHH |
| Soliton--extrinsic reconstruction | 3TJ09QABN8 | 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#29R9 |
| Solo activation interval | V2913P5XHE | 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.17677#L6BB |
| Solo pumping in the models without private memory | KNVCCW1019 | 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.17677#XO2Z |
| Solomon Feferman | 3CF88NBNND | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q957416, nLab Solomon Feferman |
| Solomon Lefschetz | AEHZGST3NZ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q371942, nLab Solomon Lefschetz |
| Solution | 6AREMB09EJ | 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.04870#36WJ |
| Solution | QGN19D4RWX | 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.27414#DQ0V |
| Solution | V74D6GZP5J | proof | open | napkin tex/alg-NT/frobenius.tex#proof-7 |
| Solution | VJSZ9M3CK6 | 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.28454#WPLF |
| solution | XAQ39HQ8BS | concept | open | austin_ula index/1.1.2/solution |
| Solution concepts | GH1FKYKFD8 | 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.08074#L32I |
| solution map | W6775PNHJB | 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 2409.03461#Q8P2 |
| Solution of the Levi problem | A53JGAK695 | statement | open | lebl_scv scv.tex#thm-14 |
| Solution of the spin-glass Hamilton--Jacobi equation | B2BFJD7E3F | 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.18744#D13C |
| solution set | 426E80EKA9 | unknown | open | Wikidata Q1751685, MathWorld SolutionSet |
| solution space | 2PZ4ZXFP83 | concept | open | austin_ula index/1.1.2/solution-space |
| Solution spheres | 3DJB446BXZ | 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.14085#TFAX |
| solution to a system | KQ69V5JR4C | concept | open | lebl_diffyqs index/10.1.1/solution-to-a-system |
| Solution to scalar LSIB | KFJYX3V8FC | 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.08007#0S51 |
| Solutions of the closed loop | 9W0MMSZ4W0 | 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.08764#83B1 |
| solutions to Pell's equation | KEHQA6QJR5 | unknown | open | mathlib_overview General algebra > Number theory > solutions to Pell's equation, Mathlib Pell.pell |
| Solutions to RDEs | D1H7YBWSAD | 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 2312.06473#B96B |
| Solvability and dynamical indeterminacy | 2RYD2GVEQJ | 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.27966#J8Q5 |
| Solvability and the Natarajan dimension | 30FXRPN2WJ | 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.18154#9FZZ |
| Solvability of $\dbar v=a\overline v+f$ | EFV6GDET4C | 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.13753#V2YP |
| Solvability of each elliptic step | W6Y5F5N0HE | 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.38031#B15X |
| Solvability of the balance equations | M8C3CJTVEY | 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#G78N |
| Solvable but not virtually nilpotent | VYJG8GMWQ2 | 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.27204#KN50 |
| solvable group | NDVKCTT0R6 | definition | node (a node has the same name as the row) | Wikidata Q759832, EoM Solvable_group, LMFDB knowl group.solvable, Mathlib IsSolvable, MathWorld SolvableGroup, nLab solvable group, ProofWiki Definition:Solvable_Group |
| solvable Lie algebra | 4AK5Z459VN | unknown | open | Wikidata Q7558992, MathWorld SolvableLieAlgebra |
| solvable Lie group | H7Z3NHE84C | unknown | open | Wikidata Q121356961, EoM Lie_group,_solvable, MathWorld SolvableLieGroup |
| solved problem | FFM3QXH5XR | unknown | open | Wikidata Q121357002, MathWorld SolvedProblems |
| Solving for $g_{(2,1),(2,1)}^{(3,2,1)}$ | BHW0F086ZD | 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.12326#AAMS |
| solving systems of differential equations of order $> 1$ | YD84832DSB | unknown | open | mathlib_undergrad Multivariable calculus > Differential equations > solving systems of differential equations of order $> 1$ |
| solving the Laplace equations | BATKV3NWNC | unknown | open | mathlib_undergrad Distribution calculus > Applications > solving the Laplace equations |
| Solving the Symmetric Lyapunov Equation | QYJEZD1CH3 | 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.32505#FF68 |
| solvmanifold | 3XQ7AG1MK6 | unknown | open | Wikidata Q7559043, EoM Solv_manifold |
| Solèr's theorem | 4926E0YK3K | statement | open | mathlib_1000 Q48996535, Wikidata Q48996535, thousand_plus Q48996535, Wikipedia Solèr's theorem |
| Soma cube | 68F6FENDTF | unknown | open | Wikidata Q138865, MathWorld SomaCube |
| Some basic observations about pivots | Z8W27WR7S9 | exercise | open | austin_ula src/section1-4.xml#ula-preview-1-4 |
| Some properties on $\dim_H$ | EW3AT9RT63 | 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 2505.10801#GY31 |
| Some type $(1, 0)$ $1$-forms | MNWH3453HY | example | open | napkin tex/riemann-surface/forms.tex#example-5 |
| Somer–Lucas pseudoprime | 5FKT936B98 | concept | open | Wikidata Q7559991, MathWorld Somer-LucasPseudoprime |
| Somos sequence | T2EDTFCQ61 | unknown | open | Wikidata Q7560513, MathWorld SomosSequence |
| Somos' quadratic recurrence constant | S4X5F82FVS | object | open | Wikidata Q7560506, OEIS A112302 |
| Song | R2TBWEA7J6 | 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.12238#N2IO |
| Song--Tucker | CP9Z8A4STH | 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.08753#3PK4 |
| Sonnenschein–Mantel–Debreu Theorem | 3787W47P1S | statement | open | mathlib_1000 Q925224, Wikidata Q925224, thousand_plus Q925224, Wikipedia Sonnenschein–Mantel–Debreu Theorem |
| Sono's positivity criterion | 3VGN1RDB7W | 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.35548#UV7U |
| Sophie Germain prime | VX23PC9T7J | object | open | Wikidata Q624025, MathWorld SophieGermainPrime, OEIS A005384 |
| Sophie Germain's theorem | QRS16AV5S0 | statement | open | mathlib_1000 Q3527162, Wikidata Q3527162, thousand_plus Q3527162, Wikipedia Sophie Germain's theorem |
| Sophie Morel | BBARTWFC88 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1391052, nLab Sophie Morel |
| sophomore's dream | NZ3EAA5DYG | unknown | open | Wikidata Q4115573, MathWorld SophomoresDream |
| Sophus Lie | YGAES99JBV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q30769, nLab Sophus Lie, ProofWiki Mathematician:Marius_Sophus_Lie |