Theory of formal integrability and DAEs: effective computations.

Y. O. Macutan Gabriel Thomas

Published in: Numer. Algorithms (1998)

Keyphrases

databases
formal methods
learning algorithm
high quality
formal models
database
information retrieval
artificial intelligence
knowledge base
theoretical framework
interior point methods
general theory
mathematical theory