Login / Signup
A Proof of the Molecular Conjecture.
Naoki Katoh
Published in:
ISAAC (2009)
Keyphrases
</>
three dimensional
theorem prover
proof planning
real time
e learning
theorem proving
dna computing
database
image sequences
artificial neural networks
probabilistic model
drug discovery
molecular dynamics
logical rules
mathematical proofs