A proof of the molecular conjecture.

Naoki Katoh Shin-ichi Tanigawa

Published in: SCG (2009)

Keyphrases

three dimensional
theorem prover
databases
artificial intelligence
theorem proving
molecular structure
inference rules
drug discovery
automated theorem proving
complete axiomatization
geometry theorem proving