¿Alguien puede recomendar una herramienta que es muy conveniente para la verificación de manipulaciones algebraicas paso por paso como yo trabajo. Yo muy a menudo llevaba horas tratando con una fórmula equivocada porque me perdí un signo en algún lugar. Yo uso de Mathematica para que esta haciendo las cosas como seguir... pero han encontrado que es torpe.
eq3 := 2 E^((b - d) t) (b - d) == b*E^((b - d) t) - d
eq4 := eq3[[1]]/E^((b - d) t) == eq3[[2]]/E^((b - d) t)
El requisito básico de la herramienta es coger trivial errores de inmediato.
Sólo para asegurarse de que estaba claro en esto, estoy buscando una herramienta para verificar después de que el hecho de que los pasos son correctos, no me muestra los pasos para la solución de algo.
En realidad estoy bastante familiarizado con Mathematica y lo uso mucho, solo estoy buscando algo que está orientado más hacia la comodidad para la verificación en vez de resolverlos.
Lo que realmente quiero es algo para aumentar mi eficiencia cuando estoy de "explorar" en el mío propio, así que no tienes que gastar tanto tiempo el doble y el triple de comprobar mi trabajo para los errores triviales.
