add mathematical solver