Darwin: Computer Algebra and Enumerative Combinatorics.

François Bergeron G. Cartier

Published in: STACS (1988)

Keyphrases

computer algebra
artificial life
theorem prover
integer programming
graph theory
computer algebra systems
social networks
databases
objective function
pattern recognition
object recognition
evolutionary algorithm
multi objective
fuzzy logic
graphical models
automated theorem provers