TY - RPRT TI - An Algorithm for Verifying Some Norm Identities in Inner-Product Spaces AU - Muneerah Al Nuwairan PY - 2020 UR - https://arxiv.org/abs/1911.05297 ID - 1911.05297 ER -