A new symbolic computation for formal integration with exact power series.

Onur Kiymaz Seref Mirasyedioglu

Published in: Appl. Math. Comput. (2005)

Keyphrases

power consumption
database
decision making
evolutionary algorithm
automated deduction
data sets
neural network
information systems
web services
multi agent
data fusion
formal specification
computational power
formal methods