Λαβίδας Κωνσταντίνος, Μαθηματικός