A simple proof of the Routh test.

Augusto Ferrante Antonio M. Lepschy Umberto Viaro

Published in: IEEE Trans. Autom. Control. (1999)

Keyphrases

neural network
information systems
reinforcement learning
theorem proving
linear logic
data sets
information retrieval
knowledge base
image segmentation
artificial neural networks