A Proof of the Molecular Conjecture.

Naoki Katoh Shin-ichi Tanigawa

Published in: Discret. Comput. Geom. (2011)

Keyphrases

three dimensional
theorem proving
linear logic
theorem prover
molecular dynamics
geometry theorem proving
real time
molecular interactions
proof search
automated theorem proving
sequence analysis
search algorithm
multi agent
case study
information systems
computer vision
genetic algorithm
information retrieval