added mathematical definitions files