Text this: An algorithm for verifying some norm identities in inner-product spaces