Login / Signup
Calculation of first integrals of a two-dimensional ODE system near a degenerate stationary point by computer algebra tools.
Victor F. Edneral
Valery G. Romanovski
Published in:
Program. Comput. Softw. (2011)
Keyphrases
</>
computer algebra
stationary points
automated theorem provers
three dimensional
theorem prover
objective function
fixed point
pairwise
graph cuts
mathematical programming