I think it would be fun to go through all of these books in a group, but to also do worksheets with something like XCas, Maxima, Fricas, etc.