Keyphrases
- computer algebra
- theorem prover
- sir model
- computer algebra systems
- public health
- hiv aids
- infectious disease
- threshold values
- automated theorem provers
- adaptive threshold
- machine learning
- decision making
- artificial intelligence
- information retrieval
- propagation model
- multiscale
- multimedia
- outbreak detection
- search engine