Nemo: Current Nemo documentation (Nemo-0.7.3) AbstractAlgebra documentation 2015-12-04 nemo-0.4.pdf (Nemo-0.4) 2015-09-26 nemo-0.3.pdf (Nemo-0.3)
