Automated deduction in Topology: two different approaches

Abstract

Two approaches to theorem proving in Topology are described and some research problems in the field are given.