Some Combinatorial Results First Found Using Computer Algebra.

Gilbert Labelle

Published in: J. Symb. Comput. (1995)

Keyphrases

computer algebra
theorem prover
computer algebra systems
automated theorem provers
database
machine learning
search space
theorem proving