The analysis of mathematics with ATLAS.ti