Integrating symbolic mathematical computation and artificial intelligenceJacques CalmetEsauritoAvvisami