Extracting Computer Algebra Programs from Statements.

Jesús Aransay Clemens Ballarin Julio Rubio

Published in: EUROCAST (2005)

Keyphrases

computer algebra
theorem prover
real time
evolutionary algorithm
automated theorem provers
website
intermediate level
computer algebra systems
genetic algorithm
search algorithm
automatically extracted
computer programs
prolog programs