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 4601–4700 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Square conference parameters | J0R84G4HP4 | statement | record (an 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.10017#4IDQ |
| square cupola | PR11NXBBVR | object | open | Wikidata Q76068, MathWorld SquareCupola |
| Square Gaussian hard-edge package | BT06MKC458 | statement | record (an 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.28198#XQY8 |
| square graph | XQ2BP4E917 | unknown | open | Wikidata Q126914596, House of Graphs 674, MathWorld SquareGraph |
| square grid graph | 1Q61096FYS | unknown | open | Wikidata Q135995842, MathWorld GridGraph |
| square gyrobicupola | R9A87H3RBQ | object | open | Wikidata Q2227497, MathWorld SquareGyrobicupola |
| Square integrability of the optimal adversarial map | MM6392RY73 | statement | record (an 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#QHLE |
| Square Isomorphism 1 | T7VVX96KYJ | statement | record (an 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.20558#GROZ |
| Square Isomorphism 2 | 2N1BN6MNQW | statement | record (an 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.20558#E0MW |
| square kilometre | KF6MCD9J3V | definition | open | Wikidata Q712226, ProofWiki Definition:Square_Kilometre |
| square knot | NVJ3VTMN5S | unknown | open | Wikidata Q7582069, MathWorld SquareKnot |
| square matrix | JG0S0WRK74 | concept | open | lebl_diffyqs index/10.2.1/square-matrix |
| square matrix | XEKW91HDZJ | definition | node (a node has the same name as the row) | Wikidata Q2739329, MathWorld SquareMatrix, nLab square matrix, ProofWiki Definition:Matrix/Square_Matrix |
| square metre | WCXKEMK391 | definition | open | Wikidata Q25343, ProofWiki Definition:Metre/Square_Metre |
| square millimetre | 9P9QNA1A1C | definition | open | Wikidata Q2737347, ProofWiki Definition:Millimetre/Square_Millimetre |
| square number | 8W3A3Q5SKX | unknown | open | Wikidata Q50705, MathWorld SquareNumber, OEIS A000290 |
| square numbers | F0P8E77NK0 | concept | open | levin_dmoi index/3.1/square-numbers |
| square orthobicupola | AA66NJVE70 | object | open | Wikidata Q2157122, MathWorld SquareOrthobicupola |
| square packing in a square | NMRHD92CXH | unknown | open | Wikidata Q7582076, MathWorld SquarePacking |
| square pyramid | 2WK5PM16J6 | object | open | Wikidata Q1075704, MathWorld SquarePyramid |
| square pyramidal number | 693J15EEE6 | unknown | open | Wikidata Q18949, MathWorld SquarePyramidalNumber, OEIS A000330 |
| Square pyramidal number ( A000330 ) n(n+1)(2n+1)/6 is squarefree. | A4VNVGTYY5 | object | open | Wikidata Q100193607, OEIS A119356 |
| square root | H8TS7ZX7T3 | unknown | node (a node has the same name as the row) | Wikidata Q134237, MathWorld SquareRoot |
| square root of 2 | TXT940YTAX | object | open | Wikidata Q389813, MathWorld PythagorassConstant, OEIS A002193 |
| square root of 3 | FJ0X50SSD3 | object | open | Wikidata Q1150815, MathWorld TheodorussConstant, OEIS A002194 |
| square root of 5 | SRBV9RJD24 | object | open | Wikidata Q2337529, OEIS A002163 |
| square root of 8 | D48YQ2QDTJ | object | open | Wikidata Q140378115, OEIS A010466 |
| square root of a matrix | YPDTTVJHKC | unknown | open | Wikidata Q964330, MathWorld MatrixSquareRoot |
| Square roots of $-\one$ | RAYDY6T2QJ | statement | record (an 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.12483#K0ZQ |
| Square summability for deterministic weights | JWEY8AS3ZP | statement | record (an 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.00614#TKXD |
| square tiling | Q1ZAD5R50J | unknown | open | Wikidata Q1128619, MathWorld SquareGrid |
| square triangular number | 9B17WJW680 | unknown | open | Wikidata Q1885380, MathWorld SquareTriangularNumber, OEIS A001110 |
| square wave | XWSVGGPJ27 | unknown | open | Wikidata Q1136640, MathWorld SquareWave |
| square-free graph | GG5K52SPX2 | unknown | open | Wikidata Q127744120, MathWorld Square-FreeGraph |
| square-free integer | F2EAN3B8SV | definition | node (a node has the same name as the row) | Wikidata Q50706, MathWorld Squarefree, OEIS A005117, ProofWiki Definition:Square-Free_Integer |
| Square-function estimates across the Schatten scale | SZ0SHJKZD0 | statement | record (an 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#WALZ |
| square-integrable | Y9HBY5QD8Y | unknown | open | Wikidata Q116508929, MathWorld SquareIntegrable |
| square-integrable function | 4BWHNT8W2E | unknown | open | Wikidata Q1530791, MathWorld L2-Function, nLab square integrable function |
| Square-root Gronwall inequality | 8NC2GA727R | statement | record (an 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.14555#SC33 |
| Square-root KL movement | NK399EY6DP | statement | record (an 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.20187#68UH |
| Square-Root-Free Symmetric Turnover | AFTCGRG1BB | statement | record (an 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.12228#9ID2 |
| Square-root-sum reduction | 6PRB6MH11W | statement | record (an 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#PG7Z |
| Square-sum scales and marginal coverage | ZFM3A6C7ST | statement | record (an 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.33868#41DB |
| Square-zero extension | GK28YX2QYE | 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.20801#7B9W |
| Squared deviation from reference labels | 5SSMMVDAQZ | 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.32652#9201 |
| Squared Hellinger Divergence | G95NH12PYW | statement | record (an 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.28297#9IWO |
| Squared Relative Adjoint Residual | 3E32J59D1S | 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.32652#8MD3 |
| Squared success probabilities | ZG3FMAAT5H | statement | record (an 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.17479#BKF8 |
| squared triangular number | MJ271HFN68 | statement | open | mathlib_1000 Q2197859, Wikidata Q2197859, thousand_plus Q2197859, Wikipedia Nicomachus's theorem, MathWorld NicomachussTheorem, OEIS A000537 |
| Squared-word completeness | C57NC4RYKE | statement | record (an 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#JM54 |
| Squarefree equidistribution for several forms | HXQ00MA0ED | statement | record (an 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.07214#6XLD |
| Squarefree monomials | 9MSWFQM706 | statement | record (an 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.29683#6ENL |
| squarefree word | 3B0069CQEF | unknown | open | Wikidata Q1138140, MathWorld SquarefreeWord |
| Squarefree-row transfer | Y36W5CN8TT | statement | record (an 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#UH0R |
| squaring function | NB6XCQJ5TK | concept | open | hott_book index/B.3.3/squaring-function |
| squaring the circle | T846JB3PYC | problem | node (a node has the same Wikidata item as the row) | Wikidata Q193394, MathWorld CircleSquaring, ProofWiki Squaring_the_Circle |
| squaring the square | 6JMJG020MS | unknown | open | Wikidata Q2994174, MathWorld MrsPerkinssQuilt, MathWorld PerfectSquareDissection |
| squark | MMZDZ6XKVD | unknown | open | Wikidata Q3107191, nLab squark |
| Squashed Gaussian Policies | E2QJJGDZP6 | 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.35466#NPFN |
| Squeeze lemma | 1KAS8QN8DA | statement | open | lebl_ra ch-seq-ser.tex#squeeze:lemma |
| squeeze lemma | TN08Z6X707 | concept | open | lebl_ra index/10.2.1/squeeze-lemma |
| squeeze theorem | 6KWF371ZBN | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1065257, Mathlib tendsto_of_tendsto_of_tendsto_of_le_of_le', Wikidata Q1065257, thousand_plus Q1065257, Wikipedia Squeeze theorem, MathWorld SqueezeTheorem, MathWorld SqueezingTheorem, ProofWiki Squeeze_Theorem |
| SQV33JVQP9 | SQV33JVQP9 | statement | record (an 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.16877#1YP7 |
| SQV5DKHJHN | SQV5DKHJHN | statement | record (an 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.36321#I0WB |
| SQVBMR2CPP | SQVBMR2CPP | statement | record (an 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.36181#QTIP |
| SQW1YYDD4J | SQW1YYDD4J | statement | record (an 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.32903#M98Q |
| SQW6KR08Q1 | SQW6KR08Q1 | statement | record (an 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.20077#EVAG |
| SQWDCWYJ45 | SQWDCWYJ45 | example | open | hott_book basics.tex#thm:transportequiv |
| SQWPWD1FM7 | SQWPWD1FM7 | statement | record (an 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.39706#6FHN |
| SQWVVXM1X9 | SQWVVXM1X9 | statement | record (an 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#12J9 |
| SQWZBW78XV | SQWZBW78XV | 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 2401.00191#OSGZ |
| SQX02YHNMR | SQX02YHNMR | statement | record (an 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#1XY8 |
| SQX03Z6M6A | SQX03Z6M6A | statement | record (an 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.15169#GBWC |
| SQX34H722B | SQX34H722B | statement | record (an 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.36823#YCV1 |
| SQXV5ZSKN6 | SQXV5ZSKN6 | statement | record (an 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.13931#UW9D |
| SQYHCQ7902 | SQYHCQ7902 | statement | record (an 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#WJAF |
| SQYR0M5W9N | SQYR0M5W9N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.05871#DW9A |
| SQYXHZQ5SK | SQYXHZQ5SK | statement | record (an 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.16875#FP92 |
| SQZSA2CBY8 | SQZSA2CBY8 | exercise | open | lebl_ra ch-riemann.tex#exercise-21 |
| SR0CM7Q0XF | SR0CM7Q0XF | exercise | open | levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-11 |
| SR0SMKZHFJ | SR0SMKZHFJ | example | open | levin_dmoi ptx/sec_intro-statements.ptx#example-9 |
| SR15ES1D8T | SR15ES1D8T | 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.02061#C8YX |
| SR1BFK1J9H | SR1BFK1J9H | statement | record (an 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.22074#4FXG |
| SR1GJKV1P6 | SR1GJKV1P6 | statement | record (an 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.17883#GB9X |
| SR1W5W32RR | SR1W5W32RR | statement | record (an 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#VUDY |
| SR4B8GGSPV | SR4B8GGSPV | statement | record (an 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.08638#6Y79 |
| SR4G4RKDTM | SR4G4RKDTM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0811.0544#D0LB |
| SR4QV9YRPM | SR4QV9YRPM | exercise | open | hott_book homotopy.tex#ex:ap-path-inversion |
| SR4X80BJXX | SR4X80BJXX | statement | record (an 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.14458#L03L |
| SR52MQ7Y2S | SR52MQ7Y2S | statement | record (an 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.09171#KETB |
| SR5Q45B0WR | SR5Q45B0WR | statement | record (an 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.39269#MWBO |
| SR6BK2ZYKH | SR6BK2ZYKH | statement | record (an 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#5HWO |
| SR6HRRTNF7 | SR6HRRTNF7 | statement | record (an 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.06899#YOND |
| SR77FB2ACH | SR77FB2ACH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.2055#KY0N |
| SR7M59NCYC | SR7M59NCYC | statement | record (an 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.17798#NPPR |
| SR9GBF1E2T | SR9GBF1E2T | statement | record (an 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#UCB3 |
| SR9WZFEGTR | SR9WZFEGTR | statement | record (an 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.14985#AQ38 |
| SRA72X7JGR | SRA72X7JGR | statement | record (an 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.09084#3KN2 |
| SRAAJPTFXX | SRAAJPTFXX | proof | open | open_logic content/computability/computability-theory/total.tex#proof-1 |
| SRARSC0ZGA | SRARSC0ZGA | example | open | lebl_diffyqs ap-linear-algebra.tex#example-8 |