Computer algebra in the life sciences.

Michael P. Barnett

Published in: SIGSAM Bull. (2002)

Keyphrases

computer algebra
life sciences
theorem prover
scientific data
poses challenges
data integration
biological data
biomedical data
data analysis
artificial intelligence
real time
high throughput
inference rules
business intelligence
clustering method
model selection
clustering algorithm
machine learning