Combining Theorem Proving and Symbolic Mathematical Computing (1995)

by K Homann, J Calmet
Venue:Integrating Symbolic Mathematical Computation and Artificial Intelligence (AISMC-2), volume 958 of Lecture Notes in Computer Science