#mathematical formulator #equation creator #algorithm design #logical formula #theoretical modeling #mathematician