Browsing: mathematics through reasoning