Computer algebra system for continued fractions manipulation.

V. Tomov Maria Nisheva T. Tonev

Published in: EUROCAL (1987)

Keyphrases

computer algebra
theorem prover
decision making
computer algebra systems
database systems
special case
training examples
manipulation tasks
automated theorem provers