Numerical verification of the microscopic time reversibility of Newton's equations of motion: Fighting exponential divergence.
Simon Portegies ZwartTjarda BoekholtPublished in: CoRR (2018)
Keyphrases
- finite difference
- motion analysis
- image sequences
- numerical methods
- model checking
- space time
- moving objects
- numerical algorithms
- markov chain
- motion estimation
- optical flow
- camera motion
- motion detection
- spatial and temporal
- sensitivity analysis
- image analysis
- motion parameters
- formal verification
- numerical analysis
- numerical solution
- euler lagrange
- interior point methods
- object motion
- motion tracking
- optical flow estimation
- motion capture
- motion segmentation
- background subtraction
- facial expressions