Journal of Symbolic Computation (informationswissenschaftl. Veröffentlichungen)