Symbolic and numerical analysis of the restricted five body problem using computer algebra.
Dzmitry A. BudzkoS. A. ShcherbaPublished in: Program. Comput. Softw. (2014)
Keyphrases
- numerical analysis
- computer algebra
- computer algebra systems
- theorem prover
- image enhancement
- human body
- finite difference
- high level
- real time
- symbolic representation
- three dimensional
- artificial neural networks
- image segmentation
- case study
- intermediate level
- data structure
- low level
- social networks
- information retrieval
- symbolic reasoning
- physiological parameters
- databases