TY - RPRT TI - An algebraic semi-automated proof of the fundamental identity of Jordan algebras AU - John van de Wetering PY - 2018 UR - https://arxiv.org/abs/1807.00164 ID - 1807.00164 ER -