Artificial intelligence, automated reasoning, and symbolic computation: joint international conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings - 2385.

This book constitutes the refereed proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, AISC 2002, and Calculemus 2002 held in Marseille, France, in July 2002.;The 24 revised full papers presented together with 2 system descriptions were carefully reviewed and selected from 52 submissions.;Among the topics covered are automated theorem proving, logical reasoning, mathematical modeling, algebraic computations, computational mathematics, and applications in engineering and industrial practice.