On k-simple forms of first-order linear differential systems and their computation.

Moulay A. Barkatou Carole El Bacha

Published in: J. Symb. Comput. (2013)

Keyphrases

linear systems
management system
distributed systems
computing systems
knowledge based systems
database
neural network
artificial intelligence
social networks
search algorithm
mobile devices
computer systems
first order logic
linear constraints
simple linear