A Short Proof of a Gauss Problem.

Hubert de Fraysseix Patrice Ossona de Mendez

Published in: Graph Drawing (1997)

Keyphrases

theorem prover
theorem proving
automated theorem proving
genetic algorithm
feature selection
website
information technology
evolutionary algorithm
multiresolution
proof planning