Login / Signup
Investigation of the restricted problem of three bodies of variable masses using computer algebra.
Alexander N. Prokopenya
Mukhtar Zh. Minglibayev
G. M. Mayemerova
Zh. U. Imanova
Published in:
Program. Comput. Softw. (2017)
Keyphrases
</>
computer algebra
theorem prover
automated theorem provers
computer algebra systems
decision making
multiscale
artificial neural networks
data sets
neural network
search engine
image processing
case study
theorem proving
digital forensics