¿Cuáles son conocidas debilidades de CAS/matemáticas software?

Question

Estoy empezando a ser más funcional en Mathcad, así que quería aprovechar la oportunidad de mirar en las conocidas desventajas, matemáticamente hablando, de CAS/equipo de matemáticas de los sistemas. Por ejemplo, uno de los ejercicios que hicimos en la escuela "romper" TI Derivar pidiendo el límite de una función discontinua (en el punto de discontinuidad, por supuesto). Otro ejemplo sería p. 13 de la presente;

http://people.virginia.edu/~jcb6t/Mathcad/Johns_Tutorial_on_Everyday_Mathcad.pdf

Así que, básicamente, estoy esperando que la gente va a contribuir problemas conocidos con estos tipos de aplicaciones, ya sea a partir de su experiencia con un paquete en particular o de la generalización de los problemas inherentes en el sistema de álgebra.

Yo estoy más preocupado con Mathcad y Mathematica, pero sería estupendo que la gente habla acerca de CAS/equipo de matemáticas en general y desventajas de los diversos sistemas (matlab et al) en particular.

Answer 1

Hay muchos otros problemas: cortes de ramas, cero-reconocimiento, seguimiento de los dominios de validez, etc. Un buen lugar para encontrar la información que es navegar por las páginas web de los principales investigadores, y las actas de la conferencia (ISSAC,SYMSAC,Sigsam,Eurosam, etc). Ver, por ejemplo, Richard Fateman los papeles, por ejemplo, a sus 33 página de crítica de Mathematica, y por Qué Computer Algebra Systems no Puede Resolver Ecuaciones Simples y Cortes de ramas en Álgebra computacional, etc.

Answer 2

Sólo he probado esto en Mathematica 4, así que no sé si ocurre el mismo problema en versiones más modernas. Si usted pregunta acerca de Mathematica $$ \int_0^\infty (1-e^{-x})^2/x^2 dx, $$ se dice que la integral no converge. Pero en el caso de dividir la integral, se le da

$$ \int_0^1 (1-e^{-x})^2/x^2 dx\simeq 0.645751, $$

$$ \int_1^\infty (1-e^{-x})^2/x^2 dx\simeq 0.740543 $$