Declarative Mathematical Model Generator