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 901–1000 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| S9Q2N3TGMQ | S9Q2N3TGMQ | statement | record (an 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#K8ID |
| S9R698WHG8 | S9R698WHG8 | statement | record (an 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.09162#4XZW |
| S9RC7H7ZX0 | S9RC7H7ZX0 | statement | record (an 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#UDRJ |
| S9RNWK1FTC | S9RNWK1FTC | statement | record (an 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#16BE |
| S9S4MBFA65 | S9S4MBFA65 | statement | record (an 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.21298#GZK3 |
| S9SA7FWASM | S9SA7FWASM | statement | record (an 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.26477#Q5W0, arXiv 2609.26500#568R |
| S9TDWS3X61 | S9TDWS3X61 | statement | record (an 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.28076#59MN |
| S9TDYQ844J | S9TDYQ844J | statement | record (an 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.31445#FBDD |
| S9V80CW4KN | S9V80CW4KN | statement | record (an 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.18324#6RCO |
| S9VAWE7V2F | S9VAWE7V2F | example | open | lebl_diffyqs ch-laplace.tex#example-2 |
| S9VSWR8TMG | S9VSWR8TMG | example | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#example-1 |
| S9WH9B638Y | S9WH9B638Y | statement | record (an 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.13475#MIML |
| S9WT19HD1M | S9WT19HD1M | statement | record (an 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.05923#FQ2X |
| S9X6B8X117 | S9X6B8X117 | statement | record (an 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.10804#6RCA |
| S9XAQW0F05 | S9XAQW0F05 | statement | record (an 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.00525#ZZIT |
| S9XGV7SZJ4 | S9XGV7SZJ4 | statement | record (an 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.06699#MJDN |
| S9XP7TM3HW | S9XP7TM3HW | 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 2406.06762#YI05 |
| S9Y8CK9DCX | S9Y8CK9DCX | statement | record (an 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.00339#VF1A |
| S9YZ6TESP0 | S9YZ6TESP0 | 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.15887#MU3J |
| S9YZF23Q27 | S9YZF23Q27 | statement | record (an 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.21358#2XVN |
| S9ZVNYN10N | S9ZVNYN10N | statement | record (an 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.29152#3G0P |
| S\'evennec | 4DMFN4XNJF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.14699#TAXI |
| SA01S8QWJQ | SA01S8QWJQ | statement | open | napkin tex/calculus/integrate.tex#theorem-1 |
| SA0CS4NTB5 | SA0CS4NTB5 | 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.11468#UQJ4 |
| SA0SK06XYX | SA0SK06XYX | statement | record (an 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.06895#KY7Q |
| SA0WZRBVZ0 | SA0WZRBVZ0 | statement | record (an 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.12047#KFFU |
| SA1G3WFBXB | SA1G3WFBXB | statement | record (an 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.12169#O5GB |
| SA1HXHBMQB | SA1HXHBMQB | statement | record (an 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.39700#728P |
| SA2BV5QK4E | SA2BV5QK4E | statement | record (an 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.14838#4797 |
| SA2JZ82CXV | SA2JZ82CXV | example | open | napkin tex/riemann-surface/line-bundles.tex#example-1 |
| SA2XNFCB5V | SA2XNFCB5V | 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.06152#B4JL |
| SA2YK3PW62 | SA2YK3PW62 | statement | record (an 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.03373#KKS7 |
| SA36XH1MVY | SA36XH1MVY | statement | record (an 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.10570#2AIV |
| SA37FHTN3Q | SA37FHTN3Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17009#HHUD |
| SA3831KKGK | SA3831KKGK | statement | record (an 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.18033#52PP |
| SA3XFZ4N8P | SA3XFZ4N8P | statement | record (an 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.19637#CEG4 |
| SA40P1T3CX | SA40P1T3CX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.23846#CGS3 |
| SA417SZ4RZ | SA417SZ4RZ | statement | record (an 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.11671#PBAH |
| SA429DTKZK | SA429DTKZK | proof | open | open_logic content/set-theory/choice/vitali.tex#proof-5 |
| SA4EMSCPX2 | SA4EMSCPX2 | statement | open | napkin tex/H113/ring-flavors.tex#proposition-2 |
| SA4PR70G6H | SA4PR70G6H | statement | record (an 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.35183#AZPR |
| SA55QYF8Z2 | SA55QYF8Z2 | statement | record (an 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.16225#1AGV |
| SA5GJRDHQJ | SA5GJRDHQJ | statement | record (an 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.16884#VA7F |
| SA66G8P31P | SA66G8P31P | 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 2504.01057#85OA |
| SA6V23V43M | SA6V23V43M | statement | record (an 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.04063#PHJX |
| SA7CXGP7G9 | SA7CXGP7G9 | statement | record (an 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.22681#018K |
| SA9418RHW8 | SA9418RHW8 | statement | record (an 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.34193#0YPC |
| SA96JDB9HQ | SA96JDB9HQ | statement | record (an 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.13213#QFRD |
| SA9FVQ2T2J | SA9FVQ2T2J | statement | record (an 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#IUW0 |
| SA9KFE0GD8 | SA9KFE0GD8 | 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.38014#ZOJH |
| SA9NH6EDXF | SA9NH6EDXF | statement | record (an 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.10840#T63J |
| SA9T9E5V66 | SA9T9E5V66 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.17484#3NZH |
| SAA backward passes, true-law forward passes | RMYVCASYJB | statement | record (an 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.12713#BR52 |
| SAA backward passes, true-law forward passes | SZPDJ4WK9D | statement | record (an 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.12713#D5UW |
| SAA6DC871A | SAA6DC871A | exercise | open | lebl_ra ch-vol1-intro.tex#exercise-14 |
| Sabbagh--Eklof, 1971 | HMKDVBEGZ8 | statement | record (an 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.35682#0CYW |
| sabermetrics | VG898TY6Q4 | unknown | open | Wikidata Q1187231, MathWorld Sabermetrics |
| SAC0ETEARY | SAC0ETEARY | statement | record (an 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.35287#VNQT |
| SAC606THA5 | SAC606THA5 | statement | record (an 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.16339#GHAG |
| SAC9N84PP4 | SAC9N84PP4 | statement | record (an 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.37897#WEYM |
| SACA62BKXF | SACA62BKXF | statement | record (an 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.40156#46LJ |
| SACBMZKE7N | SACBMZKE7N | statement | record (an 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.04820#G9KB |
| Saccheri–Legendre theorem | B0W2J9W54V | statement | open | mathlib_1000 Q7396621, Wikidata Q7396621, thousand_plus Q7396621, Wikipedia Saccheri–Legendre theorem |
| Sachdev-Ye-Kitaev model | 58FVXN98EF | unknown | open | Wikidata Q85799082, nLab Sachdev-Ye-Kitaev model |
| Sachdeva--Thudi--Zhao matrix partial coloring with exact mean | GF16S8JV9V | statement | record (an 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#ZDGX |
| Sachpazis | 1R79CJ1NVQ | statement | record (an 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.35950#YSCQ |
| Sacker-Sell spectrum | 3S61M7P582 | 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.18078#3C6E |
| SACMAYASB2 | SACMAYASB2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.14306#LXO4 |
| SACQ6QR5PE | SACQ6QR5PE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.03317#2O89 |
| SADCTRP55M | SADCTRP55M | statement | record (an 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.30561#CFRF |
| Saddle and Minty gaps under SGC | V23EQJ4Z8V | statement | record (an 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#214B |
| saddle point | W9K980D1Y6 | unknown | node (a node has the same name as the row) | Wikidata Q690935, EoM Saddle_point, MathWorld SaddlePoint |
| saddle point | Z50SE42Y5Q | statement | record (an 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#GVPV |
| saddle-node bifurcation | H5V8T6PCMW | unknown | open | Wikidata Q740190, MathWorld FoldBifurcation |
| Saddle-point formulation of robust risk | 4WHY0DHAW8 | statement | record (an 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.39449#EI4M |
| SADR34DEHW | SADR34DEHW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0911.1417#45QM |
| SADWFXDFTM | SADWFXDFTM | 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.11886#BWA4 |
| SAEQREV4MD | SAEQREV4MD | 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.08196#VWTX |
| SAEZPEGC4R | SAEZPEGC4R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4887#0ULH |
| SAF4CAHRKX | SAF4CAHRKX | 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.03856#DE0B |
| Safe intersection replacement | JTPNCZ247J | statement | record (an 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.37208#GKAZ |
| Safe Operating Margin | Z9TKQ620S4 | statement | record (an 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.25589#BLUA |
| safe prime | W3PQDVEVCW | object | open | Wikidata Q2298723, OEIS A005385 |
| Safe set in the hypercube | GTV6726SVW | 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.30590#65VP |
| Safety | XGBQFFWQCK | 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.09634#3XLG |
| Safety of semi-explicit DAEs | 9WM1Y6HDQ6 | statement | record (an 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.09634#C2ZY |
| safety verification | 6NVBYF6T27 | 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.17541#HNB3 |
| SAGD66EX0A | SAGD66EX0A | statement | record (an 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.18219#WBJI |
| Sage | EF36RYFZ4N | unknown | open | Wikidata Q1165184, LMFDB knowl sage, nLab Sage |
| SAGFV6X07D | SAGFV6X07D | statement | record (an 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.13213#EKXI |
| sagitta | VN1ZBJYP7A | unknown | open | Wikidata Q2951719, MathWorld Sagitta |
| SAH3EF4H3K | SAH3EF4H3K | statement | record (an 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.35180#WR8Y |
| Saharon Shelah | KVN7T5QRRT | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q448592, nLab Saharon Shelah, ProofWiki Mathematician:Saharon_Shelah |
| SAHF62G9MG | SAHF62G9MG | 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.13972#2388 |
| Sahlqvist correspondence theorem | M2YRBS6JDS | statement | open | mathlib_1000 Q3077634, Wikidata Q3077634, thousand_plus Q3077634, Wikipedia Sahlqvist correspondence theorem |
| SAHR1XGQJC | SAHR1XGQJC | 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 2501.18744#KSPH |
| SAHWC70S7Y | SAHWC70S7Y | exercise | open | lebl_ra ch-approximate.tex#exercise-47 |
| SAHXS8N2S8 | SAHXS8N2S8 | 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.25353#6U8F |
| Saint-Venant's theorem | MS1RJXXBV5 | statement | open | mathlib_1000 Q3699212, Wikidata Q3699212, thousand_plus Q3699212, Wikipedia Saint-Venant's theorem |
| Saito–Kurokawa lift | T5V4GM1RNH | unknown | open | Wikidata Q20749256, LMFDB knowl mf.siegel.lift.saito_kurokawa |