Fri, 29 Mar 2024 19:28:59 +0100 | Manuel Eberl | moved over material from AFP; most importantly on algebraic numbers and algebraically closed fields | file | diff | annotate |
Fri, 07 Apr 2017 21:17:18 +0200 | wenzelm | tuned headers; | file | diff | annotate |
Thu, 06 Apr 2017 21:37:13 +0200 | haftmann | session containing computational algebra | file | diff | annotate |