Computer algebra and computation of Puiseux expansions of algebraic functions.

Vladimir P. Gerdt N. A. Kostov Z. T. Kostova

Published in: EUROCAL (1987)

Keyphrases

computer algebra
theorem prover
computer algebra systems
automated theorem provers
data sets
genetic algorithm
real time
computer vision
clustering algorithm
lower bound
expert systems
evolutionary algorithm
hidden markov models
higher order
basis functions
linear algebra