Moteur intelligent interdisciplinaire : déduction mathématique, modélisation physique, génération de code, raisonnement logique