Codificación de la ecuación diferencial de primer orden como fórmula de primer orden
¿Alguien puede ayudarme a señalar cuál será la mejor codificación de la siguiente ecuación usando una fórmula de primer orden para poder ingresar como ingreso al solucionador de SMT?
x`=Ax+b