Numerical verification of the microscopic time reversibility of Newton's equations of motion: Fighting exponential divergence.
Simon Portegies ZwartTjarda BoekholtPublished in: Commun. Nonlinear Sci. Numer. Simul. (2018)
Keyphrases
- numerical methods
- image sequences
- finite difference
- motion estimation
- motion model
- motion analysis
- space time
- angular velocity
- numerical algorithms
- numerical solution
- motion field
- moving objects
- motion tracking
- motion capture
- motion planning
- motion segmentation
- human motion
- image analysis
- motion detection
- spatial and temporal
- model checking
- object motion
- linear equations
- numerical analysis
- nonlinear equations
- optical flow
- differential equations
- motion patterns
- sensitivity analysis
- formal verification
- least squares