अंतर्विषयक बुद्धिमान इंजन: गणितीय निगमन, भौतिक मॉडलिंग, कोड जनरेशन, तार्किक तर्क