A proof of Coleman's conjecture.

Krzysztof Kolodziejczyk Daria Olszewska

Published in: Discret. Math. (2007)

Keyphrases

linear logic
theorem prover
theorem proving
data sets
database
database systems
search algorithm
preprocessing
relational databases
control system
automated theorem proving
proof search
logical rules
geometry theorem proving