Necessary conditions for liouvillian solutions of (third order) linear differential equations Michael F. SingerFelix Ulmer OriginalPaper Pages: 1 - 22
Automated deduction with associative-commutative operators Michaël RusinowitchLaurent Vigneron OriginalPaper Pages: 23 - 56
Factoring ofx n−1 and orthogonalization over finite fields of characteristic 2 Hervé Chabanne OriginalPaper Pages: 57 - 63