Editorial: The Integration of Automated Reasoning and Computer Algebra Systems

Steve Linton, Roberto Sebastiani. Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. Journal of Symbolic Computation, 34(4):239, 2002. [doi]

Abstract

Abstract is missing.