Derivation of Evolutionary Equations in the Many-Body Problem with Isotropically Varying Masses Using Computer Algebra.
Alexander N. ProkopenyaMukhtar Zh. MinglibayevAiken B. KosherbaevaPublished in: Program. Comput. Softw. (2022)
Keyphrases
- computer algebra
- theorem prover
- human body
- genetic algorithm
- evolutionary computation
- computer algebra systems
- mathematical model
- differential equations
- genetic programming
- automated theorem provers
- evolutionary methods
- linear equations
- evolutionary process
- moving target defense
- database
- numerical solution
- linear systems
- computer aided
- evolutionary algorithm
- data sets