Revision #2564 → #3172 · back to history
addedQuaternions35434864c299
addedOctonions6fa03f7407f7
addedEuclidean space (higher-dimensional)bd6ae4d4f7f8
addedMinkowski space60c543f18a1b
addedDecidability of real closed fields107c66e236a3
addedMethod of exhaustionb25ca8e484a5
addedCartesian coordinatesdfb4bac09977