Tycho, astromath