Book Review: Topics in Nonlinear Dynamics with Computer Algebra by Richard H. Rand.

Published in: SIGSAM Bull. (1997)

Keyphrases

computer algebra
nonlinear dynamics
neural network
theorem prover
dynamical systems
information retrieval
topic models
related topics
lyapunov exponents
keywords
computer algebra systems
optimal control
inference rules
state space
search algorithm
united kingdom
automated theorem provers
john mccarthy