Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems.

C. J. Rust Gregory J. Reid Allan D. Wittkopf

Published in: ISSAC (1999)

Keyphrases

data sets
management system
formal methods
complex systems
expert systems
distributed systems
search algorithm
power consumption
mobile devices
wireless sensor networks
intelligent systems
building blocks
learning systems
retrieval systems
solution space
formal model