Proof of the perpetuity equation.

Thomas L. Morin Shaunak S. Dabadghao

Published in: Appl. Math. Lett. (2012)

Keyphrases

theorem prover
theorem proving
numerical solution
analytically derived
differential equations
numerical methods
nonlinear equations
logical rules
complete axiomatization
navier stokes
real time
real world
artificial intelligence
learning environment
hamilton jacobi