Teaching elementary queueing theory with a computer algebra system.

Sue Fitzgerald Jerry Place

Published in: SIGCSE (1995)

Keyphrases

computer algebra
queueing theory
queueing systems
mathematical programming
theorem prover
e learning
learning environment
queueing networks
computer algebra systems
markov chain
arrival rate
artificial intelligence
automated theorem provers
knowledge representation
lower bound
queueing model
search algorithm