Keyphrases
- computer algebra
- theorem prover
- computer algebra systems
- sensitivity analysis
- convergence speed
- global convergence
- alternating direction
- convergence rate
- initial conditions
- hidden markov models
- numerical data
- convergence analysis
- data sets
- control system
- sufficient conditions
- expert systems
- bayesian networks
- numerical analysis
- automated theorem provers
- database