From a Computer Algebra Library to a System with an Equational Prover.

Serge Mechveliani

Browse the full AISC paper archive.