See https://fricas.github.io/, which includes a 990 page book and detailed documentation.