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 6201–6300 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Supporting hyperplane theorem | 2YFFZJPK6M | statement | open | mathlib_1000 Q1134296, Wikidata Q1134296, thousand_plus Q1134296, Wikipedia Supporting hyperplane theorem |
| Supporting hyperplane theorem | N4CN1WB03A | statement | open | lebl_scv scv.tex#thm-54 |
| Supporting hyperplanes and strict convexity | FJCW20YPAH | statement | record (an 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.17519#FSYU |
| Suppressing a degree-two vertex | KP8RDSBCTH | statement | record (an 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.34260#KI6W |
| Supremal functionals | 6ZHHXDZ8P5 | 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.27918#EJPI |
| supremum | WWF2FB02KS | unknown | open | Wikidata Q215071, MathWorld Supremum |
| Supremum of the Lower Digits | S3D34EF2YT | statement | record (an 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#IH1I |
| Supremum over a compact convex set | T9J8GXX0FY | statement | record (an 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.10080#IRGG |
| supremum, constructor of a $\w$-type | 911FYAGKY4 | concept | open | hott_book index/8.3/supremum-constructor-of-a-w-type |
| Suren Arakelov | KGYR6SDDPV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2368424, nLab Suren Arakelov |
| Suresh Govindarajan | VSXTH5ZST6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q74425585, nLab Suresh Govindarajan |
| surface | CV0DTXMV50 | unknown | open | Wikidata Q3505239, MathWorld Surface |
| surface area | E0R386ZS3W | unknown | node (a node has the same name as the row) | Wikidata Q1379273, MathWorld SurfaceArea |
| Surface density estimate; Euler's formula | KJC88MX2G5 | statement | record (an 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.30315#YMD1 |
| surface density of electric charge | 664MP05JDF | definition | open | Wikidata Q12799324, ProofWiki Definition:Surface_Charge_Density |
| Surface formula for a piecewise-affine Gaussian field | MXRXRP50FX | statement | record (an 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.32695#HA94 |
| Surface harmonics of degrees $\ell = 0$ and $\ell = 1$ | R795WB05Z9 | 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.08028#UWCU |
| surface integral | NBQHQKT59W | unknown | node (a node has the same name as the row) | Wikidata Q598146, EoM Surface_integral, MathWorld SurfaceIntegral |
| Surface measure | WPXS311ACJ | statement | record (an 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.39409#UHVF |
| surface of revolution | RM5A13ZAJM | unknown | open | Wikidata Q849425, MathWorld SurfaceofRevolution |
| surface parameterization | G1NY2C48FQ | unknown | open | Wikidata Q116894198, MathWorld SurfaceParameterization |
| Surfaces | ADVTDY25BQ | statement | record (an 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.09295#XKOI |
| Surgery | 2HS1YYR803 | statement | record (an 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.02244#HEV1 |
| surgery | 8QNSGYTFXQ | unknown | open | Wikidata Q122473586, EoM Surgery, MathWorld Surgery |
| surgery lemma | FM1FK0M0HA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2005.03073#PYW6 |
| Surgery on a section of a fibre torus | 4S6APENQXH | statement | record (an 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.29839#JE2B |
| surgery theory | Y7QK4QXV4X | topic | open | Wikidata Q2963975, nLab surgery theory |
| Surgery with cb-norm error | 26M5MRMY3T | statement | record (an 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.40214#P8BB |
| Surgery with metastable-seminorm error | V4DKDT6YPD | statement | record (an 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.40214#Y7J6 |
| surjection | 1FB7WH9BWJ | concept | open | applied_combinatorics index/B.4/surjection |
| surjection | G5PQXZXEGJ | concept | open | levin_dmoi index/1.4.2/surjection |
| surjective function | FGZF3KWEKX | unknown | node (a node has the same name as the row) | Wikidata Q229102, LMFDB knowl modlgal.surjective, MathWorld Surjection |
| Surjectivity and uniqueness of the Case-E chart | VMJ19VC4QQ | statement | record (an 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#1ND6 |
| Surjectivity in nonzero degree | KMZMZ7D4WN | statement | record (an 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#20HL |
| Surprisal variance | QNF7KMWBQ9 | statement | record (an 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#KIN1 |
| surreal number | D9DSDKE7T5 | unknown | open | Wikidata Q875333, EoM Surreal_numbers, MathWorld SurrealNumber |
| Surreal Numbers | 7JE92V6C7P | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q24845083, ProofWiki Book:D.E._Knuth/Surreal_Numbers |
| surreal numbers | RNEDPTBAH7 | concept | open | hott_book index/B.6/surreal-numbers |
| Surrogate bound at the tilt $s=\frac1\beta$ | BMX7BV088B | statement | record (an 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.27765#SXLH |
| Surrogate data | QJH6WSPR2V | concept | open | Wikidata Q7646876, MathWorld Surrogate |
| Survival asymptotic | 3H8C71BJ2J | statement | record (an 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.27335#ZFK0 |
| survival function | SGFARN87Q9 | unknown | open | Wikidata Q2915096, MathWorld SurvivalFunction |
| Survival of the squarefree projection | 7RQMPXHNT0 | statement | record (an 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.17675#1Z0P |
| Survival of Truncated Columns | NBA0529CTQ | statement | record (an 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.02495#59PB |
| Survival under random matchings | CYK13RAP2P | statement | record (an 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.11997#R09Q |
| Survival-scale | 5FPGTE54GR | 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 2609.27335#C9PR |
| survivorship curve | PESCGFSJEN | unknown | open | Wikidata Q332796, MathWorld SurvivorshipCurve |
| Suslin normalisation | BSRV4H77R6 | statement | record (an 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#2AX0 |
| Suslin tree | JEBH7VPYGH | 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.01919#R3LR |
| Suslin's theorem | 338979TBDD | statement | open | Wikidata Q122475046, EoM Suslin_theorem, MathWorld SuslinsTheorem |
| suspension | 4PNVZFHXVQ | concept | open | hott_book index/5.8/suspension |
| suspension | 9ESXA3QRXQ | concept | open | hott_book index/5.5/suspension |
| suspension | C4FVT41XMA | unknown | open | Wikidata Q1307987, EoM Suspension, nLab suspension |
| SUSY states | XYG32X1DN8 | 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.06490#FLTK |
| Suzuki field extensions: reduction | T9M9PA15XQ | statement | record (an 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.15340#XNH7 |
| Suzuki graph | 2BCE5FFSKM | unknown | open | Wikidata Q3115535, MathWorld SuzukiGraph |
| Suzuki versus One-Point Hermitian Codes | P2T1QKDNAP | statement | record (an 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.31484#WVWT |
| Suzuki--Tits graph | MY7QH39A74 | statement | record (an 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.35361#CWVZ |
| SV0931ENTW | SV0931ENTW | 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 2609.30519#1FDG |
| SV0QN55JN4 | SV0QN55JN4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0807.1652#MYGZ |
| SV10VF6WHZ | SV10VF6WHZ | statement | record (an 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.14278#ND1S |
| SV1Q0ESWX1 | SV1Q0ESWX1 | statement | record (an 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.05986#23N3 |
| SV1ZTTE8SB | SV1ZTTE8SB | 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.29748#KRUQ |
| SV28X1FGX1 | SV28X1FGX1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.10658#CKZN |
| SV2GKSXFS1 | SV2GKSXFS1 | exercise | open | lebl_ra ch-approximate.tex#exercise:L2cauchyschwarz |
| SV2HZAVZB8 | SV2HZAVZB8 | statement | record (an 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.11487#M6WC |
| SV2PEQ34MJ | SV2PEQ34MJ | statement | record (an 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.12777#A9S6 |
| SV31JM6R0E | SV31JM6R0E | statement | record (an 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.19249#3H7N |
| SV33FMZB1B | SV33FMZB1B | statement | record (an 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.17060#NO71 |
| SV3798FSR3 | SV3798FSR3 | statement | record (an 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.13100#CFH5 |
| SV3EGR1JQ2 | SV3EGR1JQ2 | statement | record (an 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.36622#KB3X |
| SV411C6V4C | SV411C6V4C | example | open | lebl_ra ch-one-dim-ints-sv.tex#mv:example:unitsquarepath |
| SV4D0F8NED | SV4D0F8NED | statement | record (an 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.26500#FT6Q |
| SV5321T82Z | SV5321T82Z | statement | record (an 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.05403#L2M1 |
| SV53DGRMP9 | SV53DGRMP9 | statement | record (an 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.16180#PWLR |
| SV5F746M23 | SV5F746M23 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.14956#5GNZ |
| SV5Q139K15 | SV5Q139K15 | statement | record (an 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#25JG |
| SV5T8SVZ55 | SV5T8SVZ55 | statement | record (an 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.15460#X0OU |
| SV69DSRZXZ | SV69DSRZXZ | statement | record (an 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#H8N0 |
| SV6FS8ZZ6J | SV6FS8ZZ6J | statement | record (an 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.18252#ATGT |
| SV6Z2BHH12 | SV6Z2BHH12 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.15365#B1QS |
| SV7089KKHE | SV7089KKHE | statement | record (an 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.14380#M25D |
| SV74D793J5 | SV74D793J5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1408.1555#NX7P |
| SV7NT47AKQ | SV7NT47AKQ | statement | record (an 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.09319#280W |
| SV8HW8A1JP | SV8HW8A1JP | statement | record (an 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.08104#NAT1 |
| SV8HXV2T9B | SV8HXV2T9B | statement | record (an 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.29838#CFX2 |
| SV8KFR3ZER | SV8KFR3ZER | 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 1904.08413#MCMM |
| SV8WJXRVMF | SV8WJXRVMF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.12309#Y1ET |
| SV9PM2S69M | SV9PM2S69M | 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 2210.11778#AMGA |
| SVA8AVPZ8B | SVA8AVPZ8B | exercise | open | napkin tex/measure/caratheodory.tex#exer:cubes_vs_open |
| SVAH7BY6Q2 | SVAH7BY6Q2 | statement | record (an 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.06338#GFTB |
| SVAL | GR15HH8FHA | 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 2609.24593#F5LF |
| SVATKHWFSH | SVATKHWFSH | 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.36827#9096 |
| SVBT4SCHND | SVBT4SCHND | 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.34382#P094 |
| SVBVS1PGJB | SVBVS1PGJB | statement | record (an 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.31327#1R9U |
| SVC2447FTT | SVC2447FTT | proof | open | open_logic content/turing-machines/undecidability/halting-problem.tex#proof-2 |
| SVC82EWRFH | SVC82EWRFH | statement | record (an 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.39104#2OYS |
| SVC8Q029CY | SVC8Q029CY | statement | record (an 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.09390#2S5L |
| SVCNTQ4Q3M | SVCNTQ4Q3M | statement | record (an 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.06081#DR89 |
| SVD backward formula in the degenerate case | F07GMJZ9NP | statement | record (an 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#CV0F |