12

Resolved: The renaming and synonymizing has been done. Proposal: Rename the inner-product-spaces to inner-products. Create the tag synonym inner-product-spaces $\to$ inner-products. Create the tag synonym dot-product $\to$ inner-products. Create the tag synonym scalar-product $\to$ inner-products. This is related to, but distinct from, J. W. Tanner's ...


4

Resolved: Both tags renamed. Proposal: Rename matrixpencil to matrix-pencil, lyndonwords to lyndon-words Nothing too crazy here, just some quick grammar fixes.


3

$\textbf{Resolution}:\;$ The tag dot-product was created by Xander Henderson; see that answer for details. $\textbf{Proposal}:\;$ Create the tag dot-product. There is a tag for cross-product, but not one for dot-product. There is a tag for inner-product-space, but that is more abstract than the usual dot product for $\mathbb R^n$.


Only top voted, non community-wiki answers of a minimum length are eligible