Artificial Intelligence and Symbolic Mathematical Computation.

Jacques Calmet, John A. Campbell

Browse the full AISC paper archive.