| Strongly convex stochastic subgradient subroutine | GKH3M0RKA5 | 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.34099#WWGU |
| Strongly embedded subgroup | YEBP5DNQ72 | definition | open | Wikipedia Strongly embedded subgroup, Wikidata Q7624680 |
| Strongly Gauduchon properness | 2767YZMQZ7 | 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.02022#JTZU |
| Strongly inaccessible cardinal | 2BQK1Y3EB5 | definition | open | Wikipedia List of mathematical logic topics#XMUM |
| Strongly Log-Concave Moment Certificates | PVSFK9WMMG | 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.30105#Q8WR |
| Strongly measurable function | KY8NBCMP0N | definition | open | Wikipedia Strongly measurable function, Wikidata Q7624685 |
| Strongly minimal theory | GWNF43Q08Z | definition | open | Wikipedia Strongly minimal theory, Wikidata Q7624689 |
| Strongly monotone chain | AGHBBSH0C4 | 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#UXEJ |
| Strongly monotone operator | XT9WSV7P8V | definition | open | Wikipedia Strongly monotone operator, Wikidata Q7624691 |
| Strongly monotone VIs under mixed noise | PYEDSHASEZ | 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#FQ0T |
| strongly perfect graph | AGAFFC8BFP | unknown | open | Wikidata Q136231915, MathWorld StronglyPerfectGraph |
| Strongly positive bilinear form | H07K5V2059 | definition | open | Wikipedia Strongly positive bilinear form, Wikidata Q7624692 |
| Strongly proportional division | ZEMHR4GSH7 | definition | open | Wikipedia Strongly proportional division, Wikidata Q24963032 |
| strongly regular | 4RQXJ9ZBA8 | definition | open | Wikipedia List of unsolved problems in mathematics#ZRCB |
| strongly regular graph | 4VQR60Y00D | definition | open | Wikidata Q692823, MathWorld StronglyRegularGraph, Wikipedia Strongly regular graph |
| Strongly regular graphs | 202XC5TF0T | unknown | open | mathlib_overview Combinatorics > Graph theory > Strongly regular graphs, Mathlib SimpleGraph.IsSRGWith |
| Strongly regular graphs with UAM | 5JY81XZNEG | 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#B17U |
| Strongly regular ring | DT7MFE3Y5G | unknown | open | Wikipedia Von Neumann regular ring#C2DV |
| Strongly stationary points for MPBVC | 556TE1M8C5 | 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.20368#OGV3 |
| Strongly-connected digraph | MQ9QYTM8AV | unknown | open | Wikipedia Directed graph#AP4U |
| Strongly-convex | DQZQ3MHAM9 | 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 2109.08858#PHWL |
| Strophoid | CH4WZV4SPB | definition | open | Wikipedia List of mathematical shapes#G3O8, Wikipedia List of curves#Z2DW |
| strophoid | RQXYS25E4A | definition | open | Wikidata Q1050391, MathWorld Strophoid, Wikipedia Strophoid |
| Strouhal number | 2YHARBR6X3 | definition | open | Wikipedia Strouhal number, Wikidata Q646627 |
| Structurable algebra | 182FV8W8RJ | definition | open | Wikipedia List of algebras#RDG6 |
| Structurable algebra | Q50MW64HAC | definition | open | Wikipedia Structurable algebra, Wikidata Q25303829 |
| Structural Alignment with Optimal Receiver | 5CM9W8DXZ1 | 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.33695#J6Z2 |
| Structural and trace equivalence | 76VD97NSZC | 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.20478#VOVC |
| Structural break | SWDAQD8NM3 | definition | open | Wikipedia List of statistics articles#E798 |
| Structural break | W58772YY1Y | definition | open | Wikipedia Structural break, Wikidata Q7625010 |
| Structural break test | 8H7J1ZJCK6 | unknown | open | Wikipedia Structural break#W42G |
| Structural change | QQC16XJVPB | definition | open | Wikipedia Structural change, Wikidata Q1969120 |
| Structural cohesion | 8XSDZGCXK8 | unknown | open | Wikipedia List of network theory topics#DN99 |
| Structural complexity | ZCAJB4DR3X | definition | open | Wikipedia Structural complexity (applied mathematics), Wikidata Q17130757 |
| Structural Connectivity, Sprenger and Dam | PGXWQP6FH9 | 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.26337#ZR5Z |
| Structural cut-off | MVYQP2VT7T | definition | open | Wikipedia Structural cut-off, Wikidata Q25303709 |
| Structural decomposition | E6EYAY8QYE | 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.20593#1AIK |
| Structural equation modeling | B0CM30ECWQ | definition | open | Wikipedia Structural equation modeling, Wikidata Q1476639 |
| Structural equation modeling | F5RXMDZG42 | definition | open | Wikipedia List of statistics articles#GNXP |
| Structural Equation Modeling | Q2R4H0H943 | unknown | open | Wikipedia List of statistics journals#KYI1 |
| Structural Equations with Latent Variables | EKKS0WVBP6 | definition | open | Wikipedia Structural Equations with Latent Variables, Wikidata Q28450358 |
| Structural equivalence | ED8KXNB1M4 | unknown | open | Wikipedia Similarity (network science)#A309 |
| Structural estimation | 5MF1XMYSW5 | definition | open | Wikipedia List of statistics articles#TF51 |
| Structural estimation | 5QXPQ43CSP | definition | open | Wikipedia Structural estimation, Wikidata Q7625026 |
| Structural explanation | F8E3ND8A33 | 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.23607#YYB1 |
| Structural form | VS5YZN0RKN | unknown | open | Wikipedia Simultaneous equations model#YFGM |
| Structural identifiability | HC3627C5ZY | definition | open | Wikipedia Structural identifiability, Wikidata Q120629832 |
| Structural induction | WG0S57VR5M | definition | open | Wikipedia Structural induction, Wikidata Q1932759 |
| Structural metamaterial | FQ0707FV6R | unknown | open | Wikipedia Metamaterial#CJO3 |
| Structural proof theory | 8MSQBKMACY | definition | open | Wikipedia Structural proof theory, Wikidata Q7625047 |
| Structural proof theory | Q1FXSFWGVK | definition | open | Wikipedia List of mathematical logic topics#3DBJ |
| Structural Properties of $\iota$ | RAP773B1BK | 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.21131#D2C8 |
| Structural properties of $\sfB$ | 2AVHQYXF0K | 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.20998#N72L |
| Structural properties of the habitat-conforming operator | THPSGHHM7X | 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.29524#B2ZY |
| Structural properties of the reflected Cartesian operator | GY4H6GXZAY | 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.29524#YRZN |
| Structural Ramsey theory | 22HF4MNJQ0 | definition | open | Wikipedia Structural Ramsey theory, Wikidata Q85803790 |
| Structural reduction | BNXPTZPMQ0 | 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.33185#UIQG |
| Structural rigidity | 6JNZJTZ569 | definition | open | Wikipedia Structural rigidity, Wikidata Q7625050 |
| structural rule | JSJEHFBGR6 | definition | open | Wikidata Q4548693, nLab structural rule, Wikipedia Structural rule |
| structural rule | XZJ53D1JWW | definition | open | Wikipedia Glossary of logic#1EW9 |
| Structural set theory | FGDB4DAVAN | definition | open | Wikipedia Structural set theory, Wikidata Q131515501 |
| Structural spaces and compatibility | FVS3WQ014R | 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.04357#C0Q7 |
| structural stability | 6HN2YXWZTF | definition | open | Wikidata Q1648886, MathWorld StructurallyStable, Wikipedia Structural stability |
| Structural stability | 7SJZHE1W30 | 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.10993#WOPQ |
| Structural stability in $\mathbb P^n$ | 2VZF860EBS | 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.35597#17HW |
| Structural stability of reciprocal circle locking | W9SF5WRVTN | 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.15686#SATL |
| Structural stability of stroboscopic locking | SKA2A8DN2N | 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.15686#42VP |
| Structural stability of the infinite product | WKGPEG30TP | 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.04179#N4MA |
| Structural theorems | 36T5DG9XZ2 | statement | open | Wikipedia Dagger compact category#A5OS |
| Structural vector autoregression | 2R6H6Q7HXA | unknown | open | Wikipedia Vector autoregression#0RKH |
| structural, recursion | NPG8802M38 | concept | open | hott_book index/4.1/structural-recursion |
| structural, rules | ZFA2FE7ZMT | concept | open | hott_book index/4.2.2/structural-rules |
| structural, set theory | XQ91BH2XZM | concept | open | hott_book index/C.1.4/structural-set-theory |
| structuralism | 77QVN780Z0 | unknown | open | Wikidata Q179168, nLab structuralism |
| Structuralism | QYEDT8KPN5 | definition | open | Wikipedia Structuralism (philosophy of mathematics), Wikidata Q7625074 |
| structure | 194E41D24J | 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.01753#XN20 |
| structure | QG0PHPB6S3 | definition | open | Wikipedia Glossary of mathematical jargon#LEA0 |
| Structure | RCYEHN2AM9 | 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.14012#ZNT7 |
| Structure | VAAGFY1R8N | 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.38220#0YJ0 |
| Structure (mathematical logic) | GVB9M657BF | definition | open | Wikipedia List of mathematical logic topics#TG7U |
| structure (model theory) | 2KX8D6HTZA | definition | open | Wikidata Q1851710, MathWorld Structure, nLab structure in model theory, Wikidata Q205464, EoM Structure, nLab algebraic structure, Wikipedia Algebraic structure, Wikipedia Structure (mathematical logic) |
| structure constants | 5E95JX8JGC | definition | open | Wikidata Q7625098, MathWorld StructureConstant, Wikipedia Structure constants |
| structure factor | K2GSD4CAB7 | unknown | open | Wikidata Q900684, MathWorld StructureFactor |
| structure formation | 1XQX2YNHJJ | definition | open | Wikidata Q2914363, nLab structure formation, Wikipedia Structure formation |
| Structure group | Y9MEZ8VMJC | unknown | open | Wikipedia Fiber bundle#L6YA |
| Structure group (Jordan algebra) | AWMVVE3WPR | unknown | open | Wikipedia Symmetric cone#3J7U |
| Structure identity principle | A86TZX4BTT | statement | open | hott_book categories.tex#thm:sip |
| Structure mapping theory | 6D1BP38SKT | unknown | open | Wikipedia Analogy#N726 |
| Structure of $\Lambda(h)$ | HN41G0PM2S | 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.17276#8G9Q |
| Structure of $\mathcal K_u$ | TGGFH51PXG | 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.25449#H1N6 |
| Structure of $\varphi(n)$ and its Derivatives | QHABP8NVKZ | 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.37489#634C |
| structure of $E$ and $V$ | PKMKPJ9NJS | 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.06909#0OJS |
| Structure of $Q$ | EG2REV95QV | 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.25120#QQF4 |
| Structure of $S(k)$ | 5N7N7BX505 | 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.07341#G4J6 |
| Structure of abelian measurable tilings | RATFF7P6TM | 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 2203.01511#2Q22 |
| Structure of finite nilpotent groups | XPAHQ64C1Z | 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.13429#8S5H |
| structure of finitely generated abelian groups | 6P2CYGEXEC | unknown | open | mathlib_overview General algebra > Group theory > structure of finitely generated abelian groups, Mathlib AddCommGroup.equiv_free_prod_directSum_zmod, mathlib_undergrad Group Theory > Abelian group > finite type abelian groups |
| Structure of invariant POVMs | FD4SFB3GDV | 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.29348#9SJT |
| Structure of inverse RGAs | MTZQFBGT5S | 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.35558#V38X |
| Structure of pointwise equivariant channels | W0QKF8B4PR | 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.25987#8K0V |