Tests and Proofs for Enumerative Combinatorics.

Catherine Dubois Alain Giorgetti Richard Genestier

Published in: TAP@STAF (2016)

Keyphrases

graph theory
integer programming
theorem prover
statistical tests
formal proof
mathematical proofs
real time
data sets
information retrieval
search engine
image processing
decision trees
computational complexity
user interface
decision procedures
automated theorem provers