Login / Signup

Chemistry and computer algebra: past, present, future.

Michael P. Barnett
Published in: ISSAC (2003)
Keyphrases
  • computer algebra
  • theorem prover
  • long term
  • case study
  • three dimensional
  • training data
  • historical information
  • past observations
  • databases
  • real world
  • information systems