Computer Algebra and Bifurcations.

Nisrine Achachi Françoise Richard-Jung

Published in: Numer. Algorithms (2003)

Keyphrases

computer algebra
theorem prover
computer algebra systems
natural language
pairwise
object detection
distance measure
bayesian framework