Motor inteligente interdisciplinario: deducción matemática, modelado físico, generación de código, razonamiento lógico