Symbolic computation of Drazin inverses by specializations.

J. Rafael Sendra Juana Sendra

Published in: J. Comput. Appl. Math. (2016)

Keyphrases

sufficient conditions
automated deduction
imperative programs
artificial intelligence
data exchange
decision making
support vector
query language
intelligent systems
schema mappings
theorem proving