Computer aided investigations of artificial neural systems

Summary form only given. The theoretical analysis and derivation of artificial neural systems consist essentially of manipulating symbolic mathematical objects according to certain mathematical and biological knowledge. This work can be done more efficiently with computer assistance by using and extending methods and systems of symbolic computation. After reviewing briefly the Lyapunov method for stability analysis, the authors discuss some strategies and describe a toolkit developed in MACSYMA for computer-aided investigations of neural systems. An illustration was given to demonstrate the derivation of neural learning dynamics