Rigorous distillation dynamics simulations using a computer algebra.

Zakia Nasri Housam Binous

Published in: Comput. Appl. Eng. Educ. (2012)

Keyphrases

computer algebra
theorem prover
agent based simulations
computer algebra systems
dynamic model
dynamical systems
numerical simulations
agent based models
database
databases
website
three dimensional
multiscale
multi agent systems
probabilistic model
automated theorem provers