Programming Tools For Mathematics