This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on Finite Fields and Applications, Fq7, held in Toulouse, France, in May 2004.
The 19 revised full papers presented were carefully selected from around 60 presentations at the conference during two rounds of reviewing and revision. Among the topics addressed are Weierstrass semigroups, Galois rings, hyperelliptic curves, polynomial ...

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004.
The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all current aspects in the area of symbolic computing and AI: ...

This book constitutes the thoroughly refereed joint post-proceedings of the 6th International Workshop on Mathematics Mechanization, IWMM 2004, held in Shanghai, China in May 2004 and the International Workshop on Geometric Invariance and Applications in Engineering, GIAE 2004, held in Xian, China in May 2004.
The 30 revised full papers presented were rigorously reviewed and selected from 65 presentations given at the two workshops. The ...

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001.
The 19 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on symbolics and numerics of differential equations, symbolics and numerics in ...

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006.
The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches ...

This book constitutes the refereed proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC 2006, held in Chisinau, Moldova, in September 2006.
The 25 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers cover not only various expanding applications of computer algebra to scientific computing but also the computer algebra ...