Prueba maquina de la formula de Itô para inversiones
Segun arXiv q-fin, un equipo de investigadores ha desarrollado una demostración completamente verificada por computadora de la teoría de cálculo de Itô en espacios de $L^2$, aplicada a movimientos brownianos en un intervalo de tiempo limita…




