Reasoning about the Elementary Functions of Complex Analysis

Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt. Reasoning about the Elementary Functions of Complex Analysis. Annals of Mathematics and Artificial Intelligence, 36(3):303-318, 2002.

Abstract

Abstract is missing.