Login / Signup
Power Series in Computer Algebra.
Wolfram Koepf
Published in:
J. Symb. Comput. (1992)
Keyphrases
</>
computer algebra
theorem prover
power consumption
computer algebra systems
data sets
multiscale
genetic algorithm
databases
automated theorem provers
search engine
information systems
database systems
evolutionary algorithm
first order logic
real world
electric vehicles
database